summaryrefslogtreecommitdiff
path: root/prolog/common.py
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-03-13 21:24:52 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-03-13 21:24:52 +0100
commita722e6499b5ec84ded06ee99227ce2b6e33ad5df (patch)
tree20fa14654f017e0534b719192e4273043aaa1b14 /prolog/common.py
parentaef533920831d96a4d39271bdbcbcd8e2e76bc4c (diff)
Forgot to add hint definition for fail_rule
Diffstat (limited to 'prolog/common.py')
-rw-r--r--prolog/common.py3
1 files changed, 2 insertions, 1 deletions
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?