From 5a4ddea95a551c5f95f0dcbda433fe457b61d25a Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 19 Jun 2008 15:15:00 -0400 Subject: Functor parsing --- src/source.sml | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/source.sml') 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 -- cgit v1.2.3