diff options
Diffstat (limited to 'src/flat.sml')
| -rw-r--r-- | src/flat.sml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/flat.sml b/src/flat.sml index e635bd1c..40ef95f6 100644 --- a/src/flat.sml +++ b/src/flat.sml @@ -58,6 +58,7 @@ withtype exp = exp' located datatype decl' = DVal of string * int * typ * exp | DFun of int * string * typ * typ * exp + | DPage of (string * typ) list * exp withtype decl = decl' located |