git.iko.soy/Idris-dev
on fcb66ca help sign in
history ofsrc/IRTS/Compiler.hs
all commits
68c5bb7Merge pull request #390 from Ralith/vector-ftypesEdwin Brady d9e7912FTy convenience names for fixed-width intsBenjamin Saunders f0c1e19Vector FFI and bitcastsBenjamin Saunders 7eaa86aMake LLVM optional but the defaultNiklas Larsson 773e454Make ChType a member of IntTy ITChar.Jan Bessai 0aa3fd6Beginnings of integer SIMD support (no backend yet)Benjamin Saunders 7b6448eOptimization level selectionBenjamin Saunders f149970Rename --target to --codegen and add options to specify target triple and CPU, defaulting to that of hostBenjamin Saunders 0cbc384Merge branch 'llvm3' of https://github.com/Ralith/Idris-dev into Ralith-llvm3Edwin Brady dad12e6Don't inline for compilation (because the evaluator makes bad choices) Instead, inline the compile-time representation to help the totality checker only. This can cause subexpressions to be duplicated, so should be avoided at run-time. For the run-time representation, inline later at IRTS level.Edwin Brady 14ee023Skeleton of stub-generating LLVM codegenBenjamin Saunders eacfe5cAdded backend target specification to %lib, %link and %include directivesJan Bessai e6d48b6Take care with 'let' in specialiser - avoid duplicating a redex Let now only reduces if the binding appears at most once in scope during specialisationEdwin Brady e4fc71aMerge pull request #322 from raichoo/javascriptEdwin Brady d9435c6New size change graph builder Looks at patterns, rather than case tree, and therefore finds it easier to spot structurally smaller arguments which are more complex.Edwin Brady 2613689javascript: make FFI work with HOFsraichoo 1cf8b7bRevert "Revert "Merge pull request #294 from bitlisp/unified-int-primitives""David Christiansen 05895a5Revert "Merge pull request #294 from bitlisp/unified-int-primitives"Edwin Brady 308efeaFriendly smart constructors for foreign integer typesBenjamin Saunders b1a9e75Merge branch 'master' of git://github.com/edwinb/Idris-dev into unified-int-primitivesBenjamin Saunders 2572b10Parameterized integer FFIBenjamin Saunders a807a34Remove the unused arg from lookup functionsDavid Christiansen 263b017Merge pull request #246 from bitlisp/ffi2Edwin Brady 56a58feMore rigorous checking of validity for mkForeign callsBenjamin Saunders dc91b01Java FFI: imports included and dependencies downloaded via mavenJan Bessai 4358581Refactored Java backend to be more monadic and to allow for the future extension of globalsJan Bessai 2396796Merge branch 'javascript' of https://github.com/raichoo/Idris-dev into raichoo-javascriptEdwin Brady c020e50javascript: split javascript and node targetraichoo 4c5b1bdMerge branch 'master' into bitstringBenjamin Saunders e49ab72Reorder the monad transformers in the Idris monad to allow completionDavid Christiansen 41f3d97Merge branch 'master' of git://github.com/edwinb/Idris-dev into bitstringBenjamin Saunders 57628ffMerge pull request #146 from raichoo/javascriptEdwin Brady b896224Primitive types for groups of 8, 16, 32, and 64 bits, and basic arithmetic and mutual conversion operations on themBenjamin Saunders 4bc6424Compile on GHC 7.0Seo Sanghyeon 12dcee5Merge commit '06fffa315afc0d883f36a6ce971df1123aa6d8e3' into javascriptIrene Knapp 06fffa3JavaScript stuff.Irene Knapp dd5001fmake TT aware of Set -> Typeraichoo bdf11e8Better IO + faster compilation by avoiding needless cases in EVAL/APPLYEdwin Brady 7245290Some tiny RTS optimisationsEdwin Brady c101721Fix Integer matching bugEdwin Brady bbbe563Merge pull request #114 from raichoo/wordEdwin Brady e3d393cAdded the ability to dump bytecode to a fileDaniel Waterworth f6451efword 8/16 primitive typesraichoo fab5d73Adding support for Windows MingW32chetant 758d56aMinor CG changes remove 'replace' calls, and be more careful with --nocoverageEdwin Brady 449bb27Fix allocation of big integersEdwin Brady f50f006Expand backend control options and infrastructureBenjamin Saunders 29c67e9Pattern matching on strings, big integers and charactersEdwin Brady a52bb30Separate compile time and run time inlinings Run time can be more aggressive - compile time needs to be careful since over aggressive inline can make the termination check harder, especially for type class instances.Edwin Brady 7508b64'par' primitive in builtins (not yet implemented)Edwin Brady