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

occurrence: use tups instead of records

Browse Source
This commit is contained in:
Stephen Chang 2015-10-22 17:12:51 -04:00
parent 4152db6575
commit b52f220dcc
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tapl/stlc+occurrence.rkt
View File

@ -1,7 +1,7 @@
#lang s-exp "typecheck.rkt"
(extends "stlc+sub.rkt" #:except #%datum)
;(extends "stlc+tup.rkt" #:except + #%datum and)
(extends "stlc+cons.rkt" #:except + #%datum and)
(extends "stlc+cons.rkt" #:except + #%datum and tup × proj ~×)
(reuse tup × proj ~× #:from "stlc+tup.rkt")
;; Calculus for occurrence typing.
;; - Types can be simple, or sets of simple types