8d986bbWorkaround possible bug in x86 gcc-7.3.0Jorge Acereda9 years ago 3be07b0Avoid indirections for nullaries, refactorized locked/unlocked variantsJorge Acereda9 years ago 1af584dFaster nix-shell invocationJorge Acereda9 years ago 11130b1Bad shift on 32-bit architecturesJorge Acereda9 years ago 7512498Add u8/u16 fields to header, use u8 for marking null stringsJorge Acereda9 years ago 1b6dd31Remove unused headerJorge Acereda9 years ago ba2a9b6Get rid of bitfieldsJorge Acereda9 years ago 4698b9aUse a common header instead of a unionJorge Acereda9 years ago 807f009SimplifyJorge Acereda9 years ago 5ff3350Heap allocations no longer preceded by allocation size fieldJorge Acereda9 years ago 9904389Avoid indirection for strings and take advantage of the 8 bytes in the union to reduce allocation sizeJorge Acereda9 years ago 300a686Recompile everything when a header changesJorge Acereda9 years ago d6b2be4Try to fix Windows buildJorge Acereda9 years ago d16e78fSmaller closureJorge Acereda9 years ago 9fc97f9Add test from the pull request for Elab.tryCatchDavid Christiansen9 years ago 09fe491Add tryCatch as an Elab action in Language.Reflection.ElabJoomy Korkut9 years ago 007ef39Merge pull request #4377 from brainrape/boundedlist-vector-conversionNiklas Larsson9 years ago c74a646Merge pull request #4379 from vinothkr/patch-1Niklas Larsson9 years ago 8b6f86eMerge pull request #4381 from justjoheinz/feature/docIORefNiklas Larsson9 years ago 6fce921Add minimal documentationMarkus Klink9 years ago a7bf236Update elaborator-reflection.rstVinothKumar Raman9 years ago 3456b43Add conversions between BoundedList and VectMárton Boros9 years ago 36eff70Merge pull request #4375 from ether42/fix-eofNiklas Larsson9 years ago b402e1dFix EOF handling of replWithKevin Boulain9 years ago 86615f0Merge pull request #4363 from jacereda/masterJan de Muijnck-Hughes9 years ago b5c22c0Merge pull request #4374 from jfdm/patch-job-of-benchmarkJan de Muijnck-Hughes9 years ago 06e9b53Patched fasta benchmark so it compiles.Jan de Muijnck-Hughes9 years ago 612e248Merge pull request #4361 from jacereda/fix-stack-test-nixpkgsNiklas Larsson9 years ago 2184f50Add Bool, Maybe, Either implementations for Quotable (#4367)Joomy Korkut9 years ago 72be9f0Merge pull request #4366 from ahmadsalim/feature/allow-capitalized-pattern-varsAhmad Salim Al-Sibahi9 years ago 0cad6c7Fix package testAhmad Salim Al-Sibahi9 years ago eb41a1dAllow capitalized pattern variables via switchAhmad Salim Al-Sibahi9 years ago 4b04d93Fix shell return code, closes #4362Jorge Acereda9 years ago 1cdf39cReorder link flagsJorge Acereda9 years ago f351735stack test --nix should work nowJorge Acereda9 years ago b93fe6bAdded export and totality directives (#4360)badbadboy9 years ago 507a731Bump IBC version after removing `%elim` itemsAhmad Salim Al-Sibahi9 years ago cc7ef9aRemove old eliminator generation and induction tactic (#4351)Ahmad Salim Al-Sibahi9 years ago 94c6dc2Fixed `Data.SortedBag.contains` and added docs to Data.PosNat (#4348)Patrick Hilhorst9 years ago 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