Update Trac ticket URLs to point to GitLab
[ghc.git] / testsuite / tests / typecheck / should_compile / T9971.hs
1 {-# LANGUAGE FunctionalDependencies #-}
2 module T9971 where
3
4 type Vertex v = v Double
5
6 class C a b | b->a where
7 op :: a -> b
8
9 foo :: Vertex x
10 foo = error "urk"
11
12 bar x = [op foo, op foo]
13 -- This gives rise to a [D] Vertex a1 ~ Vertex a2
14 -- And that made the canonicaliser go into a loop (#9971)
15