Alice ML does not seem to implement SML's multiple include:
Alice 1.4 ("Kraftwerk 'Equaliser' Album") mastered 2007/04/24
### loaded signature from x-alice:/lib/system/Print
### loaded signature from x-alice:/lib/tools/Inspector
### loaded signature from x-alice:/lib/distribution/Remote
- signature FOO = sig end ;
signature FOO = sig end
- signature BAR = sig end ;
signature BAR = sig end
- signature FOOBAR = sig include FOO BAR end ;
1.35-1.38: unknown structure or functor `BAR'
I didn't see a mention of this on the incompatibilities page. Is this
a bug or an intentional feature? My code uses mutiple include (and
sharing constraints) in many places for joining signatures
(relatively) concisely.
Also, the incompatibilities page doesn't mention any rationale for the
multiple open incompatibility. What is the rationale? Note that it
is trivial to write multiple open declarations sequentially when one
wants that effect, but achieving the effect of SML's simultaneous
multiple open with sequential open is more involved (you'll need extra
local structure bindings). I actually have code that makes use of
SML's simultaneous multiple open for brevity --- a single multiple
open also hides temporary structure bindings while also opening
structures, so extra local structure bindings are not needed.
-Vesa Karvonen
_______________________________________________
alice-users mailing list
[email protected]
http://www.ps.uni-sb.de/mailman/listinfo/alice-users
