diff options
Diffstat (limited to 'prolog')
| -rw-r--r-- | prolog/common.py | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/prolog/common.py b/prolog/common.py index 1d224b5..8e3d91d 100644 --- a/prolog/common.py +++ b/prolog/common.py @@ -46,13 +46,4 @@ def hint(code, aux_code): if t.val == ':-' and t1.val in ('fail', 'false') and 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? - # TODO this will have to be solved more generally - targets = {'a', 'c', 'x', 'y', 'z', 'h', 'l', 's', 'v', 'w'} - marks = [(t.pos, t.pos + len(t.val)) for t in tokens if t.type == 'NAME' and t.val in targets] - if marks: - hints += [{'id': 'noncapitalised_variable_markup', 'start': m[0], 'end': m[1]} for m in marks] + \ - [{'id': 'noncapitalised_variable'}] - return hints |