git.iko.soy/Idris-dev
on cbc8a13 help sign in
history ofsrc/Idris/Compiler.hs
all commits
dd5001fmake TT aware of Set -> Typeraichoo 16a6c95Set up for adding new compiler back ends more easilyEdwin Brady 7cdb0c0Removed Epic dependencyEdwin Brady 0887715Output C file (not finished...)Edwin Brady ffc7b69First baby steps towards a new RTS (and towards removing epic dependency)Edwin Brady ec631d7Fix default arguments in pattern contextEdwin Brady 6633483Add mkLazyForeign primitiveEdwin Brady 46b7a4eInstall support headers; allow arbitrary types in foreign callsEdwin Brady e7906baAdded support/ directory so that library can use C support filesEdwin Brady 400f858Add effect_ annotations for better IO behaviourEdwin Brady 02003d7Added malloc and trace_malloc *** This will need the latest EpiVM ***Edwin Brady cfc12baBetter name-chasing in CompilerEdwin Brady 6dcf4c3Build a call graph and only compile things which are usedEdwin Brady 247b20cSome minor fiddlingEdwin Brady 6e699c7Add Transform module; make implicit args lazyEdwin Brady 1112fe4Coverage checker Not quite complete - a bug (which I know how to fix) makes some things appear not covering even though they are. Results currently used only for pruning case trees in compiled code. There is a small performance penalty - coverage checking can be disable with --nocoverageEdwin Brady baaba44Run-time forcing optimisationEdwin Brady 02881b1Implemented forcing optimisation Constructor arguments which are inferrable from the indices in the constructor type are erased both at compile-time and run-timeEdwin Brady 598160cMake foreign calls lazily (or they get executed at the wrong time...)Edwin Brady b20f2f8Tinker with compiler interfaceEdwin Brady 49e426aSwitch from readline to haskelineMathnerd314 4804676Compiler saturates constructors before compilingEdwin Brady 53c04f3Don't compile if there are unsolved metavariablesEdwin Brady 0bc69fbAdded prelude.strings, made believe_me primitiveEdwin Brady 6d01c6bCompile io bind specially, to make sure effectful thunks are not memoisedEdwin Brady 11d4feeSome file handlingEdwin Brady 8f77986Added some serialisationEdwin Brady 57c8ed3Added 'module' keyword to declare default namespace. 'main' must be in namespace 'main'Edwin Brady b26716aCollect cumulativity constraints on universesEdwin Brady bbaa193Better representation of namesEdwin Brady f9a0008Added 'believe_me'Edwin Brady 925648aAdd %include directiveEdwin Brady 9a59cb5Add FalseElim as a primitiveEdwin Brady 4931c20Added Integer (but an Epic bug prevents them compiling properly)Edwin Brady 5afe678Added log/exp (and lib/link directives)Edwin Brady 2c05448Give invented pattern variables unique namesEdwin Brady ffc64e3Add mechanism for simplification and function optionsEdwin Brady a4a77bfMake do notation use Monad classEdwin Brady 1155e79Laziness annotationsEdwin Brady 6757c47Added case analysis on types, but only when enabled with --typecase (since it breaks parametricity)Edwin Brady bf368abFirst attempt at with ruleEdwin Brady 12bd089Added lifting of unsolved metavariables to global functionsEdwin Brady 1c9392etinker tinkerEdwin Brady bda1f6fMore of the compilerEdwin Brady 4436bcbAdded Idris.CompilerEdwin Brady