From fa72d7eeb13a356d00a0694384938c23a90529da Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Tue, 10 Jul 2018 15:00:01 -0700 Subject: Fixing up error reporting and ripping out LDT-specific code (now a debugger can be provided by a command line flag) --- core/errors.nom | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'core/errors.nom') diff --git a/core/errors.nom b/core/errors.nom index 812052e..91f9b4f 100644 --- a/core/errors.nom +++ b/core/errors.nom @@ -8,17 +8,17 @@ compile [traceback %] to: Lua value "debug.traceback('', \(% as lua expr))" compile [barf] to: Lua "error(nil, 0);" compile [barf %msg] to: Lua "error(\(%msg as lua expr), 0);" compile [assume %condition] to - lua> "local \%assumption = 'Assumption failed: '..tostring(nomsu:tree_to_nomsu(\%condition));" + lua> "local \%assumption = 'Assumption failed: '..tostring(nomsu:tree_to_nomsu(\%condition))" return Lua ".." if not \(%condition as lua expr) then - error(\(quote "\%assumption"), 0); + error(\(quote "\%assumption"), 0) end compile [assume %condition or barf %message] to Lua ".." if not \(%condition as lua expr) then - error(\(%message as lua expr), 0); + error(\(%message as lua expr), 0) end # Try/except -- cgit v1.2.3