projects
/
Faustine.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Add octave scripts for examples into track list.
[Faustine.git]
/
interpretor
/
symbol.ml
diff --git
a/interpretor/symbol.ml
b/interpretor/symbol.ml
index
967a2a6
..
4d58697
100644
(file)
--- a/
interpretor/symbol.ml
+++ b/
interpretor/symbol.ml
@@
-60,6
+60,8
@@
let dictionary_of_symbol : symbol -> (int * int) * int * string =
|Leq -> ((2, 1), 0, "Leq")
|Eq -> ((2, 1), 0, "Eq")
|Neq -> ((2, 1), 0, "Neq")
+ |Shl -> ((2, 1), 0, "shift_left")
+ |Shr -> ((2, 1), 0, "shift_right")
|Max -> ((2, 1), 0, "Max")
|Min -> ((2, 1), 0, "Min")
|Prefix -> ((2, 1), 0, "Prefix")