blob: c454b0a237022476c8e0fcb2136674781348669c (
plain)
1
2
3
4
5
6
7
8
|
{-# LANGUAGE ViewPatterns, BangPatterns #-}
module InTreeAnnotations1 where
foo a@(_,_) !"a" ~x = undefined
data T = MkT { x,y :: Int }
f (MkT { x = !v, y = negate -> w }) = v + w
|