Skip to content
Snippets Groups Projects

Regression typechecking type synonym which includes `Any`.

    • Closed Issue created by Matthew Pickering @mpickering 
    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

    Child items 0

    • No child items are currently assigned. Use child items to break down this issue into smaller parts.

    Activity

    Please register or sign in to reply