comparison src/expl.sml @ 87:275aaeb73f1f

Push KUnit and CUnit through the phases
author Adam Chlipala <adamc@hcoop.net>
date Tue, 01 Jul 2008 13:23:46 -0400
parents 0ee10f4d73cf
children f0f59e918cac
comparison
equal deleted inserted replaced
86:7f9bcc8bfa1e 87:275aaeb73f1f
31 31
32 datatype kind' = 32 datatype kind' =
33 KType 33 KType
34 | KArrow of kind * kind 34 | KArrow of kind * kind
35 | KName 35 | KName
36 | KUnit
36 | KRecord of kind 37 | KRecord of kind
37 38
38 withtype kind = kind' located 39 withtype kind = kind' located
39 40
40 datatype con' = 41 datatype con' =
51 | CName of string 52 | CName of string
52 53
53 | CRecord of kind * (con * con) list 54 | CRecord of kind * (con * con) list
54 | CConcat of con * con 55 | CConcat of con * con
55 | CFold of kind * kind 56 | CFold of kind * kind
57
58 | CUnit
56 59
57 withtype con = con' located 60 withtype con = con' located
58 61
59 datatype exp' = 62 datatype exp' =
60 EPrim of Prim.t 63 EPrim of Prim.t