suzanne.soy/macrotypes
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

update stlc-via-racket-ext to use changes from racket-ext: declare-base-types, automatic requires/provides

Browse Source
This commit is contained in:
Stephen Chang 2014-08-28 15:22:20 -04:00
parent ca8e922c56
commit 12ffcb4238
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
stlc-via-racket-extended.rkt
View File

@ -1,13 +1,13 @@
#lang s-exp "racket-extended-for-implementing-typed-langs.rkt"
(provide #%top-interaction)
(require (prefix-in r: racket/base))
(provide (rename-out [r:#%module-begin #%module-begin]))
;(provide #%top-interaction)
;(require (prefix-in r: racket/base))
;(provide (rename-out [r:#%module-begin #%module-begin]))
;; Simply-Typed Lambda Calculus
;; - implemented with racket-extended language
;; - lam, app, var, +, and int literals only
(declare-built-in-types → Int)
(declare-base-types → Int)
;; typed forms ----------------------------------------------------------------