git.iko.soy/Idris-dev
on bd8ea0a help sign in
history ofsrc/Idris/AbsSyntax.hs
all commits
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 80225afExport intermediate representation as JSONNiklas Larsson 9297ae4Allow 'data' declarations in interfacesEdwin Brady 254a227More control over resolving named implementationsEdwin Brady 4ce82f8Pass scope through to local interfacesEdwin Brady c6c47aeMerge pull request #3118 from jfdm/fragile-directiveJan de Muijnck-Hughes b57da9dPattern matching lambda fixEdwin Brady