From 5063f0db96ef4531053d1eb0c8fbc2398a17e4c7 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Tue, 13 Jul 2010 14:23:00 -0700 Subject: [PATCH] Accept effect-qualified local item declarations. --- src/boot/fe/item.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/boot/fe/item.ml b/src/boot/fe/item.ml index 130909e2fa6..5270e863c0b 100644 --- a/src/boot/fe/item.ml +++ b/src/boot/fe/item.ml @@ -498,7 +498,7 @@ and parse_stmts (ps:pstate) : Ast.stmt array = expect ps SEMI; spans ps stmts apos (Ast.STMT_join lval) - | MOD | OBJ | TYPE | FN | USE | NATIVE -> + | IO | STATE | UNSAFE | MOD | OBJ | TYPE | FN | USE | NATIVE -> let (ident, item) = ctxt "stmt: decl" parse_mod_item ps in let decl = Ast.DECL_mod_item (ident, item) in let stmts = expand_tags_to_stmts ps item in