git.iko.soy/Idris-dev
on ca34dec help sign in
history ofsrc/IRTS/CodegenCommon.hs
all commits
3ccb494Remove the empty property 'copyright'.Jan de Muijnck-Hughes b30e112add a type alias for the TT Declaration as it is getting unwieldyjoe9 2339c66add TT to CodegenInfojoe9 e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan 9baa5ceUse GHC generics for NFData instancesEcho Nolan 0896073Added documentation for modules.Jan de Muijnck-Hughes 4de5a73Deprecate the `MavenProject` output option.Jan de Muijnck-Hughes 6859fe7Util method for overriding libdir w/ env var.Leif Warner 581b884Cleanup env var lookupLeif Warner d4371e6Generate interface files for C->Idris callsEdwin Brady f7648dbForeign export lists in IOEdwin Brady 8e6b636Optimisation optionsEdwin Brady f675e05Add CodegenInfo structure, give CGs uniform typesEdwin Brady 5000aebAdd a Cabal libraryBrian McKenna 630c8b4Adds the ability to keep around the generated maven projectJan Bessai f8401d5Remove old ifdefs for supporting base<4 since we require base>=4Benjamin Saunders aa0693eDisambiguate catch explicitly in CodegenCommonEdwin Brady f50f006Expand backend control options and infrastructureBenjamin Saunders