diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-06-12 17:16:20 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-12 17:16:20 -0400 |
commit | 2355b20a32d8ed4924cee84a44831061b2b49b49 (patch) | |
tree | 7aa350f9a882036f84b87db938ee217663af875b /src/elab.sml | |
parent | 230753c968d4615b8e875940c4147d79d04d1ad3 (diff) |
Simple signature matching
Diffstat (limited to 'src/elab.sml')
-rw-r--r-- | src/elab.sml | 24 |
1 files changed, 23 insertions, 1 deletions
diff --git a/src/elab.sml b/src/elab.sml index ac1b4224..14664c0f 100644 --- a/src/elab.sml +++ b/src/elab.sml @@ -80,12 +80,34 @@ datatype exp' = withtype exp = exp' located +datatype sgn_item' = + SgiConAbs of string * int * kind + | SgiCon of string * int * kind * con + | SgiVal of string * int * con + | SgiStr of string * int * sgn + +and sgn' = + SgnConst of sgn_item list + | SgnVar of int + | SgnError + +withtype sgn_item = sgn_item' located +and sgn = sgn' located + datatype decl' = DCon of string * int * kind * con | DVal of string * int * con * exp + | DSgn of string * int * sgn + | DStr of string * int * sgn * str -withtype decl = decl' located + and str' = + StrConst of decl list + | StrVar of int + | StrError +withtype decl = decl' located + and str = str' located + type file = decl list end |