blob: ad67b927f4dbd5b69cf06f9cd667f349f7766227 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# LANGUAGE TypeOperators #-}
module AnnotationLet (foo) where
{
import qualified Data.List as DL
;
foo = let
a 0 = 1
a _ = 2
b = 2
in a b
;
infixr 8 +
;
data ((f + g)) a = InL (f a) | InR (g a)
;
}
|