Compile with JVM bootstrap backend

mmhelloworld · Jun 19, 2021 · 752c169 · 752c169
1 parent db9f7bb
commit 752c169
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/Idris/IDEMode/REPL.idr b/src/Idris/IDEMode/REPL.idr
@@ -50,8 +50,10 @@ import Network.Socket.Data
 
 %default covering
 
-%foreign "C:fdopen,libc 6"
-prim__fdopen : Int -> String -> PrimIO AnyPtr
+%foreign
+    "C:fdopen,libc 6"
+    jvm idrisSocketClass "toFile"
+prim__fdopen : AnyPtr -> String -> PrimIO AnyPtr
 
 export
 socketToFile : Socket -> IO (Either String File)