Add and use a mkFunction utility function.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Sun, 21 Jun 2009 15:59:24 +0000 (17:59 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Sun, 21 Jun 2009 15:59:24 +0000 (17:59 +0200)
commit9e042c5d285ad14daeee9847116e6338aa609903
treecba63ceee059b9c5d78a23a413865b2c47881a01
parent2c984b0eb64800eed57a50b4b5f8a4c78ab15097
Add and use a mkFunction utility function.

This function creates a new function with a given body and adds it to the
TransformMonad state. The function is named after an existing binder, but
with a new Unique.
Normalize.hs
NormalizeTools.hs