git.iko.soy/Idris-dev
on bd8ea0a help sign in
history ofsrc/IRTS/Compiler.hs
all commits
c03398dFix whitespaceJason Felice 7e800caSmall tweak to inliningEdwin Brady d4bd8e6Clean up unused imports (#4065)Jason Felice 3ad2672Prefer to load imports from the current packageNiklas Larsson 63944aaSimplify LV/DV constructor be removing unused caseThomas Scholtes fab515fAdd a low-level log statement for erasure step.Jan de Muijnck-Hughes 5d7388bMove extensions into source filesEdwin Brady 4a1c2a1Refactoring: Move options out of AbsSyntaxNiklas Larsson b30e112add a type alias for the TT Declaration as it is getting unwieldyjoe9 2339c66add TT to CodegenInfojoe9 89dd6aeCheck linearity of functionsEdwin Brady a5033e7Add linear LamEdwin Brady 7f0a137Improved User facing progress reporting.Jan de Muijnck-Hughes cf61801Reverted changes to verbosity reporting.Jan de Muijnck-Hughes 4a5c677Add 'idris_crash'Edwin Brady 15b0829Improve progress reporting.Jan de Muijnck-Hughes e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan 0df1270Change Instance to implementation (#3404)(λ _ λ) c3f0755replace code level class symbol with inferfacezjhmale 96e583cFix compilation of Delay patternEdwin Brady 08cef17HLint DIrected Code CleanupJan de Muijnck-Hughes 8442cefDeprecate '%assert_total'Edwin Brady 0896073Added documentation for modules.Jan de Muijnck-Hughes d2a8c3eFold portable into CodegenNiklas Larsson 80225afExport intermediate representation as JSONNiklas Larsson 9297ae4Allow 'data' declarations in interfacesEdwin Brady 6cbfdd3Never compile 'void'Edwin Brady 4e762eeSome debug infoEdwin Brady c6ec808Allow programs with holes to be compiledEdwin Brady e3e35a5New rules for name visibilityEdwin Brady 39a8c78Categorised the Logs.Jan de Muijnck-Hughes d5b66a9Show source location of case block namesDavid Raymond Christiansen b19d03cRemove --yes-reallyNiklas Larsson cb11c39Cleanup in Compiler.hsNiklas Larsson 8564250Allow pattern matching on BitX constantsNiklas Larsson 18450ffavoid confusion between the compiler and codegensСухарик f5bff01Pass parameters to codegens with new cmdoption --cg-optNiklas Larsson a3407cbDisplay 'Hole' instead of 'Metavariable'Edwin Brady 202c913Logging levels must be explicitly mentioned.Jan de Muijnck-Hughes 90127b3High-level if ... then ... else ... expressionDavid Raymond Christiansen f987aecAdd info field to AppEdwin Brady 5d269e3:exec can take an expression as an argumentEdwin Brady fc02362Support externally defined primitivesEdwin Brady d4371e6Generate interface files for C->Idris callsEdwin Brady f7648dbForeign export lists in IOEdwin Brady 1950393Use FDesc for foreign targetEdwin Brady 9150698Primitive type for world stateEdwin Brady d5377beNew language-dependent FFIEdwin Brady 02b6087Merge pull request #1743 from jfdm/fix/lift-fixme-todo-1Edwin Brady cbb40b1Lifted TODO/FIXME from IRTS/Compiler.hsJan de Muijnck-Hughes