Oct 11, 2-3 AM (9)
Oct 11, 3-4 AM (6)
Oct 11, 4-5 AM (7)
Oct 11, 5-6 AM (17)
Oct 11, 6-7 AM (12)
Oct 11, 7-8 AM (41)
Oct 11, 8-9 AM (66)
Oct 11, 9-10 AM (30)
Oct 11, 10-11 AM (37)
Oct 11, 11-12 PM (29)
Oct 11, 12-1 PM (39)
Oct 11, 1-2 PM (74)
Oct 11, 2-3 PM (46)
Oct 11, 3-4 PM (25)
Oct 11, 4-5 PM (20)
Oct 11, 5-6 PM (10)
Oct 11, 6-7 PM (11)
Oct 11, 7-8 PM (10)
Oct 11, 8-9 PM (10)
Oct 11, 9-10 PM (13)
Oct 11, 10-11 PM (4)
Oct 11, 11-12 AM (5)
Oct 12, 12-1 AM (6)
Oct 12, 1-2 AM (7)
Oct 12, 2-3 AM (14)
Oct 12, 3-4 AM (5)
Oct 12, 4-5 AM (21)
Oct 12, 5-6 AM (14)
Oct 12, 6-7 AM (29)
Oct 12, 7-8 AM (48)
Oct 12, 8-9 AM (17)
Oct 12, 9-10 AM (24)
Oct 12, 10-11 AM (42)
Oct 12, 11-12 PM (44)
Oct 12, 12-1 PM (41)
Oct 12, 1-2 PM (62)
Oct 12, 2-3 PM (35)
Oct 12, 3-4 PM (27)
Oct 12, 4-5 PM (58)
Oct 12, 5-6 PM (9)
Oct 12, 6-7 PM (13)
Oct 12, 7-8 PM (11)
Oct 12, 8-9 PM (29)
Oct 12, 9-10 PM (6)
Oct 12, 10-11 PM (4)
Oct 12, 11-12 AM (13)
Oct 13, 12-1 AM (20)
Oct 13, 1-2 AM (9)
Oct 13, 2-3 AM (8)
Oct 13, 3-4 AM (15)
Oct 13, 4-5 AM (17)
Oct 13, 5-6 AM (19)
Oct 13, 6-7 AM (29)
Oct 13, 7-8 AM (35)
Oct 13, 8-9 AM (29)
Oct 13, 9-10 AM (45)
Oct 13, 10-11 AM (33)
Oct 13, 11-12 PM (35)
Oct 13, 12-1 PM (35)
Oct 13, 1-2 PM (46)
Oct 13, 2-3 PM (10)
Oct 13, 3-4 PM (51)
Oct 13, 4-5 PM (40)
Oct 13, 5-6 PM (9)
Oct 13, 6-7 PM (4)
Oct 13, 7-8 PM (8)
Oct 13, 8-9 PM (11)
Oct 13, 9-10 PM (6)
Oct 13, 10-11 PM (6)
Oct 13, 11-12 AM (11)
Oct 14, 12-1 AM (10)
Oct 14, 1-2 AM (21)
Oct 14, 2-3 AM (4)
Oct 14, 3-4 AM (2)
Oct 14, 4-5 AM (15)
Oct 14, 5-6 AM (15)
Oct 14, 6-7 AM (177)
Oct 14, 7-8 AM (11)
Oct 14, 8-9 AM (45)
Oct 14, 9-10 AM (30)
Oct 14, 10-11 AM (34)
Oct 14, 11-12 PM (24)
Oct 14, 12-1 PM (31)
Oct 14, 1-2 PM (33)
Oct 14, 2-3 PM (24)
Oct 14, 3-4 PM (45)
Oct 14, 4-5 PM (3)
Oct 14, 5-6 PM (12)
Oct 14, 6-7 PM (17)
Oct 14, 7-8 PM (6)
Oct 14, 8-9 PM (12)
Oct 14, 9-10 PM (11)
Oct 14, 10-11 PM (7)
Oct 14, 11-12 AM (8)
Oct 15, 12-1 AM (8)
Oct 15, 1-2 AM (13)
Oct 15, 2-3 AM (3)
Oct 15, 3-4 AM (2)
Oct 15, 4-5 AM (14)
Oct 15, 5-6 AM (32)
Oct 15, 6-7 AM (17)
Oct 15, 7-8 AM (11)
Oct 15, 8-9 AM (16)
Oct 15, 9-10 AM (22)
Oct 15, 10-11 AM (17)
Oct 15, 11-12 PM (29)
Oct 15, 12-1 PM (80)
Oct 15, 1-2 PM (34)
Oct 15, 2-3 PM (30)
Oct 15, 3-4 PM (12)
Oct 15, 4-5 PM (21)
Oct 15, 5-6 PM (24)
Oct 15, 6-7 PM (9)
Oct 15, 7-8 PM (29)
Oct 15, 8-9 PM (29)
Oct 15, 9-10 PM (5)
Oct 15, 10-11 PM (12)
Oct 15, 11-12 AM (4)
Oct 16, 12-1 AM (4)
Oct 16, 1-2 AM (5)
Oct 16, 2-3 AM (1)
Oct 16, 3-4 AM (2)
Oct 16, 4-5 AM (2)
Oct 16, 5-6 AM (1)
Oct 16, 6-7 AM (1)
Oct 16, 7-8 AM (3)
Oct 16, 8-9 AM (1)
Oct 16, 9-10 AM (2)
Oct 16, 10-11 AM (2)
Oct 16, 11-12 PM (2)
Oct 16, 12-1 PM (6)
Oct 16, 1-2 PM (4)
Oct 16, 2-3 PM (4)
Oct 16, 3-4 PM (3)
Oct 16, 4-5 PM (4)
Oct 16, 5-6 PM (2)
Oct 16, 6-7 PM (1)
Oct 16, 7-8 PM (6)
Oct 16, 8-9 PM (3)
Oct 16, 9-10 PM (2)
Oct 16, 10-11 PM (1)
Oct 16, 11-12 AM (2)
Oct 17, 12-1 AM (2)
Oct 17, 1-2 AM (2)
Oct 17, 2-3 AM (1)
Oct 17, 3-4 AM (3)
Oct 17, 4-5 AM (3)
Oct 17, 5-6 AM (2)
Oct 17, 6-7 AM (3)
Oct 17, 7-8 AM (1)
Oct 17, 8-9 AM (2)
Oct 17, 9-10 AM (4)
Oct 17, 10-11 AM (5)
Oct 17, 11-12 PM (15)
Oct 17, 12-1 PM (4)
Oct 17, 1-2 PM (1)
Oct 17, 2-3 PM (3)
Oct 17, 3-4 PM (1)
Oct 17, 4-5 PM (5)
Oct 17, 5-6 PM (2)
Oct 17, 6-7 PM (3)
Oct 17, 7-8 PM (4)
Oct 17, 8-9 PM (4)
Oct 17, 9-10 PM (3)
Oct 17, 10-11 PM (6)
Oct 17, 11-12 AM (8)
Oct 18, 12-1 AM (3)
Oct 18, 1-2 AM (1)
Oct 18, 2-3 AM (1)
2,853 commits this week Oct 11, 2021 - Oct 18, 2021
haskell.nix: Improve compiler version mismatch error (#1269)
Nix's assert statements reproduce the assertion almost verbatim in an
error message, this makes for fairly inscrutable errors. I've tried here
to improve the error message by introducing local names (these could
create some confusion because of shadowing if similar names are
introduced in another scope later) and adding a trace messages using
`lib.assertMsg`.

Fixes #1249
[Builtin] Improve 'TypeScheme' inference
This PR overhauls the 'TypeScheme' inference machinery and makes it more well-rounded
as well as more powerful, in particular the machinery now looks inside the result type,
not just the argument types, and under 'EvaluationResult' and 'Emitter'.

Some custom type errors are added to guide the programmer adding a new built-in type or
function.

Also a module for debugging the 'TypeScheme' inference machinery is added.