aboutsummaryrefslogtreecommitdiff
path: root/src/boot/fe/fuzz.ml
diff options
context:
space:
mode:
authorGraydon Hoare <[email protected]>2010-11-02 17:20:57 -0700
committerGraydon Hoare <[email protected]>2010-11-02 17:20:57 -0700
commit7abf6eb7c67dfb43540fdcafd6f1e69bdd2a6849 (patch)
tree1abdd0450b778fad9341365bb577da2548447feb /src/boot/fe/fuzz.ml
parentSplit out stratum-checking pass, implement more-strict (overly aggressive) im... (diff)
downloadrust-7abf6eb7c67dfb43540fdcafd6f1e69bdd2a6849.tar.xz
rust-7abf6eb7c67dfb43540fdcafd6f1e69bdd2a6849.zip
Shift obj, type, param decls to have strata rather than effects.
Diffstat (limited to 'src/boot/fe/fuzz.ml')
-rw-r--r--src/boot/fe/fuzz.ml4
1 files changed, 2 insertions, 2 deletions
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;