testsuite/tests/typecheck/should_run/tcrun027.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE ImplicitParams #-}

-- Killed GHC 5.04.1

module Main where

type CTPar = ([Double],Int)

us :: (?ctPar :: CTPar) => [Double]
us = let (d,_) = ?ctPar in d

main = let ?ctPar = ([3.4],2) in print us