Daniel Hillerström
Daniel Hillerström
It turns out this is a special case of a more general issue of how Sugartypes rows are translated into Types rows. The translation does not check for duplicate labels....
I will put this issue under "name shenanigans" umbrella of issues that I have been working on for some time. As with the other name issues, the proper solution here...
Some typing/inference strangeness I just stumbled upon ``` links> sig f : () {Foo:() -> forall a.a |e}~> forall b.b fun f() { do Foo() : forall a.a }; f...
Thanks! This looks like an issue for @SimonJF -- I'll let you have a look first.
Here is another variation ``` links> op x > y { "test" }; > = fun : (_, _) -> String links> 2 > 2; ***: Internal Error in instantiate.ml...
We should delete the `port=` entry from the default configuration file as the default value for the setting port is `8080`.
The default config does not specify the port ``` $ cat $OPAM_SWITCH_PREFIX/etc/links/config jsliburl=/lib/js jslibdir=/home/dhil/.opam/4.11.2/lib/links/js stdlib_path=/home/dhil/.opam/4.11.2/lib/links/stdlib #database_driver=postgresql #database_args=localhost:5432:user:pass ```
I agree there is an issue with the default config entries shadowing whatever options have been supplied on the commandline. However, the particular instance you describe here with `port` can...
Subsumed by #959?
We should definitely use it in `value.ml` too! The current implementation of value printing is rather obscure.