git.iko.soy/Idris-dev
on master help sign in
history ofe88a135..master
compare
c80f9fa[ fix ] handle empty NS + test caseGuillaume Allais fdbcc73[ fix #4304 ] Make the Module Name parser explicitGuillaume Allais db69077Fix binding rules in patternsEdwin Brady 5205520Add mysteriously missing bits of regression002Edwin Brady 663fb20Merge pull request #4305 from idris-lang/make-idris-buffers-kandrAhmad Salim Al-Sibahi 069c17bMake Idris Buffers K&R compatibleAhmad Salim Al-Sibahi 5882c38Fix checking if error is recoverable wrt coverageIlya Yanok a6d701aAdd tests for #4282 and #4299Ilya Yanok c60a22bFix tests (buffer002, regression002)Edwin Brady e0e405fFix bounds check in set/getBufferDoubleEdwin Brady 578134cGet and set Double in Data.BufferEdwin Brady 6dca7b8Remove pointless logging directives in regression2Edwin Brady fc261d6Add missing test fileEdwin Brady 65ba5c5fix commentAlex Gryzlov c11c55eparse rig count for letAlex Gryzlov 06db7dcFix corner case with dot patternsEdwin Brady d77513bUpdate version number properly this time (sorry!)v1.2.0Edwin Brady ab806e9Update version numberEdwin Brady a9b30adMerge pull request #4280 from asandroq/set-build-env-flagsEdwin Brady beb8e9cInsert mutual in "using implementation" blocksEdwin Brady 05634d7Merge pull request #4275 from asandroq/remove-align-macroNiklas Larsson a83da16Fix for mkdir on windowsEdwin Brady 5eb8f83Add directory management functionsEdwin Brady d1fae54Merge pull request #4260 from Melvar/let-alternativesMelvar Chen f71664eMerge pull request #4278 from asandroq/move-cdata-docsAhmad Salim Al-Sibahi 946c9e1Set environment with Idris flags while running `make`Alex Queiroz e65d0faMove documentation for the C heap to the FFI documentAlex Queiroz 97496b7Merge pull request #4277 from namanbharadwaj/patch-1Ahmad Salim Al-Sibahi 41fccebMerge pull request #4276 from i-am-tom/masterDavid Thrane Christiansen 74d29c0Replace '-' with '_' in LHS of Node requiresNaman Bharadwaj dcb6ab1Implement DecEq for ElemTom Harding d23221bFix efficiency problem with module chasingEdwin Brady 19ea4ffRemove `ALIGN` macroAlex Queiroz 6f08595Merge pull request #4263 from clayrat/monad-helpersAhmad Salim Al-Sibahi 4431c5aMerge pull request #4274 from clayrat/uninhabited-maybeAhmad Salim Al-Sibahi 95cb7b4add Uninhabited instances for MaybeAlex Gryzlov 6aea36cmove into contribAlex Gryzlov 86e5546Process !-notation in function declarationsEdwin Brady 1ecb649Fixes for shifting IntegerEdwin Brady 78b9234Fix off-by-one error when reading stringsEdwin Brady 30505c1Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 9c8b3d4Add some buffer primitivesEdwin Brady 45a3f93Merge pull request #4246 from eraserhd/pretty-warningsJason Felice a037d4cFix up CHANGELOG.mdJason Felice b17c634Update the test for let- and bind-alternativesMelvar Chen b3ee2dfUpdate the changelogMelvar Chen a1ce523Add error for type+alternatives as suggestedMelvar Chen 2cc9ee5Add alternatives syntax to `let` in `do` blocksMelvar Chen 37b4861Rename to emitWarningJason Felice fd63a9dRename to SimpleWarningJason Felice