Eelco Dolstra
3e89ef597c
Optimise concatenating a list to an empty list
...
More precisely, in concatLists, if all lists except one are empty,
then just return the non-empty list. This reduces the number of list
element allocations by 32% when evaluating a NixOS system
configuration.
2012-08-13 14:58:54 -04:00
..
2012-03-05 22:04:40 +01:00
2012-07-18 14:59:03 -04:00
2012-02-09 18:56:48 +01:00
2012-07-18 14:59:03 -04:00
2012-07-18 14:59:03 -04:00
2012-08-13 14:58:54 -04:00
2012-08-13 01:53:10 -04:00
2012-02-04 13:50:25 +00:00
2012-07-18 14:59:03 -04:00
2011-08-06 16:05:24 +00:00
2012-02-04 13:50:25 +00:00
2008-07-01 10:10:32 +00:00
2012-07-18 14:59:03 -04:00
2008-06-04 14:36:46 +00:00
2011-07-13 12:19:57 +00:00
2012-08-12 23:29:28 -04:00
2012-04-13 14:28:26 +02:00
2012-08-13 13:46:42 -04:00
2012-07-18 14:59:03 -04:00
2012-03-05 22:04:40 +01:00
2012-07-18 14:59:03 -04:00
2012-07-18 14:59:03 -04:00