3e9de43Merge pull request #4396 from melted/ghc84Niklas Larsson9 years ago fb717ccFix compilation with GHC 8.4Niklas Larsson9 years ago a7d3c09Fix typo in package nameBen Moon9 years ago d2c207cUse cc instead of gcc on non-windows platformsJorge Acereda9 years ago 17d7e9bRemove debugging stuffJorge Acereda9 years ago 25baedbRead idris executable from environment variableJorge Acereda9 years ago 425700dAllow overriding IDRIS via environment variableJorge Acereda9 years ago 46ab7c8Warning on x86 gcc, removed redundant macroJorge Acereda9 years ago 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 ab9a0fdFix stylish problemsEdwin Brady9 years ago 8c10469Faster dependency chasingEdwin Brady9 years ago 11130b1Bad shift on 32-bit architecturesJorge Acereda9 years ago e303673Merge pull request #4387 from ChShersh/patch-1Jan de Muijnck-Hughes9 years ago bb9a135Merge pull request #4390 from 2426021684/patch-1Jan de Muijnck-Hughes9 years ago 5d5e4b2Fix typo24260216849 years ago aae637dMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady9 years ago 7c9d72aAdd functions for checking file timestampsEdwin Brady9 years ago 7512498Add u8/u16 fields to header, use u8 for marking null stringsJorge Acereda9 years ago 48a4f28Merge pull request #4388 from luochen1990/patch-1Niklas Larsson9 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 8e451a8Add 'Ord' instance to 'Maybe'Dmitry Kovanikov9 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 4d69b3fMake splitAt more efficienthowtonotwin9 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 8c66955Add idris_chdir to stdfgnEdwin Brady9 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