aboutsummaryrefslogtreecommitdiff
path: root/src/interp
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-12-07 14:35:30 +0000
committerdos-reis <gdr@axiomatics.org>2010-12-07 14:35:30 +0000
commitacd73b3b9926403115db4db68361703bff439889 (patch)
treeaf05e8face530df9ed235e02cbe2e97f3d6a85ce /src/interp
parent871ae5f27191cd50a4629143243312da1be7ca94 (diff)
downloadopen-axiom-acd73b3b9926403115db4db68361703bff439889.tar.gz
* interp/compiler.boot (compThrow): Remove niladic type restriction.
(compCatch): Tidy. (compTry): Likewise.
Diffstat (limited to 'src/interp')
-rw-r--r--src/interp/compiler.boot14
1 files changed, 5 insertions, 9 deletions
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot
index 73d0e136..ef0250a6 100644
--- a/src/interp/compiler.boot
+++ b/src/interp/compiler.boot
@@ -1152,28 +1152,24 @@ compReturn(["return",x],m,e) ==
compThrow: (%Form,%Mode,%Env) -> %Maybe %Triple
compThrow(["%Throw",x],m,e) ==
- T := comp(x,$EmptyMode,e) or return nil
- -- FIXME: at the moment, throwable expressions must be of type
- -- FIXME: instantiated from niladic constructors.
- T.mode isnt [c] or not(niladicConstructorFromDB c) =>
- stackAndThrow('"throw-operand %1b must be of known niladic type",[x])
+ T := compOrCroak(x,$EmptyMode,e)
-- An exception does not use the normal exit/return route, so
-- we don't take into account neither $exitModeStack nor $returnMode.
[['%throw,T.mode,T.expr],$NoValueMode,T.env]
compCatch: (%Form,%Mode,%Env) -> %Maybe %Triple
compCatch([x,s],m,e) ==
- [x',m',e] := compMakeDeclaration(second x, third x,e)
+ [.,m',e] := compMakeDeclaration(second x, third x,e)
T := compOrCroak(s,m,e)
- [['%catch,second x,m',T.expr],T.mode,e]
+ [['%catch,second x,m',T.expr],T.mode,T.env]
compTry: (%Form,%Mode,%Env) -> %Maybe %Triple
compTry(['%Try,x,ys,z],m,e) ==
x' := compOrCroak(x,m,e).expr
ys' := [compCatch(y,m,e).expr for y in ys]
z' :=
- z ~= nil => ['%finally,compOrCroak(z,$NoValueMode,e).expr]
- nil
+ z = nil => nil
+ ['%finally,compOrCroak(z,$NoValueMode,e).expr]
[['%try,x',ys',z'],m,e]
--% ELT