git.iko.soy/Idris-dev
on 2fc1fc6 help sign in
history ofsrc/Idris/AbsSyntaxTree.hs
all commits
b7cf1ecFix delab of scoped implicitsEdwin Brady 57068a9When asked Idris will 'audit' Idris projects.Jan de Muijnck-Hughes ebf9367Make partial evaluator off by defaultEdwin Brady 0ceaa30Deal with interfaces in totality differentlyEdwin Brady bc553c7%error_reduce for more control over errorsEdwin Brady ab56c6f'case' in interface methods now worksEdwin Brady 436dc13removed dead code idris_whocalls and idris_callswho fields of the IState recordjoe9 9e69858Fixed unstylized things in Idris and stylize.sh scriptAhmad Salim Al-Sibahi a463bb1Collected language PRAGMAs and removed debugging commentsAhmad Salim Al-Sibahi fb33d8cIndentation configuration via command line args.Steven Shaw a5033e7Add linear LamEdwin Brady 2f3c9a5Add RigCount to pattern bindingsEdwin Brady 491633bSyntax for linear argumentsEdwin Brady 488c5b7Add RigCount to PPi/PlicityEdwin Brady e1c210bAdd 'RigCount' to Pi and PVarEdwin Brady 7f0a137Improved User facing progress reporting.Jan de Muijnck-Hughes 32c2467Account for 'let' with unbound implicitsEdwin Brady 4a5c677Add 'idris_crash'Edwin Brady 714de35Fix verbosity configuration error.Jan de Muijnck-Hughes 58c3bb7Hide more features behind %language pragmasEdwin Brady 8ea27aeRemove a needless 'nub'Edwin Brady 0f3e4e3Apply forcing optimisation on LHSEdwin Brady 001dfedFix a source of major slownessEdwin Brady 7537cc4Change totality checking and inliningEdwin Brady 4057b48Modify pretty printer for lambdasEdwin Brady 9ca1d73Print interface parameter constraints in :docOskar Wickström f467346Detect implicit parameters to interfacesEdwin Brady 8c2a516Overidable overlapping implementation checkEdwin 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 4615cffMerge pull request #3399 from enolan/hot-commentsAhmad Salim Al-Sibahi 06d9db6Use interface instead class or type class in documentations (#3379)(λ _ λ) be27074Allow specifying "--port none" to not start the interpreter serverEcho Nolan 9c636f4Remove a bunch of "deriving instance NFData" hot commentsEcho Nolan e0c893cMerge pull request #3381 from david-christiansen/purificationDavid Christiansen 160eb14Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 7c1a2c6Add %static annotation on functionsEdwin Brady 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 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