@@ -269,28 +269,18 @@ mkCompilationUnit globalInit defs hdrs out = do
269269 clsName <- mkClassName out
270270 CompilationUnit Nothing ( [ ImportDecl False idrisRts True
271271 , ImportDecl True idrisForeign True
272− , ImportDecl False idrisForeignWrapper False
273272 , ImportDecl False idrisPrimFn False
274273 , ImportDecl False bigInteger False
275− , ImportDecl False stringBuffer False
276274 , ImportDecl False runtimeException False
277− , ImportDecl False scanner False
278− , ImportDecl False arrays False
279− , ImportDecl False callable False
280275 ] ++ otherHdrs
281276 )
282277 <$> mkTypeDecl clsName globalInit defs
283278 where
284279 idrisRts = J.Name $ map Ident ["org", "idris", "rts"]
285280 idrisForeign = J.Name $ map Ident ["org", "idris", "rts", "ForeignPrimitives"]
286− idrisForeignWrapper = J.Name $ map Ident ["org", "idris", "rts", "ForeignWrapper"]
287281 idrisPrimFn = J.Name $ map Ident ["org", "idris", "rts", "PrimFn"]
288282 bigInteger = J.Name $ map Ident ["java", "math", "BigInteger"]
289− stringBuffer = J.Name $ map Ident ["java", "lang", "StringBuffer"]
290283 runtimeException = J.Name $ map Ident ["java", "lang", "RuntimeException"]
291− scanner = J.Name $ map Ident ["java", "util", "Scanner"]
292− arrays = J.Name $ map Ident ["java", "util", "Arrays"]
293− callable = J.Name $ map Ident ["java", "util", "concurrent", "Callable"]
294284 otherHdrs = map ( (\ name -> ImportDecl False name False)
295285 . J.Name
296286 . map (Ident . T.unpack)