From 7abf6eb7c67dfb43540fdcafd6f1e69bdd2a6849 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Tue, 2 Nov 2010 17:20:57 -0700 Subject: Shift obj, type, param decls to have strata rather than effects. --- src/boot/fe/fuzz.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/boot/fe/fuzz.ml') diff --git a/src/boot/fe/fuzz.ml b/src/boot/fe/fuzz.ml index e8db9f39..734ef06c 100644 --- a/src/boot/fe/fuzz.ml +++ b/src/boot/fe/fuzz.ml @@ -104,8 +104,8 @@ let rec generate_mod_item (mis:mod_items) (cx:ctxt) : unit = match Random.int 2 with 0 -> let ty = generate_ty cx in - let eff = Ast.EFF_pure in - decl (MOD_ITEM_type (eff, ty)) + let st = Ast.STRAT_value in + decl (MOD_ITEM_type (st, ty)) | _ -> let mis' = Hashtbl.create 0 in let view = { view_imports = Hashtbl.create 0; -- cgit v1.2.3