Skip to content

type checker bug

This causes a type error:

    foo :: forall b. (b -> String, Int)
    foo = (const "hi", 0)
 
    bar :: (forall b. b -> String, Int)
    bar = foo

This should compile fine since the types are equivalent.

Edited by Ian Lynagh -
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information