Hi,
I wonder why the following code doesn't typecheck in GHC 7.4.1:
{-# LANGUAGE GADTs,RankNTypes #-}data T a where T1 :: (forall b. b -
b) - (forall a. Int - T a)
{- Error:
Data constructor `T1' returns type `forall a. Int - T a'
instead of an instance of its parent type `T a'
In the
...@yandex.ru wrote:
It really seems to me that the error message you've got explains
everything quite clear.
Отправлено с iPad
31.07.2012, в 22:59, Shayan Najd Javadipour sh.n...@gmail.com
написал(а):
Hi,
I wonder why the following code doesn't typecheck in GHC 7.4.1:
{-# LANGUAGE
Hi Haskell Cafe!
To develop Haskell-Type-Exts (HTE) [1,2], I need to have typing judgments
for each language construct in Haskell 2010 with two extensions: RankNTypes
and local assumptions (GADTs, Type Functions and etc). Since I could not
find any academic paper describing a type system
Hello Haskell Cafe!
Recently, I got my proposal “Haskell-Type-Exts”--submitted to haskell
community--accepted for Google SoC 2012!
I have the luxury (thanks to Haskell.org GSoC committee) to develop a
typechecker[1] for ASTs extracted by HSE[2] during this summer.
HSE is one of the most widely
