git.iko.soy/Idris-dev
on 3f24fac help sign in
history ofsrc/IRTS/CodegenCommon.hs
all commits
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