Mercurial > urweb

diff src/cjr.sml @ 186:88d46972de53

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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/cjr.sml	Sun Aug 03 17:57:47 2008 -0400
+++ b/src/cjr.sml	Sun Aug 03 18:53:20 2008 -0400
@@ -40,7 +40,7 @@
 
 datatype patCon =
          PConVar of int
-       | PConFfi of {mod : string, datatyp : string, con : string}
+       | PConFfi of {mod : string, datatyp : string, con : string, arg : typ option}
 
 datatype pat' =
          PWild