Changeset 14636 for src/Pugs/Prim.hs

Timestamp:

11/05/06 18:29:50 (2 years ago)

Author:

audreyt

svk:copy_cache_prev:

41990

Message:

* Pugs.Prim: "fail" should throw out a Failure thunk.

Files:

• src/Pugs/Prim.hs (modified) (1 diff)

src/Pugs/Prim.hs

@@ -393 +393 @@
     pos   <- asks envPos
     let die = retShift $ VError (errmsg v) [pos]
-    retShift . VRef . thunkRef $ MkThunk die anyType
+        dieThunk = VRef . thunkRef $ MkThunk die (mkType "Failure")
+    op1Return (retControl (ControlLeave (<= SubRoutine) 0 dieThunk))
     where
     errmsg VUndef      = VStr "Failed"