git.iko.soy/Idris-dev
on c9883e6 help sign in
history ofsrc/Idris/AbsSyntax.hs
all commits
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 0dec4a1Fix name substitution in with functionsEdwin Brady c56d5cfAddition of a Fragile directive.Jan de Muijnck-Hughes c2b01ccmkUniqueName fixEdwin Brady 6c5b2e3Run addImpl under caseEdwin Brady b92f7acNew implementation of rewriteEdwin Brady c7bac29Extended syntax for 'with' blocksEdwin Brady 92a4d84Implicit bindings warningsEdwin Brady 4c9b9efauto_implicit fixEdwin Brady c1decafFix implicit name bindings in interfacesEdwin Brady cda5443Insert _ for implicit methodsEdwin Brady 6520891Unify pattern and implicit name binding rulesEdwin Brady 76c46bbMore flexible holesEdwin Brady be0ff0fAdd 'definable' flag to metavariablesEdwin Brady a009be6Allow setting function flags on instancesEdwin Brady fdfd99eFix behaviour of %hideEdwin Brady 2951828Idris/AST: minor readability improvementsHeather 8a9ca44Added %auto_implicits directiveEdwin Brady e3e35a5New rules for name visibilityEdwin Brady