search

SMLFamily / Successor-ML

A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
190 stars 10 forks source link

open #14

Open RobertHarper opened 8 years ago

RobertHarper commented 8 years ago

I think it's been suggested, and perhaps implemented, to allow or require "open X : SIG", rather than just "open X". I think this is a good idea.

eduardoleon commented 7 years ago

I'd also greatly appreciate if

open SomeFunctor(Whatever)

were allowed, as shorthand for

local structure Temp = SomeFunctor(Whatever) in open Temp end