Opened 5 years ago

Closed 5 years ago

#6076 closed bug (fixed)

Typo in error message about ScopedTypeVariables

Reported by: goldfire Owned by:
Priority: normal Milestone:
Component: Compiler Version: 7.5
Keywords: ScopedTypeVariables Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


When I compile this code:

silly :: [a] -> [a]
silly lst = case lst of
  [] -> []
  ((h :: ty) : t) -> (h : t)

I get this error message:

    Illegal type signature: `ty'
      Perhaps you intended to use -XScopedTypeVariable
    In a pattern type-signature

It seems this should be corrected to ScopedTypeVariables

Change History (2)

comment:1 Changed 5 years ago by simonpj@…

commit 4f2dfe1e3f2dffed5fde404ad0309789d114c62c

Author: Simon Peyton Jones <>
Date:   Fri May 4 15:29:30 2012 +0100

    Fix typo in error message (Trac #6076)

 compiler/rename/RnTypes.lhs |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

comment:2 Changed 5 years ago by simonpj

difficulty: Unknown
Resolution: fixed
Status: newclosed


Note: See TracTickets for help on using tickets.