Philip Wellnitz
Philip Wellnitz
Currently, `real` is an `eqtype` which it shouldn't be, according to the SML Standard (see Appendix C). In particular, the following code should fail to elaborate: ``` SML 1.0 =...
MosML elaborates the following code: ``` SML fun f x x = x; ``` as ``` SML > val ('a, 'b) f = fn : 'a -> 'b -> 'b...
As python 2 is now officially deprecated (https://www.python.org/doc/sunset-python-2/), we may now (finally) drop support for it. In particular, I propose the following (from which we may choose to do any...
As you all are probably aware of, writing new segments (and getting them merged) right know comes with some tedious parts, e.g. writing tests or a proper documentation. Hence I...
Currently, while functors are indeed implemented, they are not tested very well. Thus, plenty of squids can and will appear. This issue is intended to track all of these squids....
``` SML fun f x = f x x ``` should not elaborate but it does.
Add a mechanism to display that an updated frontend is available
Correctly implement overflows for values of type `real`; consider changing the integer overflow to 63 bit.