diff src/core.sml @ 186:88d46972de53

bool in Basis
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Aug 2008 18:53:20 -0400
parents 19ee24bffbc0
children 8e9f97508f0d
line wrap: on
line diff
--- a/src/core.sml	Sun Aug 03 17:57:47 2008 -0400
+++ b/src/core.sml	Sun Aug 03 18:53:20 2008 -0400
@@ -61,7 +61,7 @@
 
 datatype patCon =
          PConVar of int
-       | PConFfi of {mod : string, datatyp : string, con : string}
+       | PConFfi of {mod : string, datatyp : string, con : string, arg : con option}
 
 datatype pat' =
          PWild