Allow inlining of head and friends.
authorMatthijs Kooijman <matthijs@stdin.nl>
Wed, 3 Mar 2010 13:05:19 +0000 (14:05 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Wed, 3 Mar 2010 13:05:19 +0000 (14:05 +0100)
commit7c8bb43c572704c4afb86bdaf917c1a695009378
tree571ce49787771ae99d6abe17d0217205d9a3c42e
parent254a259d6cfa363ac4da8c69b665ce4ce2a29ee7
Allow inlining of head and friends.
cλash/CLasH/Normalize/NormalizeTools.hs