Cross dependency 1

File1.fr

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 ()

File2.java

package mine;

import mine.File3;

public class File2 {
    public int func() {
        File3 f = new File3();
        return f.x;
    }
}

File3.fr

module mine.File3 where

x = 1