Skip to content

Regression typechecking type synonym which includes `Any`.

module Foo where

import GHC.Exts

type Key a = Any

produces the error message on HEAD but compiles on 7.8.3 and 7.10.1 (thanks to Reid for testing).

unsafeany.hs:5:1: error:
    • The type family ‘Any’ should have no arguments, but has been given none
    • In the type synonym declaration for ‘Key’
Failed, modules loaded: none.
Edited by Ben Gamari
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information