From 752c16920988865bdd7cfc7173d9eedec74a28c9 Mon Sep 17 00:00:00 2001
From: Marimuthu Madasamy <mmhelloworld@gmail.com>
Date: Sun, 16 May 2021 15:21:35 -0400
Subject: [PATCH] Compile with JVM bootstrap backend

---
 src/Idris/IDEMode/REPL.idr | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/Idris/IDEMode/REPL.idr b/src/Idris/IDEMode/REPL.idr
index c538e1466d..e46bf4e618 100644
--- 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)