testsuite/tests/deSugar/should_compile/ds063.hs


1
2
3
4
5
6
7
8
9
10
11

{-# OPTIONS_GHC -Wall #-}
{-# LANGUAGE ViewPatterns #-}

module ShouldCompile where

f :: Int -> Int
f ((+1) -> 1) = 5
f _           = 3

-- Should not give an overlapping-patterns or non-exhaustive-patterns error
-- See Trac #2395