[Twelf-developer] Twelf 1.4 Before Release

[Roberto Virga]

Hi Frank,

> Please let me know either way and let me know if there are any
> bug fixes or proposed changes to the README file or documentation.

For Win32, the only SMLNJ experimental version for which I could find an .exe 
is 110.9.1, which has the old CM but the new base library.
If you coud change in src/frontend/sources.cm
> #if defined(NEW_CM)
>   mkabsolute.sml
> #else
>   mkabsolute-97.sml
> #endif
with
> #if defined(NEW_CM)
>   mkabsolute.sml
> #elif (SMLNJ_MINOR_VERSION >= 9)
>   mkabsolute.sml
> #else
>   mkabsolute-97.sml
> #endif
I believe this would work for all available experimental versions.
(Alas, it appears the new and old CM disagree on the syntax of the boolean 
disjunction operator - the old used "||", the new "orelse" - hence why the 
odd use of #elif above.)

- Roberto