Hi,
I'm developing in SML for years (so with a big number of lines of code, different projects, in-house libraries, ...). The code compiles well in MLton (for production) and in SML/NJ (for dev and debug).
I am considering using Poly/ML to benefit of its debugger.
I wonder what will be the effort in order to port the code to Poly/ML.
I have already found that:
- The organization of the code has to be adapted: sources.cm and mlb files have to be rewritten in some equivalent for polyml
- Some libraries will be missing (from my first attempt, it seems that smlnj basis is bigger than what is provided in polyml)
- Interfaces with C will have to be adapted (among others: does it exist an easy way to have nlffi in polyml?)
- Some grammar constructs may not be accepted by polyml. For example: case x of (0 | 1) => true | _ => false; is not accepted in polyml
Does someone have such an experience? Are there documents somewhere that give hints? Are there other big tasks to anticipate for this port?
Thanks,
Gael Mulat.