From da13c508d83032ca13679e1e122e96d25ac23283 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Tue, 2 Nov 2010 11:11:58 -0700 Subject: First pass on splitting stratum and opacity off of effects. WIP. --- src/boot/fe/fuzz.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/boot/fe/fuzz.ml') diff --git a/src/boot/fe/fuzz.ml b/src/boot/fe/fuzz.ml index 47a708dc..e8db9f39 100644 --- a/src/boot/fe/fuzz.ml +++ b/src/boot/fe/fuzz.ml @@ -104,7 +104,7 @@ 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 = PURE in + let eff = Ast.EFF_pure in decl (MOD_ITEM_type (eff, ty)) | _ -> let mis' = Hashtbl.create 0 in -- cgit v1.2.3