comparison src/core.sml @ 144:f0d3402184d1

Simple forms work
author Adam Chlipala <adamc@hcoop.net>
date Tue, 22 Jul 2008 15:12:20 -0400
parents fd98dd10dce7
children 7420fa18d657
comparison
equal deleted inserted replaced
143:4b9c2bd6157c 144:f0d3402184d1
78 78
79 | EClosure of int * exp list 79 | EClosure of int * exp list
80 80
81 withtype exp = exp' located 81 withtype exp = exp' located
82 82
83 datatype export_kind =
84 Link
85 | Action
86
83 datatype decl' = 87 datatype decl' =
84 DCon of string * int * kind * con 88 DCon of string * int * kind * con
85 | DVal of string * int * con * exp * string 89 | DVal of string * int * con * exp * string
86 | DValRec of (string * int * con * exp * string) list 90 | DValRec of (string * int * con * exp * string) list
87 | DExport of int 91 | DExport of export_kind * int
88 92
89 withtype decl = decl' located 93 withtype decl = decl' located
90 94
91 type file = decl list 95 type file = decl list
92 96