diff options
Diffstat (limited to 'src/boot/parser.boot')
| -rw-r--r-- | src/boot/parser.boot | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/boot/parser.boot b/src/boot/parser.boot index 29141095..8212b965 100644 --- a/src/boot/parser.boot +++ b/src/boot/parser.boot @@ -258,13 +258,13 @@ bpMissingMate(close,open)== bpMissing s== bpSpecificErrorHere strconc(PNAME s,'" possibly missing") - throw TRAPPOINT "TRAPPED" + throw 'TRAPPED : BootParserException bpCompMissing s == bpEqKey s or bpMissing s bpTrap()== bpGeneralErrorHere() - throw TRAPPOINT "TRAPPED" + throw 'TRAPPED : BootParserException bpRecoverTrap()== bpFirstToken() @@ -281,9 +281,9 @@ bpListAndRecover(f)== done := false c := $inputStream while not done repeat - found := CATCH('TRAPPOINT,apply(f,nil)) --- try apply(f,nil) --- catch TRAPPOINT --(e) => e + found := + try apply(f,nil) + catch(e: BootParserException) => e if found = "TRAPPED" then $inputStream:=c |