summaryrefslogtreecommitdiff
path: root/src/mono.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-08-03 18:53:20 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-08-03 18:53:20 -0400
commitf946d43f10e2f78d179db30c3c9ae8dcc10f3c10 (patch)
tree96feb9219e03b0d172f13bf75f747e6f26efdefa /src/mono.sml
parent3e65e1558de55a1a47a62690b48159d92a4ed072 (diff)
bool in Basis
Diffstat (limited to 'src/mono.sml')
-rw-r--r--src/mono.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mono.sml b/src/mono.sml
index 2c55721a..7cc0dc78 100644
--- a/src/mono.sml
+++ b/src/mono.sml
@@ -39,7 +39,7 @@ withtype typ = typ' located
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