From eff8995031482604470f31c7cc24e525c5edadb2 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Mon, 17 Jun 2013 05:31:21 +0000
Subject: Undo last commit to compiler.boot

---
 src/interp/compiler.boot | 27 +++++++++++++++++++--------
 1 file changed, 19 insertions(+), 8 deletions(-)

(limited to 'src')

diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot
index 773aca8e..1d2921eb 100644
--- a/src/interp/compiler.boot
+++ b/src/interp/compiler.boot
@@ -916,13 +916,18 @@ setqSingle(id,val,m,E) ==
   $insideSetqSingleIfTrue: local:= true
     --used for comping domain forms within functions
   currentProplist:= getProplist(id,E)
-  tm := get(id,"mode",E) or getmode(id,E) or
-           m=$NoValueMode => $EmptyMode
-           m
-  T := comp(val,tm,E) or return nil
-  if tm = $EmptyMode then      -- newly defined variable.
-    T.env := addDomain(db,T.mode,T.env)
-  T' := [x,m',e'] := coerce(T,m) or return nil
+  m'':=
+    get(id,"mode",E) or getmode(id,E) or
+       (if m=$NoValueMode then $EmptyMode else m)
+  T:=
+    eval or return nil where
+      eval() ==
+        T:= comp(val,m'',E) => T
+        get(id,"mode",E) = nil and m'' ~= (maxm'':=maximalSuperType m'') and
+           (T:=comp(val,maxm'',E)) => T
+        (T:= comp(val,$EmptyMode,E)) and getmode(T.mode,E) =>
+          assignError(val,T.mode,id,m'')
+  T':= [x,m',e']:= coerce(T,m) or return nil
   if $profileCompiler then
     not ident? id => nil
     key :=
@@ -948,6 +953,12 @@ setqSingle(id,val,m,E) ==
     ["%LET",id,x]
   [form,m',e']
 
+assignError(val,m',form,m) ==
+  val =>
+    stackMessage('"CANNOT ASSIGN: %1b OF MODE: %2pb TO: %3b OF MODE: %4bp",
+      [val,m',form,m])
+  stackMessage('"CANNOT ASSIGN: %1b TO: %2b OF MODE: %3pb",[val,form,m])
+
 setqMultiple(nameList,val,m,e) ==
   val is ["CONS",:.] and m=$NoValueMode =>
     setqMultipleExplicit(nameList,uncons val,m,e)
@@ -1761,7 +1772,7 @@ tryCourtesyCoercion(T,m) ==
     keyedSystemError("S2GE0016",['"coerce",
       '"function coerce called from the interpreter."])
   if $useRepresentationHack then
-    T.mode := MSUBST("$",$Rep,second T)
+    T.rest.first := MSUBST("$",$Rep,second T)
   T' := coerceEasy(T,m) => T'
   T' := coerceSubset(T,m) => T'
   T' := coerceHard(T,m) => T'
-- 
cgit v1.2.3