git.iko.soy/Idris-dev
on f80809a help sign in
history ofsrc/Util/System.hs
all commits
d13fa5cStrip unreachable code/dataJorge Acereda 3ccb494Remove the empty property 'copyright'.Jan de Muijnck-Hughes 608fbddAdd function for strictly reading sourceNiklas Larsson 29ec929Fold isMinTTY into isATTYRyan Scott fb221e8Allow colored output on MinTTY consoles on WindowsRyan Scott e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan 166760fUse System.FilePath.searchPathSeparator.Steven Shaw 0896073Added documentation for modules.Jan de Muijnck-Hughes 6859fe7Util method for overriding libdir w/ env var.Leif Warner e381fbdFix freestanding buildNiklas Larsson b11c204print removed in case of success, be silent in case of isDoesNotExistErrorHeather 2a53c10rmFile: don't even try removing not existing filesHeather 609835eAllow an extension on tempfilesNiklas Larsson e86b0f6Check for TTY when setting colourNiklas Larsson 8809bf2Ensure that the backend output is UTF8Niklas Larsson b9b19e5Implement bundled toolchain featureNiklas Larsson 4dd164cSet encoding for read files.Niklas Larsson 5300c53Fix :exec on WindowsNiklas Larsson 3725081Remove Cabal library dependency and add more upper boundsbmsherman f27a1ffMove externally useful Util.System functions to IRTS.SystemBrian McKenna fcfbfaaMake GMP optional (default off)Edwin Brady b23ac6eSupport for FreeBSDHannes Mehnert b42116fWhy "do" when you can "<$>"?Leif Warner 3c32b65Whitespace cleanup.George Leontiev 467bb68Java RTS Version bump to include isNull, Maven POM gets installed correctlyJan Bessai 844f927Make --install respect TARGET for .ibc AND objectsLeif Warner f8401d5Remove old ifdefs for supporting base<4 since we require base>=4Benjamin Saunders fc5bd4aneed to update mvn during build as wellChetan Taralekar 59456cdImprove FFI accuracy in executorDavid Christiansen a567873Proper executable and object file creation via maven + need for run_java tests removedJan Bessai a41e971Fix Util.System so that it compiles again...Edwin Brady fd5cddbMore platform agnostic nowChetan T 1d0c6aaFixing compilation in Mingw32Chetan T 1e52324Added simple library packaging system Now used for the prelude (see lib/base.ipkg)Edwin Brady c02a58cAdded fork (but not working properly yet)Edwin Brady 2533b8dAdd missing fileEdwin Brady