diff options
author | David Terei <davidterei@gmail.com> | 2011-07-20 11:09:03 -0700 |
---|---|---|
committer | David Terei <davidterei@gmail.com> | 2011-07-20 11:26:35 -0700 |
commit | 16514f272fb42af6e9c7674a9bd6c9dce369231f (patch) | |
tree | e4f332b45fe65e2a7a2451be5674f887b42bf199 /testsuite/tests/typecheck/should_fail/tcfail128.hs | |
parent | ebd422aed41048476aa61dd4c520d43becd78682 (diff) | |
download | haskell-16514f272fb42af6e9c7674a9bd6c9dce369231f.tar.gz |
Move tests from tests/ghc-regress/* to just tests/*
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail128.hs')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail128.hs | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail128.hs b/testsuite/tests/typecheck/should_fail/tcfail128.hs new file mode 100644 index 0000000000..08971837a2 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/tcfail128.hs @@ -0,0 +1,29 @@ + + +-- Ambiguity error reporting + +module Main where + +import Data.Array.MArray (thaw,freeze) +import Data.Array.Unboxed as UA (UArray,listArray) +import Data.Array.IArray as IA (Array,listArray) + +main :: IO () +main = do let sL = [1,4,6,3,2,5] + dim = length sL + help :: [FlatVector] + help = [listFlatVector (1,s) [0|i<-[1..s]]|s<-sL] + tmp :: Vector FlatVector + tmp = listVector (1,dim) help + v <- thaw tmp + return () + +type FlatVector = UArray Int Double + +listFlatVector :: (Int,Int) -> [Double] -> FlatVector +listFlatVector = UA.listArray + +type Vector a = Array Int a + +listVector :: (Int,Int) -> [a] -> Vector a +listVector = IA.listArray |