Ticket #6076 (closed bug: fixed)

Opened 13 months ago

Last modified 13 months ago

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

Changed 13 months 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(-)

Changed 13 months ago by simonpj

  • status changed from new to closed
  • difficulty set to Unknown
  • resolution set to fixed

Thanks!

Note: See TracTickets for help on using tickets.