Ticket #52 (closed bug report: fixed)

Opened 5 years ago

Last modified 5 years ago

In GHC, ScopedTypeVariables enables forall syntax

Reported by: nibro Owned by: nibro
Priority: minor Milestone: Full code support
Component: parser Version: 1.0.0
Keywords: Cc:

Description

GHC allows the use of forall binders for ScopedTypeVariables?:

{-# LANGUAGE ScopedTypeVariables #-}
foo :: forall x . Eq x => x -> x

Sigh.

Change History

Changed 5 years ago by nibro

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

Simple, if unsatisfactory, fix. Case closed.

Note: See TracTickets for help on using tickets.