git.iko.soy/Idris-dev
on 9b372d8 help sign in
history ofsrc/Idris/AbsSyntaxTree.hs
all commits
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 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