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 |
|
