Commit 43e72382 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #3468

parent f023ba31
{-# LANGUAGE ExistentialQuantification #-}
module T3468 where
import {-# SOURCE #-} T3468
data Tool d = forall a r . F a
T3468.hs-boot:3:5:
Type constructor `Tool' has conflicting definitions in the module and its hs-boot file
Main module: data Tool d
RecFlag Recursive
Generics: no
= F :: forall d a r. a -> Tool d Stricts: _
FamilyInstance: none
Boot file: data Tool
RecFlag NonRecursive
Generics: no
{- abstract -}
FamilyInstance: none
......@@ -217,3 +217,5 @@ test('T2806', normal, compile_fail, [''])
test('T3323', normal, compile_fail, [''])
test('T3406', normal, compile_fail, [''])
test('T3468', extra_clean(['T3468.hi-boot']),
multimod_compile_fail, ['T3468', '-v0'])
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