-
Justus Fasse authored
This is suggested by the paper. By default any uninferred type will cause a compilation error. If this boolean is set to true, any uninstantiated type will be defaulted to Type.Int.
b4d12024Justus Fasse authoredThis is suggested by the paper. By default any uninferred type will cause a compilation error. If this boolean is set to true, any uninstantiated type will be defaulted to Type.Int.
Loading