Matthew Fluet

Results 60 comments of Matthew Fluet

Agreed that this should be pretty straightforward. Feel free to work on it. You might consider implementing/replacing either: - https://github.com/MLton/mlton/blob/master/basis-library/primitive/prim-int-inf.sml or - https://github.com/MLton/mlton/blob/master/basis-library/integer/int-inf0.sml The advantage of the former is that...

Yes, looks like it should be 2013 Matthew Fluet.

Unlike the fixes for MLton/mlton#45 and MLton/mlton#47, which could be handled by some simply applications of opaque signature matching in the Basis Library implementation, hiding the type equality of monomorphic...

An alternative approach might be to reuse the existing `_overload` extension and take a cue from Haskell's treatment of constants. That is, treat a string constant as an implicit application...

Contributions to make MLton work better on Windows (under Cygwin or MinGW) are welcome. But, it is not a platform that I have easy access to (or the time to...

Yes, I just tried out GitHub Actions over the last few days. I'd certainly like to automate more of the release process and including Windows with that would be nice....

@eatonphil Thanks for the pointers. It's on a TODO to automatically build and upload a release

@jonsterling I don't think that large (source) case statements are the problem, but mentioning C0 made me remember that @robsimmons reported a similar issue about C0: https://sourceforge.net/p/mlton/mailman/message/31031310/ I think that...

BTW, compiling `redprl` with `-native-live-transfer 0` as suggested in the linked thread gives: ``` MLton starting Compile SML starting pre codegen starting pre codegen finished in 59.26 + 10.53 (15%...

I'm not sure if either [RemoveUnused](http://mlton.org/RemoveUnused) or [Useless](http://mlton.org/Useless) could be improved to handle this case, though [RemoveUnused](http://mlton.org/RemoveUnused) would be more likely. [Useless](http://mlton.org/Useless) actually removed useless components of data structures. The...