diff options
| author | Graydon Hoare <[email protected]> | 2010-07-08 08:25:12 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-07-08 08:25:12 -0700 |
| commit | 48488b0dcf06bd729f0920e7744efd3b06017c58 (patch) | |
| tree | 5bfd1c7f9ed7a1fe31ac831b6d16a4d757fcc595 /src/boot/me | |
| parent | Add mbrubeck. (diff) | |
| download | rust-48488b0dcf06bd729f0920e7744efd3b06017c58.tar.xz rust-48488b0dcf06bd729f0920e7744efd3b06017c58.zip | |
Build fix from jmuizelaar (on ocamlc versions that notice this bug; drat, not all do)
Diffstat (limited to 'src/boot/me')
| -rw-r--r-- | src/boot/me/alias.ml | 2 | ||||
| -rw-r--r-- | src/boot/me/semant.ml | 4 | ||||
| -rw-r--r-- | src/boot/me/trans.ml | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/src/boot/me/alias.ml b/src/boot/me/alias.ml index 2c507335..d98316ef 100644 --- a/src/boot/me/alias.ml +++ b/src/boot/me/alias.ml @@ -41,7 +41,7 @@ let alias_analysis_visitor begin fun i slot -> match slot.Ast.slot_mode with - Ast.MODE_alias _ -> + Ast.MODE_alias -> alias_atom args.(i) | _ -> () end diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml index 8d2ed8ac..c67bb822 100644 --- a/src/boot/me/semant.ml +++ b/src/boot/me/semant.ml @@ -1883,8 +1883,8 @@ and slot_referent_type (abi:Abi.abi) (sl:Ast.slot) : Il.referent_ty = let rty = referent_type abi (slot_ty sl) in match sl.Ast.slot_mode with - | Ast.MODE_local _ -> rty - | Ast.MODE_alias _ -> sp rty + | Ast.MODE_local -> rty + | Ast.MODE_alias -> sp rty ;; let task_rty (abi:Abi.abi) : Il.referent_ty = diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index 6a14a1ce..f77386a9 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -2859,7 +2859,7 @@ let trans_visitor Ast.MODE_local -> cell - | Ast.MODE_alias _ -> + | Ast.MODE_alias -> if initializing then cell else deref cell |