Adding parentheses introduces type error
{-# LANGUAGE RankNTypes #-}
module Test where
foo :: () -> forall b. b
foo = undefined
works = id foo
fails = (id) foo
-- works type checks, but fails fails with the following error
-- message:
--
-- Cannot match a monotype with `() -> forall b. b'
-- Probable cause: `foo' is applied to too few arguments
-- In the first argument of `(id)', namely `foo'
-- In the expression: (id) foo
Trac metadata
Trac field |
Value |
Version |
6.12.3 |
Type |
Bug |
TypeOfFailure |
OtherFailure |
Priority |
normal |
Resolution |
Unresolved |
Component |
Compiler (Type checker) |
Test case |
|
Differential revisions |
|
BlockedBy |
|
Related |
|
Blocking |
|
CC |
nad |
Operating system |
|
Architecture |
|