Undef is neutral (but there is an issue with inferType for undef)
authorAnders Mörtberg <mortberg@chalmers.se>
Tue, 14 Apr 2015 20:20:17 +0000 (22:20 +0200)
committerAnders Mörtberg <mortberg@chalmers.se>
Tue, 14 Apr 2015 20:20:17 +0000 (22:20 +0200)
commitca772fa7c1df9c50d09bf7be356bc54756e0694e
tree92254338dd060e561ef0333883cc1cd5e0f64ae7
parent4c15428ba96acdc47fc2e1349e1aebcd0a3c36fc
Undef is neutral (but there is an issue with inferType for undef)
CTT.hs