.

the-language · Jul 2, 2018 · 8bb88cd · 8bb88cd
1 parent babbcd2
commit 8bb88cd
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/c.rkt b/c.rkt
@@ -53,7 +53,7 @@
                          TypeFloat TypeDouble)}
 {define-type TypeVar (U IdU String)}
 {define (TypeVar? x) (or (IdU? x) (string? x))}
-{define-type TypeSimple {Refine [t : Type] (not (or (: t TypeTypeVar) (: t TypeStructUnion) (: t TypeU)))}}
+{define-type TypeSimple {Refine [t : Type] (not (or (: t TypeTypeVar) (: t TypeStructUnion) (: t TypeU)))}} ; 非嚴謹
 {define-data Type
   (TypeArrow [args : (Maybe (Listof Type))] [result : Type]) ; Maybe=>類型推導
   (TypeIdC [IdC : IdC])
@@ -135,6 +135,7 @@
 {define (compile _L_)
   {with-new-LFC-ID
       '||
+    ;此處Type=>TypeSimple
     {define heads '("")}
     {define decls '("")}
     {define globals '("")}