[commit: testsuite] master: Use 'error "uk"' rather than 'undefined' (521472f)

Simon Peyton Jones <[email protected]>
Newsgroups gmane.comp.lang.haskell.cvs.ghc
Message-ID <[email protected]>
Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/521472f1e038f82d54f5068646763b1425260d9c

>---------------------------------------------------------------

commit 521472f1e038f82d54f5068646763b1425260d9c
Author: Simon Peyton Jones <[email protected]>
Date:   Wed Oct 31 09:11:25 2012 +0000

    Use 'error "uk"' rather than 'undefined'
    
    'error' hsa a magical type with openTypeKind, whereas undefined doesn't

>---------------------------------------------------------------

 tests/indexed-types/should_compile/Simple14.hs |    6 +++---
 tests/indexed-types/should_fail/T3330a.hs      |    4 ++--
 tests/typecheck/should_compile/T2683.hs        |    4 ++--
 3 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/tests/indexed-types/should_compile/Simple14.hs b/tests/indexed-types/should_compile/Simple14.hs
index 16158d9..dfffbc7 100644
--- a/tests/indexed-types/should_compile/Simple14.hs
+++ b/tests/indexed-types/should_compile/Simple14.hs
@@ -5,13 +5,13 @@ module Simple14 where
 data EQ_ x y = EQ_
 
 eqE :: EQ_ x y -> (x~y => EQ_ z z) -> p
-eqE = undefined
+eqE = error "eqE"
 
 eqI :: EQ_ x x
-eqI = undefined
+eqI = error "eqI"
 
 ntI :: (forall p. EQ_ x y -> p) -> EQ_ x y
-ntI = undefined
+ntI = error "ntI" 
 
 foo :: forall m n. EQ_ (Maybe m) (Maybe n)
 foo = ntI (`eqE` (eqI :: EQ_ m n))
diff --git a/tests/indexed-types/should_fail/T3330a.hs b/tests/indexed-types/should_fail/T3330a.hs
index c13760c..e0b359a 100644
--- a/tests/indexed-types/should_fail/T3330a.hs
+++ b/tests/indexed-types/should_fail/T3330a.hs
@@ -19,9 +19,9 @@ children :: s ix -> (PF s) r ix -> [AnyF s]
 children p x = execWriter (hmapM p collect x)
 
 collect :: HFunctor (PF s) => s ix -> r ix -> Writer [AnyF s] (r ix)
-collect = undefined
+collect = error "collect"
 
 hmapM :: (forall ix. phi ix -> r ix -> m (r' ix))
       -> phi ix -> f r ix -> m (f r' ix)
-hmapM = undefined
+hmapM = error "hmapM"
 
diff --git a/tests/typecheck/should_compile/T2683.hs b/tests/typecheck/should_compile/T2683.hs
index c36eaad..07fad17 100644
--- a/tests/typecheck/should_compile/T2683.hs
+++ b/tests/typecheck/should_compile/T2683.hs
@@ -9,10 +9,10 @@ class Transformer t a | t -> a where
 data EL a = forall l. EL (l a)
 
 unEL :: EL a -> (forall l. l a -> b) -> b
-unEL = undefined
+unEL = error "unEL"
 
 transform' :: (Transformer t a) => t -> EL a -> EL a
-transform' = undefined
+transform' = error "transform'"
 
 data MultiToggleS ts a = MultiToggleS ts
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.