From 285a4735b9565cc75cabd02f7b9c89aa8a70657e Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Fri, 2 Jul 2010 12:02:56 -0700 Subject: Parse effect-qualified type definitions. --- src/boot/fe/pexp.ml | 3 --- 1 file changed, 3 deletions(-) (limited to 'src/boot/fe/pexp.ml') diff --git a/src/boot/fe/pexp.ml b/src/boot/fe/pexp.ml index 1869a7d3..14065466 100644 --- a/src/boot/fe/pexp.ml +++ b/src/boot/fe/pexp.ml @@ -360,9 +360,6 @@ and flag (ps:pstate) (tok:token) : bool = then (bump ps; true) else false -and parse_mutability (ps:pstate) : bool = - flag ps MUTABLE - and parse_slot (aliases_ok:bool) (ps:pstate) : Ast.slot = let mode = match (peek ps, aliases_ok) with -- cgit v1.2.3