From 9e1aaf2d5c43e5e3804ba9f6e3b29bf790cb75c8 Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Mon, 9 Oct 2017 04:31:41 -0700 Subject: Moved timeout code into compiler and out of a lib. --- lib/timeout.nom | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 lib/timeout.nom (limited to 'lib') diff --git a/lib/timeout.nom b/lib/timeout.nom deleted file mode 100644 index dc5212d..0000000 --- a/lib/timeout.nom +++ /dev/null @@ -1,8 +0,0 @@ -require "lib/core.nom" -rule [cap at %num instructions] =: - lua code ".." - |print("capped at", \(%num)) - |local f = function() - | nomsu:error("Execution quota exceeded. Your code took too long.") - |end - |debug.sethook(f, "", \(%num)) -- cgit v1.2.3