git.iko.soy/Idris-dev
on master help sign in
history of79e6bf7..master
compare
9e75132More operations on listsJohn Dobronszki 295409bUncomment truncate.Greg Pfeil 0661ec0Add scanl for Vect.Greg Pfeil 3e651d3Only useful information is now fetched, and the index.html file is properly generated.Philip Rasmussen 9760a72Further simplification of expression parsing for better error handling such as lists and constant literals.Ahmad Salim Al-Sibahi 6c835daAdd a bunch of docstrings to Prelude.StringsPeter Minten 476fb25Workaround Travis skip of last commit.Ahmad Salim Al-Sibahi 3f40461javascript: make folding002 passraichoo a461b62javascript: make bounded001 passraichoo b3bf583javascript: initial Bits16 supportraichoo 64f7716javascript: initial Bits8 supportraichoo be534deAdd Foldable for SortedSetBrian McKenna 2482044Merge remote-tracking branch 'upstream/master' into idrisdocPhilip Rasmussen 5159ad4Remove ":m" as a shortcut for ":module" in help as it is used for ":metavars". Remove argument for ":metavars" as it doesn't take any.Ahmad Salim Al-Sibahi b283c0dFix some reachability warnings with EffEdwin Brady 91043ccRemove Ord constraints from SortedMap toListBrian McKenna dd44389Merged with masterPhilip Rasmussen f21ab67Comment on grammar fix [ci skip]Ahmad Salim Al-Sibahi 16f7da4Increment IBC (due to clash with earlier commit)Edwin Brady 6c3d33cFix totality of rebuildEnvEdwin Brady 4940097Improves parsing of function application expressionsAhmad Salim Al-Sibahi 08fbb4eSimplified some lookaheads and grammar rules for lambda expressions and other internal expressions.Ahmad Salim Al-Sibahi 8cd3ea5Support "Main.main" in other namespaces.Matus Tejiscak 3048f4cAdd more lookupCtxtExact's.Matus Tejiscak ff06b31More exact lookup in erasure.Matus Tejiscak 171e45bExact name lookups in getArity.Matus Tejiscak 7c9b73bSupport certain ProjCase's in usage analysis.Matus Tejiscak 08ddbaaReformulate decEq for Vect.Matus Tejiscak 4bc8589Improve --dumpcases.Matus Tejiscak 0d1d746Use dots to join pretty-printed LCases.Matus Tejiscak b44cf97Reformat prune.Matus Tejiscak 183169cImprove reporting of reachable postulates.Matus Tejiscak dd502ecRemove debug printouts.Matus Tejiscak a88053bAdd idris_postulates to IBC.Matus Tejiscak ba81129Even prettier printing of LExps.Matus Tejiscak 5a8e4f4Improve indentation of LExp.Matus Tejiscak 5f93139Move forcing to Compiler.hs.Matus Tejiscak 0203531Fix case-inspection of lazy values.Matus Tejiscak 128d070Remove some dead code.Matus Tejiscak eedf489Remove collapsibility and forceability altogether.Matus Tejiscak 5c0c63aImprove comments.Matus Tejiscak 4957a33Make --nowarnreach the default (for now).Matus Tejiscak 779ecf2Fix laziness in Compiler.hs.Matus Tejiscak 64353d2Don't prune improjectible case-trees.Matus Tejiscak 7ada264Fix case-tree projection transformation.Matus Tejiscak 30ba576Fix a mismerge.Matus Tejiscak 014f993Add --nowarnreach to two tests.Matus Tejiscak 843238dFix usage in reg025.Matus Tejiscak adc7d08Fix usage for __MkPair.Matus Tejiscak 644f093Require postulate unreachability instead of collapsibility.Matus Tejiscak