git.iko.soy/Idris-dev
on ab2a29f help sign in
history ofsrc/IRTS/Compiler.hs
all commits
8e6b636Optimisation optionsEdwin Brady 674b58fFactor out LLVM backendMarkus Pfeiffer f905a79javascript: lift out node backendraichoo 31de6bejavascript: lift out javascript backendraichoo a570354Fix LLVM build problemEdwin Brady 8353de5Find updatable constructors after destructive caseEdwin Brady a1fb7a3Inline with blocksEdwin Brady 5695e4cDo some inlining in Lang IREdwin Brady e5d1956Propagate constructor updates to bytecodeEdwin Brady cdbfec9Propagate CaseType through IRsEdwin Brady 218c735Mark 'case' on unique types as updatableEdwin Brady 9abbc3fCache uniqueness information in NameTypeEdwin Brady 783ddc3Invoke external code generatorEdwin Brady 93f407dUse strings for code generatorsEdwin Brady 788f800Record import paths in ibcEdwin Brady 4ca8e46Fix data ctor arity comparison.Matus Tejiscak 32d47a5Ensure erasure happens under 'force'Edwin Brady 67f7373Support builds that doesn't use cabal for libs and rtsniklas 7143962Make totality a warning until compilingDavid Raymond Christiansen 92d7b51Fix boolElim optimisationEdwin Brady e2249c0Add workaround for some non-trivial case-matches on detaggable data.Matus Tejiscak d7e4bfaFix indentation.Matus Tejiscak fb3d76cAdd a check for missed newtype optimisations.Matus Tejiscak 8e3d3c0Fix erasure from data constructors.Matus Tejiscak 4be2fbaAllow second argument of assert_smaller to be of different type than first argument since this could be useful for functions that are written with Universe-style pattern matching, i.e., where the rhs pattern has different type than the lhs expression.Ahmad Salim Al-Sibahi 24ced57Fix name confusion.Matus Tejiscak 013d766Use ASTUtils in Compiler.hs.Matus Tejiscak 171e45bExact name lookups in getArity.Matus Tejiscak 4bc8589Improve --dumpcases.Matus Tejiscak 5f93139Move forcing to Compiler.hs.Matus Tejiscak 0203531Fix case-inspection of lazy values.Matus Tejiscak 779ecf2Fix laziness in Compiler.hs.Matus Tejiscak 2604c1dFix compilation of applied de bruijn vars.Matus Tejiscak 4e1d50eUse method info to erase stuff in Compiler.hs.Matus Tejiscak cee5985Recognise instance constructors in Compiler.hs.Matus Tejiscak 5bdfe51Comment clarification.Matus Tejiscak ca257e0Remove commented-out dead code.Matus Tejiscak 67b01ecRefactor Compiler.hs.Matus Tejiscak 37b3f6cAdd instance ctor application analysis.Matus Tejiscak 826fa9cReplace projections from instance ctors with special names.Matus Tejiscak e8c6a5barity in Compiler a bit safer.Matus Tejiscak b7d5cbcBroaden cover of getArity.Matus Tejiscak 7f5043aRespect unused args in case-projections from data ctors.Matus Tejiscak 7408d94Add newtype-case elimination.Matus Tejiscak b51cf28Include erasure in data constructors.Matus Tejiscak 080a291Compile data ctors with real arity.Matus Tejiscak 5b62302Add "detaggable" as an argument to OptInfo.Matus Tejiscak c1f89faRemove the last occurrence of "force".Matus Tejiscak 7688a12More small fixes.Matus Tejiscak f8e2582Erase unused case-branches.Matus Tejiscak