summaryrefslogtreecommitdiff
path: root/prolog/common.py
diff options
context:
space:
mode:
authorAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-03-09 19:16:26 +0100
committerAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-03-09 19:16:26 +0100
commit79a91c6a6c4fabf6f3c8949a6735375ceac21989 (patch)
treed6b0447a89fe6354e2945f2073a5485a16ca2c62 /prolog/common.py
parentc61d06eab2c15928a928fcea106f276013902bb0 (diff)
Hints for del/3 added. And some minor corrections/additions elsewhere.
Diffstat (limited to 'prolog/common.py')
-rw-r--r--prolog/common.py5
1 files changed, 4 insertions, 1 deletions
diff --git a/prolog/common.py b/prolog/common.py
index 65fc218..75006f7 100644
--- a/prolog/common.py
+++ b/prolog/common.py
@@ -37,7 +37,10 @@ def hint(code, aux_code):
# this will have to be solved more generally
targets = [prolog.util.Token('NAME', 'x'), prolog.util.Token('NAME', 'y'),
prolog.util.Token('NAME', 'z'), prolog.util.Token('NAME', 'a'),
- prolog.util.Token('NAME', 'b'), prolog.util.Token('NAME', 'c')]
+ prolog.util.Token('NAME', 'b'), prolog.util.Token('NAME', 'c'),
+ prolog.util.Token('NAME', 'h'), prolog.util.Token('NAME', 't'),
+ prolog.util.Token('NAME', 'l'), prolog.util.Token('NAME', 's'),
+ prolog.util.Token('NAME', 'w'), prolog.util.Token('NAME', 'v')]
marks = [(t.pos, t.pos + len(t.val)) for t in tokens if t in targets]
if marks:
return [{'id': 'noncapitalised_variable_markup', 'start': m[0], 'end': m[1]} for m in marks] + \