diff options
Diffstat (limited to 'prolog/common.py')
| -rw-r--r-- | prolog/common.py | 3 |
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? |