blob: db09edf65a0e84cea7f27dc40c306265d01b3cd3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# OPTIONS_GHC -Wincomplete-patterns -fforce-recomp #-}
{-# LANGUAGE PatternSynonyms #-}
module Lib where
type List = []
pattern DefinitelyAString :: String -> String
pattern DefinitelyAString x = x
{-# COMPLETE DefinitelyAString #-}
f :: String -> String
f (DefinitelyAString x) = x
|
