git.iko.soy/Idris-dev
on f0a67ff help sign in
history ofsrc/Idris/AbsSyntaxTree.hs
all commits
fdfa04cStore file with constraints + exportEdwin Brady 4ed9c1bAdded %thaw directiveEdwin Brady c70672dFix ordering of dependent patterns/implicitsEdwin Brady ef0ce29Set a limit on partial evaluation depthEdwin Brady 0896073Added documentation for modules.Jan de Muijnck-Hughes 2cfcbcfPositivity checking under parametersEdwin Brady 1019ce5Source file stylings & Haddock.Jan de Muijnck-Hughes e34849fPrettier printing in case splittingEdwin Brady d2a8c3eFold portable into CodegenNiklas Larsson 80225afExport intermediate representation as JSONNiklas Larsson 5a937ccMore flexibility in constraint argumentsEdwin Brady 9297ae4Allow 'data' declarations in interfacesEdwin Brady a41ca33Merge branch 'master' of https://github.com/idris-lang/Idris-dev into colin-adams-coveringAhmad Salim Al-Sibahi 254a227More control over resolving named implementationsEdwin Brady 4ce82f8Pass scope through to local interfacesEdwin Brady 41e3c52Added covering as a possible value for %defaultColin Adams c6c47aeMerge pull request #3118 from jfdm/fragile-directiveJan de Muijnck-Hughes 6b64e74Fixed formatting of directives adt.Jan de Muijnck-Hughes c56d5cfAddition of a Fragile directive.Jan de Muijnck-Hughes c2b01ccmkUniqueName fixEdwin Brady b92f7acNew implementation of rewriteEdwin Brady c7bac29Extended syntax for 'with' blocksEdwin Brady c9d2027Use exact name lookup for hidingEdwin Brady 92a4d84Implicit bindings warningsEdwin Brady a7f75c5Merge branch 'feature/deppairparsing' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/deppairparsingEdwin Brady eaf5211Add the ability to define datatypes in ElabDavid Raymond Christiansen be0ff0fAdd 'definable' flag to metavariablesEdwin Brady a009be6Allow setting function flags on instancesEdwin Brady fdfd99eFix behaviour of %hideEdwin Brady fd2501bRenamed `DepPair` to DPairJan de Muijnck-Hughes 5e0e4e9Renamed `UniquePair` to `UPair`.Jan de Muijnck-Hughes 8ed216aRenamed `UPair` to `UniquePair`Jan de Muijnck-Hughes 2951828Idris/AST: minor readability improvementsHeather 8a9ca44Added %auto_implicits directiveEdwin Brady eba5123Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady e3e35a5New rules for name visibilityEdwin Brady faf0b57Merge pull request #2906 from ahmadsalim/feature/uniformstaticanotationJan de Muijnck-Hughes 6042cfeKeep track of names defined in current moduleEdwin Brady 0175376Remove some unnecessary fieldsEdwin Brady be33df4Force sharing of TT sub terms when loading ibcEdwin Brady 8fb4f7fChanged the '[static]' annotation to '%static', for uniformity with the rest of the language.Ahmad Salim Al-Sibahi 9e8930dMerge pull request #2857 from LeifW/watch_files_for_changesEdwin Brady 4d0a065Change "class/instance" keywordsEdwin Brady d77753dMerge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/deppairparsingAhmad Salim Al-Sibahi fd9003bAdded flag to display available logging categories.Jan de Muijnck-Hughes 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 51e6a29Added a :watch command to the repl to watch for file changesLeif Warner d901c69Initial commit for a category based logger for Idris.Jan de Muijnck-Hughes