Update Trac ticket URLs to point to GitLab
[ghc.git] / testsuite / tests / pmcheck / complete_sigs / completesig15.hs
1 {-# OPTIONS_GHC -Wall #-}
2 {-# LANGUAGE PatternSynonyms #-}
3 {-# LANGUAGE ViewPatterns #-}
4 module Completesig15 where
5
6 class C f where
7 foo :: f a -> ()
8
9 pattern P :: C f => f a
10 pattern P <- (foo -> ())
11
12 {-# COMPLETE P #-}