Mercurial > urweb

comparison src/source.sml @ 40:e3d3c2791105

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Functor parsing
author Adam Chlipala <adamc@hcoop.net>
date Thu, 19 Jun 2008 15:15:00 -0400
parents 44b5405e74c7
children b3fbbc6cb1e5
comparison
equal deleted inserted replaced
39:02f42e9a1825 40:e3d3c2791105
69 | SgiStr of string * sgn 69 | SgiStr of string * sgn
70 70
71 and sgn' = 71 and sgn' =
72 SgnConst of sgn_item list 72 SgnConst of sgn_item list
73 | SgnVar of string 73 | SgnVar of string
74 | SgnFun of string * sgn * sgn
74 75
75 withtype sgn_item = sgn_item' located 76 withtype sgn_item = sgn_item' located
76 and sgn = sgn' located 77 and sgn = sgn' located
77 78
78 datatype exp' = 79 datatype exp' =
98 99
99 and str' = 100 and str' =
100 StrConst of decl list 101 StrConst of decl list
101 | StrVar of string 102 | StrVar of string
102 | StrProj of str * string 103 | StrProj of str * string
104 | StrFun of string * sgn * sgn option * str
103 105
104 withtype decl = decl' located 106 withtype decl = decl' located
105 and str = str' located 107 and str = str' located
106 108
107 type file = decl list 109 type file = decl list