aboutsummaryrefslogtreecommitdiff
path: root/src/boot/fe/fuzz.ml
diff options
context:
space:
mode:
authorGraydon Hoare <[email protected]>2010-11-02 11:11:58 -0700
committerGraydon Hoare <[email protected]>2010-11-02 11:11:58 -0700
commitda13c508d83032ca13679e1e122e96d25ac23283 (patch)
tree51c3d466dfedf3ad8e21b56c4769325561b3d650 /src/boot/fe/fuzz.ml
parentUn-XFAIL self tests on Darwin (diff)
downloadrust-da13c508d83032ca13679e1e122e96d25ac23283.tar.xz
rust-da13c508d83032ca13679e1e122e96d25ac23283.zip
First pass on splitting stratum and opacity off of effects. WIP.
Diffstat (limited to 'src/boot/fe/fuzz.ml')
-rw-r--r--src/boot/fe/fuzz.ml2
1 files changed, 1 insertions, 1 deletions
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