• Mário Pereira's avatar
    Multiple "use": multiple module names allowed after "use". For instance: · 6fae2d4a
    Mário Pereira authored
      use int.Int, set.Fset, ref.Ref
      (as updated in the pigeonhole.mlw file)
    
    Any module name can be followed by a "as M" clause, but only a single "import"
    is allowed. For instance:
    
      use import int.Int as I, map.Map as M
    
    imports both Int and Map. To import Int but not Map, one would have to write
    
      use import int.Int as I
      use map.Map as M
    6fae2d4a
Name
Last commit
Last update
..
glob.ml Loading commit data...
glob.mli Loading commit data...
handcrafted.messages Loading commit data...
lexer.mli Loading commit data...
lexer.mll Loading commit data...
parser.mly Loading commit data...
ptree.ml Loading commit data...
report.ml Loading commit data...
report.mli Loading commit data...
typing.ml Loading commit data...
typing.mli Loading commit data...