git.iko.soy/Idris-dev
on master help sign in
Remove old imports from generated files
58928deJan Bessai
src/IRTS/CodegenJava.hs−10
compare with master
unifiedsplit
@@ -269,28 +269,18 @@ mkCompilationUnit globalInit defs hdrs out = do
269 clsName <- mkClassName out
269 clsName <- mkClassName out
270 CompilationUnit Nothing ( [ ImportDecl False idrisRts True
270 CompilationUnit Nothing ( [ ImportDecl False idrisRts True
271 , ImportDecl True idrisForeign True
271 , ImportDecl True idrisForeign True
272− , ImportDecl False idrisForeignWrapper False
273 , ImportDecl False idrisPrimFn False
272 , ImportDecl False idrisPrimFn False
274 , ImportDecl False bigInteger False
273 , ImportDecl False bigInteger False
275− , ImportDecl False stringBuffer False
276 , ImportDecl False runtimeException False
274 , ImportDecl False runtimeException False
277− , ImportDecl False scanner False
278− , ImportDecl False arrays False
279− , ImportDecl False callable False
280 ] ++ otherHdrs
275 ] ++ otherHdrs
281 )
276 )
282 <$> mkTypeDecl clsName globalInit defs
277 <$> mkTypeDecl clsName globalInit defs
283 where
278 where
284 idrisRts = J.Name $ map Ident ["org", "idris", "rts"]
279 idrisRts = J.Name $ map Ident ["org", "idris", "rts"]
285 idrisForeign = J.Name $ map Ident ["org", "idris", "rts", "ForeignPrimitives"]
280 idrisForeign = J.Name $ map Ident ["org", "idris", "rts", "ForeignPrimitives"]
286− idrisForeignWrapper = J.Name $ map Ident ["org", "idris", "rts", "ForeignWrapper"]
287 idrisPrimFn = J.Name $ map Ident ["org", "idris", "rts", "PrimFn"]
281 idrisPrimFn = J.Name $ map Ident ["org", "idris", "rts", "PrimFn"]
288 bigInteger = J.Name $ map Ident ["java", "math", "BigInteger"]
282 bigInteger = J.Name $ map Ident ["java", "math", "BigInteger"]
289− stringBuffer = J.Name $ map Ident ["java", "lang", "StringBuffer"]
290 runtimeException = J.Name $ map Ident ["java", "lang", "RuntimeException"]
283 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"]
294 otherHdrs = map ( (\ name -> ImportDecl False name False)
284 otherHdrs = map ( (\ name -> ImportDecl False name False)
295 . J.Name
285 . J.Name
296 . map (Ident . T.unpack)
286 . map (Ident . T.unpack)