Commit 19bb5ca3 authored by Ian Lynagh's avatar Ian Lynagh
Browse files

Stop BadImport03 using BadImport02's sources

Could have caused test failures if they both ran in parallel.
parent e8f1741f
......@@ -7,7 +7,7 @@ module Main where
import Data.Typeable
import BadImport02_A
import BadImport03_A
deriving instance Typeable Nat
......
[1 of 2] Compiling BadImport02_A ( BadImport02_A.hs, BadImport02_A.o )
[1 of 2] Compiling BadImport03_A ( BadImport03_A.hs, BadImport03_A.o )
[2 of 2] Compiling Main ( BadImport03.hs, BadImport03.o )
BadImport03.hs:16:10:
......
{-# LANGUAGE Trustworthy #-}
module BadImport03_A (
Nat, zero, succ', showNat
) where
data Nat = NatC Int
zero :: Nat
zero = NatC 0
succ' :: Nat -> Nat
succ' (NatC n) = NatC $ n + 1
showNat :: Nat -> String
showNat (NatC n) = "Nat " ++ show n
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