diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-03-13 21:24:52 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-03-13 21:24:52 +0100 |
commit | a722e6499b5ec84ded06ee99227ce2b6e33ad5df (patch) | |
tree | 20fa14654f017e0534b719192e4273043aaa1b14 | |
parent | aef533920831d96a4d39271bdbcbcd8e2e76bc4c (diff) |
Forgot to add hint definition for fail_rule
-rw-r--r-- | prolog/common.py | 3 | ||||
-rw-r--r-- | prolog/sl.py | 2 |
2 files changed, 3 insertions, 2 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? diff --git a/prolog/sl.py b/prolog/sl.py index ea15f93..2c7f344 100644 --- a/prolog/sl.py +++ b/prolog/sl.py @@ -54,7 +54,7 @@ hint = { <p>Je prav, da je to pisano z malo?</p> ''', - 'fail_rule_markup': '''\ + 'fail_rule': '''\ <p>Pravila, ki nikoli ne drži, nikoli ne potrebuješ.</p> ''', } |