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.
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
