Opened 2 years ago

Closed 2 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 Difficulty: Unknown
Test Case: Blocked By:
Blocking: Related Tickets:

Description

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 2 years ago by simonpj@…

commit 4f2dfe1e3f2dffed5fde404ad0309789d114c62c

Author: Simon Peyton Jones <simonpj@microsoft.com>
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 2 years ago by simonpj

  • Difficulty set to Unknown
  • Resolution set to fixed
  • Status changed from new to closed

Thanks!

Note: See TracTickets for help on using tickets.