Changeset 718 for src/common/Values.ma

Timestamp:

Mar 29, 2011, 5:54:37 PM (10 years ago)

Author:

campbell

Message:

Add an AST type (i.e., intermediate language type) for pointers.

File:

• src/common/Values.ma (modified) (1 diff)

src/common/Values.ma

@@ -224 +224 @@
   | Vint _ ⇒ match t with [ ASTint ⇒ True | _ ⇒ False ]
   | Vfloat _ ⇒ match t with [ ASTfloat ⇒ True | _ ⇒ False ]
-  | Vptr _ _ _ ⇒ match t with [ ASTint ⇒ True | _ ⇒ False ]
+  | Vptr _ _ _ ⇒ match t with [ ASTptr ⇒ True | _ ⇒ False ]
   | _ ⇒ False
   ].