Commit 2f6b8158 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Use 'error "uk"' rather than 'undefined'

'error' hsa a magical type with openTypeKind, whereas undefined doesn't
parent 2d44ece0
......@@ -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))
......
......@@ -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"
......@@ -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
......
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