summaryrefslogtreecommitdiff
path: root/src/source.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-06-19 15:15:00 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-06-19 15:15:00 -0400
commit5a4ddea95a551c5f95f0dcbda433fe457b61d25a (patch)
tree60135c04bf54aba0d443ec39a4dc37ec0f399852 /src/source.sml
parent8e98be7de2dd3db541994aae47aeb45756f60098 (diff)
Functor parsing
Diffstat (limited to 'src/source.sml')
-rw-r--r--src/source.sml2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/source.sml b/src/source.sml
index a7ff04c6..6f8c932f 100644
--- a/src/source.sml
+++ b/src/source.sml
@@ -71,6 +71,7 @@ datatype sgn_item' =
and sgn' =
SgnConst of sgn_item list
| SgnVar of string
+ | SgnFun of string * sgn * sgn
withtype sgn_item = sgn_item' located
and sgn = sgn' located
@@ -100,6 +101,7 @@ datatype decl' =
StrConst of decl list
| StrVar of string
| StrProj of str * string
+ | StrFun of string * sgn * sgn option * str
withtype decl = decl' located
and str = str' located