Jonathan Lindegaard Starup
Jonathan Lindegaard Starup
`Simplifier` introduces a lot of `if (true)` in its deconstruction of pattern matches. These `if (true)` evidently makes it into the final code for some reason
This program is not too slow, but it is a boiled down example of my project where vscode timeouts. Note that `Asd.unknown` is not a valid function. In this program...
``` mod Example { /// Hello /// Doc /// Comment pub def fun(x: Int32): Int32 = { x + x } } def main(): Int32 = 42 ``` I can...
``` /// Cool stuff. def example(x: Int32): Int32 = example(x) ``` when I hover `example` on the left I'd like to see all the information I see when I hover...
``` import java.awt.Dimension import javax.swing.JFrame import javax.swing.JLabel import javax.swing.SwingConstants /// https://mkyong.com/swing/java-swing-hello-world-example/ def main(): Unit \ IO = { let frame = new JFrame("Hello World Java Swing"); // set frame site...
For some reason, it is not in the autocomplete, but the code works fine (Flix 0.51.0)
``` import java.awt.Dimension import javax.swing.JFrame import javax.swing.JLabel /// https://mkyong.com/swing/java-swing-hello-world-example/ def main(): Unit \ IO = { let frame = new JFrame("Hello World Java Swing"); // set frame site frame.setMinimumSize(new Dimension(800,...
It looks like method lookup thinks that we do automatic coercion ``` import java.lang.Math def main(): Float32 \ IO = Math.max(32f32, 0) ``` ``` Verifier error: Mismatched types near ..\test.flix:2:28:...
This PR is a bit awkward because the backend is not fully using backend types and because the Verifier are not written in a destructive style. @magnus-madsen I can make...
We currently check if `r` is escaping in `f` by saying that it does *not* if a) `r` is not syntactically present and b) `f[r -> True] =B= f[r ->...