20 Nov
2006
20 Nov
'06
11:46 p.m.
On 11/20/06, Malcolm Wallace <Malcolm.Wallace@cs.york.ac.uk> wrote:
newtype Wrapper a = Wrap a convert :: [a] -> [Wrapper a] convert xs = map Wrap xs
Interesting! Looks like the compiler lacks rules for optimizing "map id" &c.\ Your coercion does assume that the underlying runtime doesn't have some kind of type-tag implementation of type classes. -- Taral <taralx@gmail.com> "You can't prove anything." -- Gödel's Incompetence Theorem