Commit 6a866483 authored by simonpj's avatar simonpj
Browse files

[project @ 2002-04-01 14:28:14 by simonpj]

Add test for existential that quantifies nothing
parent 0c58616d
......@@ -102,3 +102,4 @@ test "tcfail101" { vtcf("") }
test "tcfail102" { vtcf("") }
test "tcfail103" { vtcf("") }
test "tcfail104" { vtcf("") }
test "tcfail105" { vtcf("") }
{-# OPTIONS -fglasgow-exts #-}
-- Existential context should quantify over some new type variables
module ShouldFail where
data S m t a = Ok a | Cont (M m t a)
data M m t a = Monad m => M { unM::(m (S m t a))}
All of the type variables in the constraint `Monad m' are already in scope
(at least one must be universally quantified here)
When checking the existential context of constructor `M'
In the data type declaration for `M'
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment