Reduction

[hcoop/domtool2.git] / src / ast.sml

diff --git a/src/ast.sml b/src/ast.sml
index 0c6ddd1..bd87121 100644 (file)
--- a/src/ast.sml
+++ b/src/ast.sml
@@ -94,6 +94,7 @@ withtype exp = exp' * position
 datatype decl' =
         DExternType of string
        | DExternVal of string * typ
 datatype decl' =
         DExternType of string
        | DExternVal of string * typ

+       | DVal of string * typ option * exp

 type decl = decl' * string option * position
 
 type file = decl list * exp option
 type decl = decl' * string option * position
 
 type file = decl list * exp option