b8a1382Add myself to CONTRIBUTORSJorge Acereda9 years ago c2af016Merge pull request #4385 from jacereda/smaller-closureNiklas Larsson9 years ago 3d0168fRemove arity field from Con structJorge Acereda9 years ago ad2a756Use hdr.u16 to store arityJorge Acereda9 years ago 8ce876cRemove _null macroJorge Acereda9 years ago cdeea74Align to pointer sizeJorge Acereda9 years ago 3b8412dRemove -gJorge Acereda9 years ago 0ea2a09Remove some redundant castsJorge Acereda9 years ago ea21a05UntabifyJorge Acereda9 years ago 549e40fClean up indentationJorge Acereda9 years ago 7ad70c8Untabify, clean up indentationJorge Acereda9 years ago fe8ea07Clean up tabsJorge Acereda9 years ago 069f344Add GHC 8.4 fixes to CHANGELOGNiklas Larsson9 years ago d42b968Merge pull request #4401 from melted/hlintNiklas Larsson9 years ago 372560bUse new HLint config file.Niklas Larsson9 years ago d88a8beMerge pull request #4399 from jacereda/fix-ffi32Niklas Larsson9 years ago 42face9test/ffi008 was failing on x86Jorge Acereda9 years ago e393bf0Merge pull request #4353 from Dretch/issue-4346-socket-recv-allNiklas Larsson9 years ago f885410Merge pull request #4398 from RyanGlScott/masterNiklas Larsson9 years ago ff5322dAllow building on GHC 8.4.1Ryan Scott9 years ago 139ebb7Use $CC instead of gccJorge Acereda9 years ago 24d1867Merge pull request #4397 from GuiltyDolphin/gd/fix-package-name-typoNiklas Larsson9 years ago 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