Skip to content
This repository has been archived by the owner on Jul 4, 2018. It is now read-only.

Commit

Permalink
.
Browse files Browse the repository at this point in the history
  • Loading branch information
zaoqi committed Jul 2, 2018
1 parent 6623588 commit f83f4b1
Showing 1 changed file with 5 additions and 4 deletions.
9 changes: 5 additions & 4 deletions c.rkt
Original file line number Diff line number Diff line change
Expand Up @@ -508,9 +508,10 @@
(Tbinds.StructUnion-add! B (TypeUnion i) (cdr x) (car x))}
(Tbinds.StructUnion! B (TypeUnion i) (map {ann cdr (-> (Pairof Type IdU) IdU)} xs))
l]
[(DefStruct i xs) {for ([x xs])
(Tbinds.StructUnion-add! B (TypeStruct i) (cdr x) (car x))}
(Tbinds.StructUnion! B (TypeStruct i) (map {ann cdr (-> (Pairof Type IdU) IdU)} xs))
l]}}
[(DefStruct i xs)
{for ([x xs])
(Tbinds.StructUnion-add! B (TypeStruct i) (cdr x) (car x))}
(Tbinds.StructUnion! B (TypeStruct i) (map {ann cdr (-> (Pairof Type IdU) IdU)} xs))
l]}}
{: type-end-line! (-> Any Line Line)};Any=>WIP
{define (type-end-line! M l) (raise 'WIP)}

0 comments on commit f83f4b1

Please sign in to comment.