17 lines
383 B
Racket
17 lines
383 B
Racket
#lang scheme/load
|
|
|
|
(module source mzscheme
|
|
|
|
(define-struct term (posn)) ;; lambda-calc term w/ srcloc info
|
|
(define-struct (var term) (id))
|
|
(define-struct (lam term) (arg body))
|
|
(define-struct (app term) (rator rand))
|
|
|
|
(provide (all-defined)))
|
|
|
|
(module alias typed-scheme
|
|
|
|
(define-type-alias Srcloc Any)
|
|
|
|
(require-typed-struct term ([posn : Srcloc]) 'source))
|