Skip to content
Snippets Groups Projects

Typeable App pattern doesn't match function types

    • Closed Issue created by Ben Gamari @bgamari

    Consider the type representation,

    rep = typeRep @(Int -> Char)

    We would expect this to match the pattern,

    (App (App arrowRep intRep) charRep)

    where

    arrowRep :: TypeRep ((->) :: Type -> Type -> Type)
intRep   :: TypeRep Int
charRep  :: TypeRep Char

    However, this is currently not the case. Fix this.

    Edited
    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