git.iko.soy/Idris-dev
on bf4e535 help sign in
history ofsrc/Idris/Erasure.hs
all commits
5d269e3:exec can take an expression as an argumentEdwin Brady fc02362Support externally defined primitivesEdwin Brady 5ae43bbSupport IO in foreign exportsEdwin Brady d4371e6Generate interface files for C->Idris callsEdwin Brady 4313defPass export lists to CodegenInfoEdwin Brady f7648dbForeign export lists in IOEdwin Brady e6235efErasure should ignore Type*/UniqueTypeEdwin Brady 8096500Add %used pragmaEdwin Brady 0011835Make functions work in JS FFIEdwin Brady d5377beNew language-dependent FFIEdwin Brady 17fe233Add scoped implicit argument to PiEdwin Brady 764d6a7Ignore FnCase in ErasureEdwin Brady 7f4c874Remove dep sets from bound variables.Matus Tejiscak edb9980Removed '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match upAhmad Salim Al-Sibahi f0ed9e9First renaming attemptAhmad Salim Al-Sibahi 7e7368dStore kind in Pi bindersEdwin Brady 218c735Mark 'case' on unique types as updatableEdwin Brady 9abbc3fCache uniqueness information in NameTypeEdwin Brady 21124c3Merge remote-tracking branch 'upstream/master' into cantResolveAltsbmsherman 9907240Add new Err constructor to disambiguate the CantResolveAlts constructor.bmsherman c0f4475Remember names of deBruijn variables.Matus Tejiscak 17ff3b5Add erasure postulates for unsafePerformPrimIO.Matus Tejiscak e38b6c1Make the rest of erasure use ASTUtils.Matus Tejiscak 8cd3ea5Support "Main.main" in other namespaces.Matus Tejiscak 3048f4cAdd more lookupCtxtExact's.Matus Tejiscak ff06b31More exact lookup in erasure.Matus Tejiscak 171e45bExact name lookups in getArity.Matus Tejiscak 7c9b73bSupport certain ProjCase's in usage analysis.Matus Tejiscak 183169cImprove reporting of reachable postulates.Matus Tejiscak dd502ecRemove debug printouts.Matus Tejiscak a88053bAdd idris_postulates to IBC.Matus Tejiscak eedf489Remove collapsibility and forceability altogether.Matus Tejiscak 4957a33Make --nowarnreach the default (for now).Matus Tejiscak adc7d08Fix usage for __MkPair.Matus Tejiscak 644f093Require postulate unreachability instead of collapsibility.Matus Tejiscak dd09721Include local variables in instance ctor applications.Matus Tejiscak 4e1d50eUse method info to erase stuff in Compiler.hs.Matus Tejiscak cee5985Recognise instance constructors in Compiler.hs.Matus Tejiscak 993b57bFix instance ctor application analysis.Matus Tejiscak 37b3f6cAdd instance ctor application analysis.Matus Tejiscak 50c4fe2Revert to using metamethods.Matus Tejiscak 101f6afUse proper method names for class methods.Matus Tejiscak e737c97Handle methods correctly in usage analysis.Matus Tejiscak 27fbd56Add method deps.Matus Tejiscak e31205dAdd method info to variables.Matus Tejiscak 7ce8729Carry context with vars in Erasure.hs.Matus Tejiscak 872c17dBetter naming of generated instance fields.Matus Tejiscak 826fa9cReplace projections from instance ctors with special names.Matus Tejiscak bfd9900Add --nowarnreach.Matus Tejiscak b7d5cbcBroaden cover of getArity.Matus Tejiscak