Visible type application doesn't work for functions with inferred types
GHCi, version 8.0.1: http://www.haskell.org/ghc/ :? for help
Loaded GHCi configuration from /home/feuerbach/.ghci
Prelude> :set -XTypeApplications -fprint-explicit-kinds -fprint-explicit-foralls
Prelude> :t id
id :: forall {a}. a -> a
Prelude> :t id @Int
id @Int :: Int -> Int
Prelude> let foo :: a -> a; foo = id
Prelude> :t foo
foo :: forall {a}. a -> a
Prelude> :t foo @Int
foo @Int :: Int -> Int
Prelude> let bar = id
Prelude> :t bar
bar :: forall {a}. a -> a
Prelude> :t bar @Int
<interactive>:1:1: error:
• Cannot apply expression of type ‘a0 -> a0’
to a visible type argument ‘Int’
• In the expression: bar @Int
Trac metadata
Trac field |
Value |
Version |
8.0.1 |
Type |
Bug |
TypeOfFailure |
OtherFailure |
Priority |
normal |
Resolution |
Unresolved |
Component |
Compiler (Type checker) |
Test case |
|
Differential revisions |
|
BlockedBy |
|
Related |
|
Blocking |
|
CC |
|
Operating system |
|
Architecture |
|