git.iko.soy/Idris-dev
on 385dcbf help sign in
history ofsrc/Idris/ASTUtils.hs
all commits
4a1c2a1Refactoring: Move options out of AbsSyntaxNiklas Larsson 024663cMerge pull request #3475 from enolan/stylish-travisEdwin Brady 89dd6aeCheck linearity of functionsEdwin Brady 0f3e4e3Apply forcing optimisation on LHSEdwin Brady 001dfedFix a source of major slownessEdwin Brady 3fc435fTurn on some LANGUAGE pragmas to make stylish-haskell happy.Echo Nolan e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan c3f0755replace code level class symbol with inferfacezjhmale 0896073Added documentation for modules.Jan de Muijnck-Hughes 1019ce5Source file stylings & Haddock.Jan de Muijnck-Hughes 9297ae4Allow 'data' declarations in interfacesEdwin Brady 0175376Remove some unnecessary fieldsEdwin Brady d8de21fAdd export listsNiklas Larsson 10a5bd6Tidy up the IState when classes are undefinedAlyssa Carter 4d33a16Fixity declarations work in the repl now.Alyssa Carter 5c4f5d2Added an :unlet/:undefine command.Alyssa Carter 10509f6Add support for :set warnreach.Matus Tejiscak cedcd6eUpdate comments.Matus Tejiscak 8081528Make Ctxt lookups more straightforward in ASTUtils.Matus Tejiscak beae872Add comments.Matus Tejiscak e38b6c1Make the rest of erasure use ASTUtils.Matus Tejiscak eedcec1Fix inaccessibility elaboration.Matus Tejiscak bb6873cAdd ASTUtils.Matus Tejiscak