Parse error when using (~)
Opened this issue · 0 comments
yairchu commented
This program fails to parse:
{-# LANGUAGE GADTs #-}
one :: (~) a Int => a
one = 1
The culprit is using (~).
A failing test for this case is available at yairchu@19705ca
Opened this issue · 0 comments
This program fails to parse:
{-# LANGUAGE GADTs #-}
one :: (~) a Int => a
one = 1
The culprit is using (~).
A failing test for this case is available at yairchu@19705ca