summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail128.hs
diff options
context:
space:
mode:
authorDavid Terei <davidterei@gmail.com>2011-07-20 11:09:03 -0700
committerDavid Terei <davidterei@gmail.com>2011-07-20 11:26:35 -0700
commit16514f272fb42af6e9c7674a9bd6c9dce369231f (patch)
treee4f332b45fe65e2a7a2451be5674f887b42bf199 /testsuite/tests/typecheck/should_fail/tcfail128.hs
parentebd422aed41048476aa61dd4c520d43becd78682 (diff)
downloadhaskell-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.hs29
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