git.iko.soy/Idris-dev
on master help sign in
history of0abbd53..master
compare
48d6a6bUpdate for renamed operatorsDavid Raymond Christiansen 2d563b0Changed <$ and $> to <* and *>Tenor Biel b5f2e4dChanged test expectations to support new Prelude operatorsTenor Biel 4d16a95Changed desugaring behavior to use <*> instead of <$>Tenor Biel 44bdf1dChanged (<$>) to (<*>)Tenor Biel b5372b5Removed argument customization for now.Sune Alkærsig 681d876Merge branch 'master' into agda-style-recordsSune Alkærsig 3b5790cNamed lambda,let,pi in dsl blockChetan Taralekar 769bae3Merge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/betteroperatormessageAhmad Salim Al-Sibahi ef906d3Fixed test error due to improved error message (the test had expected the old message)Ahmad Salim Al-Sibahi 41711c7stripLinear needs to check dependent pairsEdwin Brady 8f9ac37Generalized alloc_heap so it could be reused for garbage collection.Calvin Beck d6d07ffGC check allocation of new heap.Calvin Beck 954d071Fixed format string in heap allocation error.Calvin Beck 2fd84a5Enforce case sensitivity of imports for OSX.Calvin Beck 5475fe3Merge pull request #1963 from david-christiansen/multi-ghcDavid Christiansen d8142b0Add multiple GHC versions to TravisDavid Raymond Christiansen 92e3985Merge pull request #1962 from david-christiansen/issue/1958David Christiansen 5f2a3b5Simplify comment parserDavid Raymond Christiansen 54f0cc3Merge pull request #1961 from david-christiansen/issue/idris-mode-299David Christiansen 24d0617Merge pull request #1955 from jfdm/citationDavid Christiansen fa5a047Merge pull request #1960 from david-christiansen/issue/1959David Christiansen 8688f43Fix :unlet and the IDE protocolDavid Raymond Christiansen 15a76ffTrace loaded file spans for empty modulesDavid Raymond Christiansen 3b57c91Added a citation file.Jan de Muijnck-Hughes 1b7ce80uint32_t type needed even if stats are not enabled.Calvin Beck a5efe0bSETHEAP macro did not use argument.Calvin Beck 78c76feRemoved commented out old code.Calvin Beck d1e0d00Fixed idris_gcInfo so it uses correct printf format strings / correct sizes.Calvin Beck b32de5cMerge pull request #1947 from melted/this_branch_is_sponsored_by_the_society_for_elimination_of_fancy_typographyDavid Christiansen 4f88433Merge pull request #1946 from Heather/encodingDavid Christiansen f70afabReplace a fancy apostrophe with a basic ASCII oneNiklas Larsson dcbab5eFixed failing regression test due to new syntax extension rulesAhmad Salim Al-Sibahi 6ae2e26disable windows specific UTF8 encodingHeather 13073a1Fixed interaction of expressions with operators and external syntaxAhmad Salim Al-Sibahi 5aa03e7Merge pull request #1919 from ahmadsalim/bug/eliminatorgenerationDavid Christiansen 80d4472Merge pull request #1934 from Heather/ffDavid Christiansen 5b465a9Merge pull request #1937 from melted/encodingDavid Christiansen ebab239Merge pull request #1939 from melted/fix_rtsDavid Christiansen cbbdb3eRemove dead codeDavid Raymond Christiansen 5300c53Fix :exec on WindowsNiklas Larsson 9fb9674Fix Windows RTSNiklas Larsson ee8fce0Add "intro" tactic to new tacticsDavid Raymond Christiansen 0aa98b4WIP: Better error messages for parsing operatorsAhmad Salim Al-Sibahi 6f9ba3eAdded explicit error messages when eliminator/case function generation failsAhmad Salim Al-Sibahi 1b4b01cSet encoding to UTF8 on WindowsNiklas Larsson bbf672aFix evaluator problemEdwin Brady 7c9a1d0Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 8697358Fix scope error when shadowingEdwin Brady f0d90e6Merge pull request #1933 from david-christiansen/wip/tacticalDavid Christiansen