Bug?

Let me know what other information might be helpful to you.  I've 
committed my current code state to version control if we need to come 
back to it later.

- CM.make "sources.cm";
[scanning sources.cm]
[scanning (sources.cm):common/sources.cm]
[parsing (sources.cm):source/unification.sml]
[compiling (sources.cm):source/unification.sml]
source/unification.sml:113.5-113.36 Warning: type vars not generalized 
because of
    value restriction are instantiated to dummy types (X1,X2,...)
source/unification.sml:1.1-187.4 Error: type ord_key does not match 
definitional specification
Error: Compiler bug: ModuleUtil: unexpected binding in extractInfo
val it = false : bool



-------------------------------------------------------
This SF.Net email is sponsored by:
Power Architecture Resource Center: Free content, downloads, discussions,
and more. http://solutions.newsforge.com/ibmarch.tmpl