aboutsummaryrefslogtreecommitdiff
path: root/src/boot/fe/cexp.ml
diff options
context:
space:
mode:
authorGraydon Hoare <[email protected]>2011-04-19 13:35:49 -0700
committerGraydon Hoare <[email protected]>2011-04-19 13:35:49 -0700
commitd2bd07dcb02783063375b6c8532fceaf9fa9d50f (patch)
treea253b5eadb140d14bc99d1456e316ce1e210a6be /src/boot/fe/cexp.ml
parentrustc: Allow glue to be emitted even for scalar types; this is necessary to s... (diff)
downloadrust-d2bd07dcb02783063375b6c8532fceaf9fa9d50f.tar.xz
rust-d2bd07dcb02783063375b6c8532fceaf9fa9d50f.zip
Remove effect system from src.
Diffstat (limited to 'src/boot/fe/cexp.ml')
-rw-r--r--src/boot/fe/cexp.ml6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/boot/fe/cexp.ml b/src/boot/fe/cexp.ml
index a0db6773..fba2e798 100644
--- a/src/boot/fe/cexp.ml
+++ b/src/boot/fe/cexp.ml
@@ -29,7 +29,7 @@ type meta = (Ast.ident * Ast.pexp) array;;
type meta_pat = (Ast.ident * (Ast.pexp option)) array;;
-type auth = (Ast.name * Ast.effect);;
+type auth = (Ast.name * Ast.auth);;
type cexp =
CEXP_alt of cexp_alt identified
@@ -274,10 +274,10 @@ and parse_cexp (ps:pstate) : cexp =
bump ps;
let name = Pexp.parse_name ps in
expect ps EQ;
- let effect = Pexp.parse_effect ps in
+ let au = Pexp.parse_auth ps in
expect ps SEMI;
let bpos = lexpos ps in
- CEXP_auth (span ps apos bpos (name, effect))
+ CEXP_auth (span ps apos bpos (name, au))
| _ -> raise (unexpected ps)