Mercurial > urweb
diff src/source.sml @ 40:e3d3c2791105
Functor parsing
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 19 Jun 2008 15:15:00 -0400 |
parents | 44b5405e74c7 |
children | b3fbbc6cb1e5 |
line wrap: on
line diff
--- a/src/source.sml Thu Jun 19 12:39:22 2008 -0400 +++ b/src/source.sml Thu Jun 19 15:15:00 2008 -0400 @@ -71,6 +71,7 @@ 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 @@ 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