summaryrefslogtreecommitdiff
path: root/src/source.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-06-22 19:10:38 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-06-22 19:10:38 -0400
commite4a1bf8af62cb275bf5f5ae2f83b7197b1b58461 (patch)
treef3be22e5bbf731f7e45263b40f58a3cf5be686ea /src/source.sml
parent5eee5f4a3b11c467c853f8397c7f679e5d5acc7a (diff)
Subsignatures
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 266e8629..2939664c 100644
--- a/src/source.sml
+++ b/src/source.sml
@@ -67,6 +67,7 @@ datatype sgn_item' =
| SgiCon of string * kind option * con
| SgiVal of string * con
| SgiStr of string * sgn
+ | SgiSgn of string * sgn
| SgiInclude of sgn
and sgn' =
@@ -74,6 +75,7 @@ and sgn' =
| SgnVar of string
| SgnFun of string * sgn * sgn
| SgnWhere of sgn * string * con
+ | SgnProj of string * string list * string
withtype sgn_item = sgn_item' located
and sgn = sgn' located