Fixing #40

ku-fpg · Jan 20, 2016 · 65a7550 · 65a7550
1 parent 3f9df5e
commit 65a7550
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/HERMIT/GHCI/Client.hs b/src/HERMIT/GHCI/Client.hs
@@ -31,7 +31,7 @@ session :: JSONRPC.Session
 session = JSONRPC.session
         $ (if debug 
            then traceSessionAPI "HERMIT-remote-json"
-           else id)
+           else id :: (forall a . f a -> g a) -> (forall a . f a ~> g a))
         $ sendr
  where
         sendr :: SessionAPI a -> IO a