JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
3c8b33eee4
nixpkgs/pkgs/development
History
Peter Simons 3c8b33eee4 haskell-modules: implement overrideScope method for deep overriding 
deepOverride turns out to be completely unfeasible for non-trivial overrides.
Nix evaluates for an eternity, and then comes back saying:

  Too many heap sections: Increase MAXHINCR or MAX_HEAP_SECTS
  nix-instantiate killed by signal 6

The hand-written deep-override, on the other hand, performs the job in a
fraction of a second, no problem.

All bow to Russell O'Connor!
2015-01-08 18:50:19 +01:00
..
arduino Change occurrences of gcc to the more general cc 2014-12-26 11:06:21 -06:00
compilers Merge pull request #5641 from teh/master 2015-01-08 15:18:54 +01:00
coq-modules Adds coq-interval 2014-12-08 09:15:13 +01:00
eclipse Turn more licenses into lib.licenses style 2014-11-06 00:48:16 +00:00
guile-modules Change occurrences of gcc to the more general cc 2014-12-26 11:06:21 -06:00
haskell-modules haskell-modules: implement overrideScope method for deep overriding 2015-01-08 18:50:19 +01:00
interpreters Merge pull request #5567 from ktosiek/test-kitchen 2015-01-08 14:56:55 +01:00
libraries Update hledger, hledger-lib and hledger-web to 0.24 2015-01-08 20:22:58 +05:30
lisp-modules Add CL-SMTP package 2014-11-16 19:57:12 +03:00
lua-modules
misc Fix user-facing typos (mainly in descriptions) 2015-01-01 15:45:32 +01:00
mobile java: Normalize to the default jre / jdk 2015-01-07 14:55:41 -08:00
ocaml-modules Merge pull request #5621 from prikhi/add-workrave 2015-01-08 14:41:29 +01:00
perl-modules fix a bunch of perl modules 2014-12-10 01:38:00 +01:00
pharo Update pharo vm 2014-12-04 16:41:20 +01:00
pure-modules/pure-gsl Add pure-gsl package 2014-10-14 21:21:36 +11:00
python-modules pycrypto: preConfigure patch ups 2015-01-03 07:53:08 -05:00
qtcreator qtcreator: Update from 3.2.0 to 3.2.1 2014-10-14 18:00:57 +02:00
r-modules Mark R packages h2o, jvmr, and qtbase as broken. 2014-12-04 15:00:54 +01:00
ruby-modules
tools Merge pull request #5636 from Ericson2314/master 2015-01-08 13:17:07 +01:00
web jdkPath: Remove in favor of jdk.home 2015-01-07 14:55:41 -08:00