@@ -58,19 +58,19 @@ getObjectFiles :: Codegen -> Idris [FilePath]
5858getObjectFiles tgt = do i <- getIState; return (forCodegen tgt $ idris_objs i)
5959
6060addObjectFile :: Codegen -> FilePath -> Idris ()
61−addObjectFile tgt f = do i <- getIState; putIState $ i { idris_objs = nub $ (tgt, f) : idris_objs i }
61+addObjectFile tgt f = do i <- getIState; putIState $ i { idris_objs = nub $ idris_objs i ++ [(tgt, f)] }
6262
6363getLibs :: Codegen -> Idris [String]
6464getLibs tgt = do i <- getIState; return (forCodegen tgt $ idris_libs i)
6565
6666addLib :: Codegen -> String -> Idris ()
67−addLib tgt f = do i <- getIState; putIState $ i { idris_libs = nub $ (tgt, f) : idris_libs i }
67+addLib tgt f = do i <- getIState; putIState $ i { idris_libs = nub $ idris_libs i ++ [(tgt, f)] }
6868
6969getFlags :: Codegen -> Idris [String]
7070getFlags tgt = do i <- getIState; return (forCodegen tgt $ idris_cgflags i)
7171
7272addFlag :: Codegen -> String -> Idris ()
73−addFlag tgt f = do i <- getIState; putIState $ i { idris_cgflags = nub $ (tgt, f) : idris_cgflags i }
73+addFlag tgt f = do i <- getIState; putIState $ i { idris_cgflags = nub $ idris_cgflags i ++ [(tgt, f)] }
7474
7575addDyLib :: [String] -> Idris (Either DynamicLib String)
7676addDyLib libs = do i <- getIState