File: TypeSignature.hs

package info (click to toggle)
haskell-ghc-exactprint 1.7.1.0-1
  • links: PTS
  • area: main
  • in suites: forky, sid, trixie
  • size: 6,044 kB
  • sloc: haskell: 32,076; makefile: 7
file content (12 lines) | stat: -rw-r--r-- 285 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
 
module TypeSignature where

{- Lifting baz to the top level should bring in xx and a as parameters,
   and update the signature to include these
-}
foo a = (baz xx a)
  where
    xx :: Int -> Int -> Int
    xx p1 p2 = p1 + p2

baz :: (Int -> Int -> Int) -> Int ->Int
baz xx a = xx 1 a