git.iko.soy/Idris-dev
on f652e05 help sign in
history ofsrc/Idris/AbsSyntaxTree.hs
all commits
bdf2d7aRemove pretty printing reduction limitEdwin Brady d52e4f3Add source location data to PUniverseBartosz Przygoda cb210b1Addition of a command line flag `--info`.Jan de Muijnck-Hughes 3a3976bBetter pretty printing of case blocksEdwin Brady 9baa5ceUse GHC generics for NFData instancesEcho Nolan 08cef17HLint DIrected Code CleanupJan de Muijnck-Hughes 8442cefDeprecate '%assert_total'Edwin Brady 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