Skip to content

Instantly share code, notes, and snippets.

@23jura23
Last active May 12, 2021
Embed
What would you like to do?
Cross dependency 1
module mine.File1 where
data MyFile = native mine.File2 where
pure native func :: MyFile -> Int
pure native create new :: () -> MyFile
main = print $ MyFile.func $ MyFile.create ()
package mine;
import mine.File3;
public class File2 {
public int func() {
File3 f = new File3();
return f.x;
}
}
module mine.File3 where
x = 1
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment