c229eccMerge pull request #4350 from michelrandahl/patch-1Ahmad Salim Al-Sibahi9 years ago 41951f2Update type-providers-ffi.rstMichel Bøje Randahl Nielsen9 years ago 2be6e6aVarious additions to contrib (#4343)Patrick Hilhorst9 years ago ecd3bc6Update Cabal-Version field to 1.22Ahmad Salim Al-Sibahi9 years ago 3a71443Merge pull request #4344 from juhp/patch-4Ahmad Salim Al-Sibahi9 years ago fab2841fix for odd-even bug in random (#4339)martinbaker9 years ago 5843c91add issue tracker to .cabal fileJens Petersen9 years ago a7257e6Merge pull request #4340 from mpilgrem/ansi-terminalAhmad Salim Al-Sibahi9 years ago d3d1bdaBump ansi-terminal upper bound to <0.9Mike Pilgrem9 years ago 5102e48Reverse improvements (#4310)Boyd Stephen Smith Jr9 years ago 3be1766Fix looped temporary allocations in mini-GMP (#4324)yanok9 years ago d8dd94bAdd `Identity a` basic instances (#4336)aiya0009 years ago c1d7e65Merge pull request #4338 from aiya000/feature/effects-runPureEnvAhmad Salim Al-Sibahi9 years ago a6037b9Fin.restrict fix (#4337)Trevon Sutton9 years ago f7f5836Add Effects.runPureEnvaiya0009 years ago 1381cdbAdd a `runEnv` document commentaiya0009 years ago 6d7fd7bMerge pull request #4335 from aiya000/feature/move-ignore-func-to-prelude-functorAhmad Salim Al-Sibahi9 years ago a7a5c29Move `ignore` to Prelude.Functoraiya0009 years ago 14f10fdMerge pull request #4333 from mokshasoft/seL4Niklas Larsson9 years ago 5b47f2dMakefiles and changes needed for the C RTS on the seL4 microkernelJonas Claeson9 years ago a47ec34Merge pull request #4326 from jfdm/lts-10.4Ahmad Salim Al-Sibahi9 years ago e96f3bbMerge pull request #4320 from yanok/exec-failAhmad Salim Al-Sibahi9 years ago 18d9c5eMerge pull request #4331 from foolswood/patch-1Ahmad Salim Al-Sibahi9 years ago c0728e9Correct doc typosDavid Honour9 years ago 575cc50Bump Idris to compile against LTS 10.4.Jan de Muijnck-Hughes9 years ago 8e2aff5Print error message if :exec'ed program exits with failureIlya Yanok9 years ago 1d19304Add test for REPL reporting abnormal :exec resultsIlya Yanok9 years ago 395e8a0Merge pull request #4318 from juniorrojas/patch-1Ahmad Salim Al-Sibahi9 years ago 242e103Fix typoJunior Rojas9 years ago a7ad4e6Merge pull request #4315 from clayrat/patch-8Ahmad Salim Al-Sibahi9 years ago 988f5b9Add bitsToHexStr to Data.BitsAlex Gryzlov9 years ago 80932efMerge pull request #4309 from joom/masterAhmad Salim Al-Sibahi9 years ago a4c183cSet C language standard to C99 in runtime and codegen (#4308)Alex Queiroz9 years ago 183ae43Merge pull request #4257 from gallais/opts-ipkgAhmad Salim Al-Sibahi9 years ago 377d87a[ fix #4255 ] Not silently accepting invalid optionsGuillaume Allais9 years ago 831755fUpdate documentation to add the options for CATS in loggingJoomy Korkut9 years ago 5813103Fix for stylishEdwin Brady9 years ago 01b9388Merge pull request #4298 from clayrat/linearletAhmad Salim Al-Sibahi9 years ago 843348eMerge pull request #4303 from yanok/masterAhmad Salim Al-Sibahi9 years ago 7e876c0Merge pull request #4306 from gallais/module-nameAhmad Salim Al-Sibahi9 years ago c80f9fa[ fix ] handle empty NS + test caseGuillaume Allais9 years ago fdbcc73[ fix #4304 ] Make the Module Name parser explicitGuillaume Allais9 years ago db69077Fix binding rules in patternsEdwin Brady9 years ago 5205520Add mysteriously missing bits of regression002Edwin Brady9 years ago 663fb20Merge pull request #4305 from idris-lang/make-idris-buffers-kandrAhmad Salim Al-Sibahi9 years ago 069c17bMake Idris Buffers K&R compatibleAhmad Salim Al-Sibahi9 years ago 5882c38Fix checking if error is recoverable wrt coverageIlya Yanok9 years ago a6d701aAdd tests for #4282 and #4299Ilya Yanok9 years ago c60a22bFix tests (buffer002, regression002)Edwin Brady9 years ago e0e405fFix bounds check in set/getBufferDoubleEdwin Brady9 years ago