Additional failing tests for names
commit2c0bd05686be62492951fcfa2bcd0f84ce0e52c1
authorGary Burgess <gary.burgess@gmail.com>
dateSun 30 Mar 2014, 16:54 (13 years ago)
parent8099164
examples/failing/UnknownType.pursnew file+4
@@ -0,0 +1,4 @@
1+module Main where
2+
3+test :: Number -> Something
4+test = {}
examples/failing/UnknownValue.pursnew file+25
@@ -0,0 +1,25 @@
1+module Main where
2+
3+import Prelude
4+import Control.Monad.Eff
5+import Control.Monad.ST
6+import Debug.Trace
7+
8+test = runSTArray (do
9+ a <- newSTArray 2 0
10+ pokeSTArray a 0 1
11+ pokeSTArray a 1 2
12+ return a)
13+
14+fromTo lo hi = runSTArray (do
15+ arr <- newSTArray (hi - lo + 1) 0
16+ (let
17+ go lo hi _ arr | lo > hi = return arr
18+ go lo hi i arr = do
19+ pokeSTArray arrr i lo
20+ go (lo + 1) hi (i + 1) arr
21+ in go lo hi 0 arr))
22+
23+main = do
24+ let t1 = runPure (fromTo 10 20)
25+ trace "Done"