git.iko.soy/Idris-dev
on 2418112 help sign in
history ofsrc/Idris/AbsSyntax.hs
all commits
eb41a1dAllow capitalized pattern variables via switchAhmad Salim Al-Sibahi db69077Fix binding rules in patternsEdwin Brady 3ccb494Remove the empty property 'copyright'.Jan de Muijnck-Hughes eabb922Merge pull request #4095 from asandroq/fix-flag-argument-orderAhmad Salim Al-Sibahi 4a3fe0cLinearTypes extension improvementsEdwin Brady 3f7ae18Pass directives to C backend in given order (#4078)Alex Queiroz 83bb62fUnused binds (#4067)Jason Felice 20236a9Remove FIXME.Steven Shaw 5950e1ePrevent private functions showing up in autocomplete and :t.Steven Shaw 3ad2672Prefer to load imports from the current packageNiklas Larsson 5d7388bMove extensions into source filesEdwin Brady 4a1c2a1Refactoring: Move options out of AbsSyntaxNiklas Larsson 4ade674Fix disambiguation on LHSEdwin Brady bc553c7%error_reduce for more control over errorsEdwin Brady 9b28211Stylize fixesEdwin Brady ab56c6f'case' in interface methods now worksEdwin Brady 88faa10Reorganise interface elaborationEdwin Brady 81c8db7Fixed inequality test when generating inference constraintsAhmad Salim Al-Sibahi a463bb1Collected language PRAGMAs and removed debugging commentsAhmad Salim Al-Sibahi fb33d8cIndentation configuration via command line args.Steven Shaw 488c5b7Add RigCount to PPi/PlicityEdwin Brady e1c210bAdd 'RigCount' to Pi and PVarEdwin Brady 7f0a137Improved User facing progress reporting.Jan de Muijnck-Hughes 58c3bb7Hide more features behind %language pragmasEdwin Brady 001dfedFix a source of major slownessEdwin Brady 521b8bfRemove unused case tree codeEdwin Brady 7537cc4Change totality checking and inliningEdwin Brady 9ca1d73Print interface parameter constraints in :docOskar Wickström f467346Detect implicit parameters to interfacesEdwin Brady e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan de5a79cAllow Idris to install IdrisDoc into a central location.Jan de Muijnck-Hughes 0df1270Change Instance to implementation (#3404)(λ _ λ) 16b0fe8Merge pull request #3396 from enolan/port-noneAhmad Salim Al-Sibahi 06d9db6Use interface instead class or type class in documentations (#3379)(λ _ λ) be27074Allow specifying "--port none" to not start the interpreter serverEcho Nolan f754d9cPurify Idris of "return"David Christiansen c3f0755replace code level class symbol with inferfacezjhmale 769301bAdded `--sourcepath` optionAhmad Salim Al-Sibahi 7973024Some internal structural Changes.Jan de Muijnck-Hughes 08cef17HLint DIrected Code CleanupJan de Muijnck-Hughes 8897b31Fix evaluation/elaboration of holes in expressionsEdwin Brady a854972Small reduction in constraint generationEdwin Brady fdfa04cStore file with constraints + exportEdwin Brady ab2be8dFix shadowing in let bindingsEdwin Brady c2446faMerge pull request #3196 from Melvar/instate-parentnEdwin Brady c70672dFix ordering of dependent patterns/implicitsEdwin Brady 22792d2Use ParentN for its intended purposeMelvar Chen 0896073Added documentation for modules.Jan de Muijnck-Hughes 1019ce5Source file stylings & Haddock.Jan de Muijnck-Hughes d2a8c3eFold portable into CodegenNiklas Larsson