diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-12-19 10:03:31 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-12-19 10:03:31 -0500 |
| commit | ba83ee9a9b3d2539b820c9fcb1cb7cd42226da6c (patch) | |
| tree | 147dbc155a38e55b93e8c303304bdc6c9f5e8258 /src/elab.sml | |
| parent | 8d98194908d9001ce5da0bceda10c22e71e940ba (diff) | |
Initial conversion to arbitrary-kind classes
Diffstat (limited to 'src/elab.sml')
| -rw-r--r-- | src/elab.sml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/elab.sml b/src/elab.sml index d997b7ec..8e44c43c 100644 --- a/src/elab.sml +++ b/src/elab.sml @@ -136,8 +136,8 @@ datatype sgn_item' = | SgiStr of string * int * sgn | SgiSgn of string * int * sgn | SgiConstraint of con * con - | SgiClassAbs of string * int - | SgiClass of string * int * con + | SgiClassAbs of string * int * kind + | SgiClass of string * int * kind * con and sgn' = SgnConst of sgn_item list @@ -163,7 +163,7 @@ datatype decl' = | DExport of int * sgn * str | DTable of int * string * int * con | DSequence of int * string * int - | DClass of string * int * con + | DClass of string * int * kind * con | DDatabase of string | DCookie of int * string * int * con |