Allow arguments to builtins to be applications.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 29 Jun 2009 12:45:56 +0000 (14:45 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 29 Jun 2009 12:45:56 +0000 (14:45 +0200)
commit3322a2e193ef8f96a0ee43de0364196232c84ef4
treeb00f6a34d995ac2b7716272aeed84152805eee18
parent9eebebd95cbf192b0e0cf50e7266df26b20942aa
Allow arguments to builtins to be applications.

This allows things like "map (hwand Low) as" or even "map (hwand x) as" in
normal form. Previously, the "hwand Low" part would be put into its own
function, but that could only work when mapping expression without free
variables.
Normalize.hs