Commit b639c977 authored by thomie's avatar thomie

Testsuite: fix tcfail220 - Maybe is wired-in now

This fixes validate.

37445780 (D202) mentions: "This patch
also wires-in Maybe data type".

A conflicting definition of a wired-in type in a .hsig file doesn't seem
to cause compilation to fail. This is probably a bug, but a small one.
Since SPJ in ffc21506 swept this under
the rug, by removing `data Bool a b c d = False` from tcfail220.hsig,
I'm going to do the same here.

D1098 touches these files, so ezyang can decide whether this problem
warrants fixing when doing a rebase.

Differential Revision: https://phabricator.haskell.org/D1208
parent 34b106f6
{-# LANGUAGE NoImplicitPrelude #-}
module ShouldFail where
data Maybe a b = Nothing
data Either a b c = Left a
[1 of 1] Compiling ShouldFail[sig of Prelude] ( tcfail220.hsig, nothing )
tcfail220.hsig:4:1: error:
Type constructor ‘Maybe’ has conflicting definitions in the module
and its hsig file
Main module: data Maybe a = Nothing | Just a
Hsig file: type role Maybe phantom phantom
data Maybe a b = Nothing
The types have different kinds
[1 of 1] Compiling ShouldFail[sig of Prelude] ( tcfail220.hsig, nothing )
tcfail220.hsig:4:1: error:
Type constructor ‘Either’ has conflicting definitions in the module
and its hsig file
Main module: data Either a b = Left a | Right b
Hsig file: type role Either representational phantom phantom
data Either a b c = Left a
The types have different kinds
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