diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-06-19 17:11:24 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-19 17:11:24 -0400 |
| commit | 6924bb5d394ee9cbdf7dbf376c45a4ee04383c5c (patch) | |
| tree | 537dd4799d78f6bed5ccac263825fad39f0b5747 /src/expl.sml | |
| parent | 03ecfc6bbbff1492662930a708a1e9be685ef023 (diff) | |
Explifying functors
Diffstat (limited to 'src/expl.sml')
| -rw-r--r-- | src/expl.sml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/expl.sml b/src/expl.sml index b3ab20c0..295aa9b2 100644 --- a/src/expl.sml +++ b/src/expl.sml @@ -79,6 +79,8 @@ datatype sgn_item' = and sgn' = SgnConst of sgn_item list | SgnVar of int + | SgnFun of string * int * sgn * sgn + | SgnWhere of sgn * string * con withtype sgn_item = sgn_item' located and sgn = sgn' located @@ -93,6 +95,8 @@ datatype decl' = StrConst of decl list | StrVar of int | StrProj of str * string + | StrFun of string * int * sgn * sgn * str + | StrApp of str * str withtype decl = decl' located and str = str' located |