• Pietro Abate's avatar
    Parse type variables as patterns · 6ee8a6b0
    Pietro Abate authored
    - type variables are now correctly parsed as patterns
      and not as expressions
    
    - Add a new module Var that contains all the type variables
      related machinery
    
    - Remove old functions and unit tests about BoolVar of only
      variables, since now variables are always stored associated
      with one or more kinds
    6ee8a6b0
Name
Last commit
Last update
..
bool.ml Loading commit data...
bool.mli Loading commit data...
custom.ml Loading commit data...
encodings.ml Loading commit data...
encodings.mli Loading commit data...
html.ml Loading commit data...
html.mli Loading commit data...
imap.ml Loading commit data...
imap.mli Loading commit data...
inttbl.ml Loading commit data...
inttbl.mli Loading commit data...
ns.ml Loading commit data...
ns.mli Loading commit data...
pool.ml Loading commit data...
pool.mli Loading commit data...
pretty.ml Loading commit data...
pretty.mli Loading commit data...
q_symbol.ml Loading commit data...
serialize.ml Loading commit data...
serialize.mli Loading commit data...
state.ml Loading commit data...
state.mli Loading commit data...
stats.ml Loading commit data...
stats.mli Loading commit data...
upool.ml Loading commit data...
upool.mli Loading commit data...