From a722e6499b5ec84ded06ee99227ce2b6e33ad5df Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Sun, 13 Mar 2016 21:24:52 +0100 Subject: Forgot to add hint definition for fail_rule --- prolog/common.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'prolog/common.py') diff --git a/prolog/common.py b/prolog/common.py index 16f7769..5187c65 100644 --- a/prolog/common.py +++ b/prolog/common.py @@ -19,6 +19,7 @@ hint_type = { 'monkey_remove': HintPopup('monkey_remove', style='remove'), 'noncapitalised_variable': Hint('noncapitalised_variable'), 'noncapitalised_variable_markup': HintPopup('noncapitalised_variable_markup'), + 'fail_rule': HintPopup('fail_rule'), } # Check program for syntax errors. @@ -45,7 +46,7 @@ def hint(code, aux_code): t1 = tokens[i+1] t2 = tokens[i+2] if t.val == ':-' and t1.val in ('fail', 'false') and t2.val == '.': - hints += [{'id': 'fail_rule_markup', 'start': t.pos, 'end': t2.pos + len(t2.val)}] + hints += [{'id': 'fail_rule', 'start': t.pos, 'end': t2.pos + len(t2.val)}] # a,b,c are a bit dangerous when crossing the river exercise is being solved # what about potential numbers after letters? -- cgit v1.2.1