git.iko.soy/Idris-dev
on master help sign in
history of95e1d27..master
compare
9855481Update System.idrAndrew Stewart Gibson d77753dMerge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/deppairparsingAhmad Salim Al-Sibahi e10d854Allowed mixed parsing of dependent pairsAhmad Salim Al-Sibahi 101a2e9Refactored a big part of parsingAhmad Salim Al-Sibahi 1b3bffaProver.hs: foldl (++) [] . map -> concatMapHeather 79d43a7Merge branch 'master' of github.com:idris-lang/Idris-devAaron Craelius d36eeeaAdded totality checks to Effects reordering functions and a %assert_total directive for dropEnv where I cannot figure out how to deal with the failing case (which I'm pretty sure is impossible).Aaron Craelius 504f706Merge pull request #2877 from melted/fix-freestandingNiklas Larsson e381fbdFix freestanding buildNiklas Larsson 07a80b2Make Data.String functions available.Imuli 6b74ec6Merge pull request #2868 from jfdm/logging-docsJan de Muijnck-Hughes d3d679eMerge pull request #2869 from jfdm/list-categoriesJan de Muijnck-Hughes 6dc452eupdate the PR about 'desugars' -> 'displays ... as ...' in the tutorial, according to christiansen's advises.XIE Yuheng fd9003bAdded flag to display available logging categories.Jan de Muijnck-Hughes ec3a454Fixes #2865 by adding documentation for category-based logging.Jan de Muijnck-Hughes b3db250Merge pull request #2867 from jfdm/saner-stack-defaultsJan de Muijnck-Hughes a8e9ec5Merge pull request #2856 from jfdm/log-by-categoryJan de Muijnck-Hughes 69846d9Saner defaults for stack and revised installation instructions.Jan de Muijnck-Hughes 5f3e700Added new logging category for IBC operations.Jan de Muijnck-Hughes 9255de5Logging Categories: Fixed typo, and updated changelog.Jan de Muijnck-Hughes b9f4de7First attempt at getting order-independent Effects working.Aaron Craelius 39a8c78Categorised the Logs.Jan de Muijnck-Hughes 5dc9d1aUpdated logging categories.Jan de Muijnck-Hughes 9c99198Merge pull request #2853 from jfdm/time-testsJan de Muijnck-Hughes a86558aMerge pull request #2861 from ozgurakgun/masterDavid Christiansen 7625799Increment patch version numberEdwin Brady 927332ffix typo in tutorial : 'desugars' -> 'displays ... as ...'XIE Yuheng 33930f1Collection of times during tests optional.Jan de Muijnck-Hughes 5ffdb61Updated timing tests to print using printf.Jan de Muijnck-Hughes 04d7f57Added calculation fof entire test suite run.Jan de Muijnck-Hughes 9cfd857Gather timing data for tests.Jan de Muijnck-Hughes 2da8c19Merge pull request #2860 from ozgurakgun/fix-typoDavid Christiansen 752174funiverse inconsistency errors can originate from two places. make the error message consistent between these two.Ozgur Akgun eeb1384debuggging --> debuggingOzgur Akgun ff1dc88Fix File effectEdwin Brady 51e6a29Added a :watch command to the repl to watch for file changesLeif Warner acbcadbUnrelated misc golf.Leif Warner bf4bdccChange file operation namesEdwin Brady 75aa4dfMerge pull request #2858 from LeifW/remove_zlib_constraint_on_new_ghcEdwin Brady e6307e8Merge pull request #2855 from jfdm/test-stack-awareEdwin Brady e617f01Merge pull request #2849 from aaronc/masterEdwin Brady 161deaaMerge pull request #2854 from jfdm/sphinx-doc-fixesEdwin Brady 5368429Merge pull request #2852 from jfdm/dev-docs-improvementsEdwin Brady a8ddd00Merge pull request #2841 from norm2782/masterEdwin Brady 32cc7dcMerge pull request #2859 from ziman/fix-segfaultEdwin Brady 2767cd4Merge pull request #2825 from Garciat/patch-1Edwin Brady 6f641e1Merge pull request #2824 from eklavya/masterEdwin Brady c34329dMerge pull request #2769 from lenary/annotate-prelude-with-usedEdwin Brady 45e67fdAdd a regression test.Matus Tejiscak 5b17ff0Fix segfault in case-lambdas.Matus Tejiscak