Ticket #52 (closed bug report: fixed)

Opened 8 years ago

Last modified 8 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:


GHC allows the use of forall binders for ScopedTypeVariables?:

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


Change History

Changed 8 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.