---

yaml
---
r: 1694
b: refs/heads/master
c: 6f65ce5
h: refs/heads/master
v: v3

Author: pcwalton

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 949ba9ca460779ee75386b6dcec6b4f7d1774363
+refs/heads/master: 6f65ce5255ac16204490bdd7dcf99acd24876bc6

trunk/src/comp/driver/session.rs

@@ -45,6 +45,15 @@ obj session(cfg targ) {
         fail;
     }
 
+    fn span_unimpl(span sp, str msg) {
+        log #fmt("%s:%u:%u:%u:%u: error: unimplemented %s",
+                 sp.filename,
+                 sp.lo.line, sp.lo.col,
+                 sp.hi.line, sp.hi.col,
+                 msg);
+        fail;
+    }
+
     fn unimpl(str msg) {
         log #fmt("error: unimplemented %s", msg);
         fail;

trunk/src/comp/middle/typeck.rs

@@ -1402,7 +1402,8 @@ fn demand_expr_full(&@fn_ctxt fcx, @ty.t expected, @ast.expr e,
         }
 
         case (_) {
-            fcx.ccx.sess.unimpl("type unification for expression variant");
+            fcx.ccx.sess.span_unimpl(e.span,
+                "type unification for expression variant");
             fail;
         }
     }