Re: [isabelle] Here's 54 ML_file imports from SML/NJ Library; fix regexp-lib.sml if you'd like
On 14-04-17 05:56, Lawrence Paulson wrote:
Type cs is abstract. It should not be possible to write code that depends on whether it is “int” or not.
I might finally be understanding what you're saying.
The signature STRING_CVT is the same for both Poly/ML and SML/NJ, which
is where the signatures of cs, reader, and scanstring are defined.
All I know is that I can't experiment with loading a modified SML/NJ
StringCvt because the things it wants to load are at the compiler level.
I need to look at trying to run regexp-lib.sml under SML/NJ. If I can't
get it to run under SML/NJ, it might make sense.
This archive was generated by a fusion of
Pipermail (Mailman edition) and