-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Hello,
Following on from the posts on LCF, in order to support the traditional
model of incremental ML environment buildup, I think all that would be
needed is a way to save/pickel the top-level environment.
Given the modular design Alice, I suspect this should be easy, I would
guess that the top-level is just an incrementally compiled module. So it
should be possible to end the module and pickel it. This would provide
more or less the same behaviour as PolyML's heaps.
Can you confirm this? and maybe point me to the right places in the code
to look? :) or even do it... :P
If this was possible, then to get the traditional depth first style of
nested "use" might be possible by 1. save state, 2. compilation of new
component importing saved state, 3. importing/opening of the new
compiled component.
One more little thing I noticed recently happens with the following:
datatype foo = Foo0
| Foo1 of {};
fun crash Foo0 = "f0"
| crash (Foo1 x) = "f1";
gives me:
ValuePropagationPhase crashed: dumping debug information to vpdebug.txt
Unknown $12478
internal exception Unknown
It's fine if I have:
fun crash Foo0 = "f0"
| crash (Foo1 {}) = "f1";
or
fun crash Foo0 = "f0"
| crash (Foo1 _) = "f1";
it's also fine if I have:
datatype foo = Foo0
| Foo1 of {f : string};
I guess it's an optimisation bug when there is no data...
best,
lucas
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.7 (GNU/Linux)
Comment: Using GnuPG with Fedora - http://enigmail.mozdev.org
iD8DBQFGhTegiUn2r+81A2gRAnK7AKDy5j0ELNpLTlfIMfDiaqYrJ/2OSACgyWH6
65z6n+nUFIg+XoaoRinm6aM=
=U6Qn
-----END PGP SIGNATURE-----
_______________________________________________
alice-users mailing list
[email protected]
http://www.ps.uni-sb.de/mailman/listinfo/alice-users
