Stefan pushed to branch master at Stefan / Typer
Commits: 731e1482 by Stefan Monnier at 2016-04-26T21:58:46-04:00 * src/grammar.ml (default_grammar): Sync with typer-mode.el
- - - - -
1 changed file:
- src/grammar.ml
Changes:
===================================== src/grammar.ml ===================================== --- a/src/grammar.ml +++ b/src/grammar.ml @@ -58,37 +58,37 @@ let default_stt = let default_grammar : grammar = List.fold_left (fun g (n, ll, rl) -> SMap.add n (ll, rl) g) SMap.empty - [("^", Some 171, Some 159); - ("/", Some 148, Some 160); - ("-", Some 92, Some 110); - ("+", Some 93, Some 111); - ("!=", Some 94, Some 75); - (">=", Some 95, Some 76); - ("<=", Some 96, Some 77); - (">", Some 97, Some 78); - ("<", Some 98, Some 79); - ("&&", Some 64, Some 81); - ("||", Some 39, Some 51); - (",", Some 26, Some 26); - ("then", Some 1, Some 0); - ("=", Some 99, Some 80); - ("type", None, Some 27); - (";", Some 15, Some 15); - ("*", Some 137, Some 137); - (":", Some 173, Some 115); - ("]", Some 3, None); - ("->", Some 126, Some 114); - ("=>", Some 126, Some 113); - ("=>", Some 126, Some 112); - ("in", Some 2, Some 53); - ("else", Some 0, Some 52); - ("|", Some 40, Some 40); - (")", Some 4, None); - ("[", None, Some 3); - ("case", None, Some 28); - ("lambda", None, Some 126); - ("letrec", None, Some 2); - ("let", None, Some 2); - ("if", None, Some 1); - ("(", None, Some 4); + [("^", Some 165, Some 152); + ("/", Some 140, Some 153); + ("*", Some 141, Some 154); + ("-", Some 109, Some 128); + ("+", Some 110, Some 129); + ("!=", Some 111, Some 89); + (">=", Some 112, Some 90); + ("<=", Some 113, Some 91); + (">", Some 114, Some 92); + ("<", Some 115, Some 93); + ("==", Some 116, Some 94); + ("&&", Some 77, Some 95); + ("||", Some 53, Some 65); + (",", Some 41, Some 41); + (":≡", Some 166, Some 0); + (":-", Some 167, Some 1); + (":=", Some 168, Some 2); + ("::", Some 169, Some 17); + (":::", Some 170, Some 16); + (";", Some 15, Some 15); + ("type", None, Some 30); + ("=", Some 28, Some 29); + ("in", Some 4, Some 66); + ("|", Some 54, Some 54); + (")", Some 3, None); + ("->", Some 117, Some 98); + ("=>", Some 117, Some 97); + ("≡>", Some 117, Some 96); + ("let", None, Some 4); + (":", Some 78, Some 78); + ("lambda", None, Some 117); + ("case", None, Some 42); + ("(", None, Some 3) ]
View it on GitLab: https://gitlab.com/monnier/typer/commit/731e1482be1e361602378f9985250425663c...