aboutsummaryrefslogtreecommitdiff
path: root/src/boot/me
diff options
context:
space:
mode:
authorGraydon Hoare <[email protected]>2010-06-30 01:42:40 -0700
committerGraydon Hoare <[email protected]>2010-06-30 01:42:40 -0700
commitdf0eebcf1e31496106da43bcde40ac4983857bb1 (patch)
tree30f1d1a1354b3866175e811f098b1bed044f0381 /src/boot/me
parentRemove redundant (and misnamed) function "without_exterior" in trans. (diff)
downloadrust-df0eebcf1e31496106da43bcde40ac4983857bb1.tar.xz
rust-df0eebcf1e31496106da43bcde40ac4983857bb1.zip
Improve error message.
Diffstat (limited to 'src/boot/me')
-rw-r--r--src/boot/me/semant.ml3
1 files changed, 1 insertions, 2 deletions
diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml
index 26d38e03..c7536fa6 100644
--- a/src/boot/me/semant.ml
+++ b/src/boot/me/semant.ml
@@ -1098,8 +1098,7 @@ let project_type
| (_,_) ->
bug ()
- "unhandled form of lval-ext in Semant."
- "project_ty: %a indexed by %a"
+ "project_ty: bad lval-ext: %a indexed by %a"
Ast.sprintf_ty base_ty Ast.sprintf_lval_component comp
;;