Mercurial > urweb
comparison src/elab.sml @ 1797:bb942416bf1c
Remove 'class' declaration; now use 'con' instead
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 29 Jul 2012 12:27:13 -0400 |
parents | 6c00d8af6239 |
children | 1aa9629e3a4c |
comparison
equal
deleted
inserted
replaced
1796:0de0daab5fbb | 1797:bb942416bf1c |
---|---|
173 | DConstraint of con * con | 173 | DConstraint of con * con |
174 | DExport of int * sgn * str | 174 | DExport of int * sgn * str |
175 | DTable of int * string * int * con * exp * con * exp * con | 175 | DTable of int * string * int * con * exp * con * exp * con |
176 | DSequence of int * string * int | 176 | DSequence of int * string * int |
177 | DView of int * string * int * exp * con | 177 | DView of int * string * int * exp * con |
178 | DClass of string * int * kind * con | |
179 | DDatabase of string | 178 | DDatabase of string |
180 | DCookie of int * string * int * con | 179 | DCookie of int * string * int * con |
181 | DStyle of int * string * int | 180 | DStyle of int * string * int |
182 | DTask of exp * exp | 181 | DTask of exp * exp |
183 | DPolicy of exp | 182 | DPolicy of exp |