git.iko.soy/Idris-dev
on f652e05 help sign in
history ofsrc/Idris/AbsSyntax.hs
all commits
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 6042cfeKeep track of names defined in current moduleEdwin Brady 0175376Remove some unnecessary fieldsEdwin Brady f7a9c28Tweak implicit name rulesEdwin Brady be33df4Force sharing of TT sub terms when loading ibcEdwin Brady 5f3e700Added new logging category for IBC operations.Jan de Muijnck-Hughes 39a8c78Categorised the Logs.Jan de Muijnck-Hughes 5dc9d1aUpdated logging categories.Jan de Muijnck-Hughes d901c69Initial commit for a category based logger for Idris.Jan de Muijnck-Hughes 06edf43Add implicit lambdas for top level implicitsEdwin Brady c6a8862Add %deprecate directiveEdwin Brady da914afConsistency of implicit/pattern name binding rulesEdwin Brady 83f0af1Display expected type of RHS in error messagesEdwin Brady f1ff8fbMerge pull request #2634 from david-christiansen/namesInQQDavid Christiansen 92c1959Respect quotation when expanding parametersDavid Raymond Christiansen 6d7d3bdMerge pull request #2630 from david-christiansen/namesInQQDavid Christiansen