21 Nov
2006
21 Nov
'06
7:46 a.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