git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Fix broken tests
fe60dd9Phil Freeman
examples/passing/ArrayType.purs+4−11
compare with golang
unifiedsplit
@@ -1,16 +1,9 @@
1module Main where
1module Main where
2
2
3−import Prelude ()
3+class Pointed p where
4−import Data.Array
4+ point :: forall a. a -> p a
5
5
6−test :: [] Number
7−test = [1, 2, 3]
8−
9−class Functor f where
10− fmap :: forall a b. (a -> b) -> f a -> f b
11−
12−instance functorArray :: Functor [] where
6+instance pointedArray :: Pointed [] where
13− fmap _ [] = []
7+ point a = [a]
14− fmap f (x:xs) = f x : fmap f xs
15
8
16main = Debug.Trace.trace "Done"
9main = Debug.Trace.trace "Done"
examples/passing/Arrays.purs+1−7
@@ -1,7 +1,6 @@
1module Main where
1module Main where
2
2
3import Prelude
3import Prelude
4−import Data.Array
5
4
6test1 arr = arr !! 0 + arr !! 1 + 1
5test1 arr = arr !! 0 + arr !! 1 + 1
7
6
@@ -22,9 +21,4 @@ test4 = \arr -> case arr of
22 [_] -> 0
21 [_] -> 0
23 x : y : xs -> x * y + test4 xs
22 x : y : xs -> x * y + test4 xs
24
23
25−main = do
26− let x = [3,2,1]
27− let y = sort x
28− if x == [3,2,1]
29− then Debug.Trace.trace "Done"
24+main = Debug.Trace.trace "Done"
30− else Control.Monad.Eff.Error.throwError "Not done"
examples/passing/BindersInFunctions.purs+9−5
@@ -1,12 +1,16 @@
1module Main where
1module Main where
2
2
3import Prelude
3import Prelude
4−import Data.Array
5
4
6−tails = map (\(_:xs) -> xs)
5+tail = \(_:xs) -> xs
6+
7+foreign import error
8+ "function error(msg) {\
9+ \ throw msg;\
10+ \}" :: forall a. String -> a
7
11
8main =
12main =
9− let ts = tails [[1, 2, 3], [4, 5], [6]] in
13+ let ts = tail [1, 2, 3] in
10− if ts == [[2, 3], [5], []]
14+ if ts == [2, 3]
11 then Debug.Trace.trace "Done"
15 then Debug.Trace.trace "Done"
12− else Control.Monad.Eff.Error.throwError "Incorrect result from 'tails'."
16+ else error "Incorrect result from 'tails'."
examples/passing/CheckSynonymBug.purs+6−1
@@ -4,6 +4,11 @@ module Main where
4
4
5 type Foo a = [a]
5 type Foo a = [a]
6
6
7+ foreign import length
8+ "function length(a) {\
9+ \ return a.length;\
10+ \}" :: forall a. [a] -> Number
11+
7− foo _ = Data.Array.length ([] :: Foo Number)
12+ foo _ = length ([] :: Foo Number)
8
13
9 main = Debug.Trace.trace "Done"
14 main = Debug.Trace.trace "Done"
examples/passing/Cons.pursdeleted−10
@@ -1,10 +0,0 @@
1−module Main where
2−
3− import Prelude
4− import Data.Array
5−
6− test1 = \xs -> 1 : xs
7−
8− test2 = 1 : 2 : 3 : []
9−
10− main = Debug.Trace.trace "Done"
examples/passing/Eff.purs+4−6
@@ -3,12 +3,11 @@ module Main where
3import Prelude
3import Prelude
4import Control.Monad.Eff
4import Control.Monad.Eff
5import Control.Monad.ST
5import Control.Monad.ST
6−import Control.Monad.Eff.Error
7import Debug.Trace
6import Debug.Trace
8
7
9−test1 = catchError (\s -> return 0) $ do
8+test1 = do
10− trace "Testing"
9+ trace "Line 1"
11− throwError "Error!"
10+ trace "Line 2"
12
11
13test2 = runPure (runST (do
12test2 = runPure (runST (do
14 ref <- newSTRef 0
13 ref <- newSTRef 0
@@ -16,6 +15,5 @@ test2 = runPure (runST (do
16 readSTRef ref))
15 readSTRef ref))
17
16
18main = do
17main = do
19− n <- test1
18+ test1
20− Debug.Trace.print n
21 Debug.Trace.print test2
19 Debug.Trace.print test2
examples/passing/EmptyDataDecls.purs+14−3
@@ -1,7 +1,6 @@
1module Main where
1module Main where
2
2
3import Prelude
3import Prelude
4−import Data.Array
5
4
6data Z
5data Z
7data S n
6data S n
@@ -11,10 +10,22 @@ data Array n a = Array [a]
11nil :: forall a. Array Z a
10nil :: forall a. Array Z a
12nil = Array []
11nil = Array []
13
12
13+foreign import concat
14+ "function concat(l1) {\
15+ \ return function (l2) {\
16+ \ return l1.concat(l2);\
17+ \ };\
18+ \}" :: forall a. [a] -> [a] -> [a]
19+
14cons :: forall a n. a -> Array n a -> Array (S n) a
20cons :: forall a n. a -> Array n a -> Array (S n) a
15−cons x (Array xs) = Array $ x : xs
21+cons x (Array xs) = Array $ concat [x] xs
22+
23+foreign import error
24+ "function error(msg) {\
25+ \ throw msg;\
26+ \}" :: forall a. String -> a
16
27
17main = let (Array xs) = cons 1 $ cons 2 $ cons 3 nil
28main = let (Array xs) = cons 1 $ cons 2 $ cons 3 nil
18 in if xs == [1, 2, 3]
29 in if xs == [1, 2, 3]
19 then Debug.Trace.trace "Done"
30 then Debug.Trace.trace "Done"
20− else Control.Monad.Eff.Error.throwError "Failed"
31+ else error "Failed"
examples/passing/Foldable.pursdeleted−19
@@ -1,19 +0,0 @@
1−module Main where
2−
3− import Prelude
4− import Data.Foldable
5− import Data.Monoid
6−
7− data Tree a = Node a | Branch (Tree a) (Tree a)
8−
9− instance foldableTree :: Foldable Tree where
10− foldr f z (Node x) = x `f` z
11− foldr f z (Branch l r) = foldr f (foldr f z r) l
12−
13− foldl f z (Node x) = z `f` x
14− foldl f z (Branch l r) = foldl f (foldl f z l) r
15−
16− foldMap f (Node x) = f x
17− foldMap f (Branch l r) = foldMap f l <> foldMap f r
18−
19− main = Debug.Trace.print <<< sum $ Branch (Node 1) (Branch (Node 2) (Node 3))
examples/passing/FunctionScope.purs+6−1
@@ -5,8 +5,13 @@ module Main where
5 mkValue :: Number -> Number
5 mkValue :: Number -> Number
6 mkValue id = id
6 mkValue id = id
7
7
8+ foreign import error
9+ "function error(msg) {\
10+ \ throw msg;\
11+ \}" :: forall a. String -> a
12+
8 main = do
13 main = do
9 let value = mkValue 1
14 let value = mkValue 1
10 if value == 1
15 if value == 1
11 then Debug.Trace.trace "Done"
16 then Debug.Trace.trace "Done"
12− else Control.Monad.Eff.Error.throwError "Not done"
17+ else error "Not done"
examples/passing/Functions2.purs+6−1
@@ -5,8 +5,13 @@ module Main where
5 test :: forall a b. a -> b -> a
5 test :: forall a b. a -> b -> a
6 test = \const _ -> const
6 test = \const _ -> const
7
7
8+ foreign import error
9+ "function error(msg) {\
10+ \ throw msg;\
11+ \}" :: forall a. String -> a
12+
8 main = do
13 main = do
9 let value = test "Done" {}
14 let value = test "Done" {}
10 if value == "Done"
15 if value == "Done"
11 then Debug.Trace.trace "Done"
16 then Debug.Trace.trace "Done"
12− else Control.Monad.Eff.Error.throwError "Not done"
17+ else error "Not done"
examples/passing/JSReserved.purs+1−5
@@ -1,7 +1,6 @@
1module Main where
1module Main where
2
2
3 import Prelude
3 import Prelude
4− import Data.Array
5
4
6 yield = 0
5 yield = 0
7 member = 1
6 member = 1
@@ -10,7 +9,4 @@ module Main where
10
9
11 this catch = catch
10 this catch = catch
12
11
13− main = Debug.Trace.print [ yield
12+ main = Debug.Trace.trace "Done"
14− , member
15− , this 1
16− , public 1 ]
examples/passing/List.pursdeleted−10
@@ -1,10 +0,0 @@
1−module Main where
2−
3−import Prelude
4−import Control.Monad.Eff
5−import Data.Array
6−import Global
7−
8−main = do
9− let test1 = concat [1, 2, 3] [4, 5, 6]
10− Debug.Trace.print test1
examples/passing/MPTCs.purs+1−5
@@ -1,7 +1,6 @@
1module Main where
1module Main where
2
2
3import Prelude
3import Prelude
4−import Data.Array
5
4
6class NullaryTypeClass where
5class NullaryTypeClass where
7 greeting :: String
6 greeting :: String
@@ -18,7 +17,4 @@ instance coerceRefl :: Coerce a a where
18instance coerceShow :: (Prelude.Show a) => Coerce a String where
17instance coerceShow :: (Prelude.Show a) => Coerce a String where
19 coerce = show
18 coerce = show
20
19
21−instance coerceArray :: (Coerce a b) => Coerce [a] [b] where
22− coerce = map coerce
23−
24−main = Debug.Trace.print $ coerce [greeting] :: [String]
20+main = Debug.Trace.trace "Done"
examples/passing/Math.pursdeleted−10
@@ -1,10 +0,0 @@
1−module Main where
2−
3− import Prelude
4− import Debug.Trace
5− import Control.Monad.Eff
6−
7− main = do
8− print $ Math.sin 0
9− print $ Math.sin $ Math.pi * 0.5
10− print $ Math.e / Math.ln2
examples/passing/Maybe.pursdeleted−12
@@ -1,12 +0,0 @@
1−module Main where
2−
3−import Prelude
4−import Data.Maybe
5−import Global
6−
7−main = do
8− let test1 = fromMaybe 0 $ do
9− a <- Just 1
10− b <- Just 2
11− return (a + b)
12− Debug.Trace.print test1
examples/passing/MonadState.purs+5−2
@@ -1,7 +1,8 @@
1module Main where
1module Main where
2
2
3import Prelude
3import Prelude
4−import Data.Tuple
4+
5+data Tuple a b = Tuple a b
5
6
6class MonadState s m where
7class MonadState s m where
7 get :: m s
8 get :: m s
@@ -31,5 +32,7 @@ test = runState "" $ do
31 modify $ (++) "Hello, "
32 modify $ (++) "Hello, "
32 get
33 get
33
34
35+main = do
36+ let t1 = test
34−main = Debug.Trace.print test
37+ Debug.Trace.trace "Done"
35
38
examples/passing/MultipleConstructorArgs.purs+2−4
@@ -1,9 +1,7 @@
1module Main where
1module Main where
2
2
3import Prelude
3import Prelude
4−import Global
5import Control.Monad.Eff
4import Control.Monad.Eff
6−import Data.Array
7
5
8data P a b = P a b
6data P a b = P a b
9
7
@@ -13,8 +11,8 @@ runP f (P a b) = f a b
13idP = runP P
11idP = runP P
14
12
15testCase = \p -> case p of
13testCase = \p -> case p of
16− P (x:xs) (y:ys) -> x : y : testCase (P xs ys)
14+ P (x:xs) (y:ys) -> x + y
17− P _ _ -> []
15+ P _ _ -> 0
18
16
19test1 = testCase (P [1, 2, 3] [4, 5, 6])
17test1 = testCase (P [1, 2, 3] [4, 5, 6])
20
18
examples/passing/Operators.purs+17−18
@@ -3,8 +3,6 @@ module Main where
3 import Prelude
3 import Prelude
4 import Control.Monad.Eff
4 import Control.Monad.Eff
5 import Debug.Trace
5 import Debug.Trace
6− import Global
7− import Data.Array
8
6
9 bar = \s1 s2 -> s1 ++ s2
7 bar = \s1 s2 -> s1 ++ s2
10
8
@@ -59,19 +57,20 @@ module Main where
59 test15 :: Number -> Number -> Boolean
57 test15 :: Number -> Number -> Boolean
60 test15 a b = const false $ a `test14` b
58 test15 a b = const false $ a `test14` b
61
59
60+ main = do
62− main = print [ show $ test1 1 2 $ \x y -> x + y
61+ let t1 = test1 1 2 (\x y -> x + y)
63− , show test2
62+ let t2 = test2
64− , show test3
63+ let t3 = test3
65− , show test4
64+ let t4 = test4
66− , show test5
65+ let t5 = test5
67− , show test6
66+ let t6 = test6
68− , show test7
67+ let t7 = test7
69− , show test8
68+ let t8 = test8
70− , show test9
69+ let t9 = test9
71− , show test10
70+ let t10 = test10
72− , show test11
71+ let t11 = test11
73− , show (test12 k 1 2)
72+ let t12 = test12 k 1 2
74− , show (test13 k 1 2)
73+ let t13 = test13 k 1 2
75− , show (test14 1 2)
74+ let t14 = test14 1 2
76− , show (test15 1 2)
75+ let t15 = test15 1 2
77− ]
76+ trace "Done"
examples/passing/Rank2Types.purs+2−5
@@ -1,14 +1,11 @@
1module Main where
1module Main where
2
2
3 import Prelude
3 import Prelude
4− import Data.Array
5
4
6 test1 :: (forall a. (a -> a)) -> Number
5 test1 :: (forall a. (a -> a)) -> Number
7 test1 = \f -> f 0
6 test1 = \f -> f 0
8
7
9− replicateM :: forall m a. (forall a. a -> m a) -> (forall a b. m a -> (a -> m b) -> m b) -> Number -> m a -> m [a]
8+ forever :: forall m a b. (forall a b. m a -> (a -> m b) -> m b) -> m a -> m b
10− replicateM = \return bind n m -> case n of
9+ forever = \bind action -> bind action $ \_ -> forever bind action
11− 0 -> return []
12− n -> bind m (\x -> bind (replicateM return bind (n - 1) m) (\xs -> return (x : xs)))
13
10
14 main = Debug.Trace.trace "Done"
11 main = Debug.Trace.trace "Done"
examples/passing/STArray.purs+4−2
@@ -3,7 +3,7 @@ module Main where
3import Prelude
3import Prelude
4import Control.Monad.Eff
4import Control.Monad.Eff
5import Control.Monad.ST
5import Control.Monad.ST
6−import Data.Array
6+import Debug.Trace
7
7
8test = runSTArray (do
8test = runSTArray (do
9 a <- newSTArray 2 0
9 a <- newSTArray 2 0
@@ -20,4 +20,6 @@ fromTo lo hi = runSTArray (do
20 arr <- newSTArray (hi - lo + 1) 0
20 arr <- newSTArray (hi - lo + 1) 0
21 fromTo' lo hi 0 arr)
21 fromTo' lo hi 0 arr)
22
22
23+main = do
23−main = Debug.Trace.print $ runPure (fromTo 10 20)
24+ let t1 = runPure (fromTo 10 20)
25+ trace "Done"
examples/passing/Traversable.pursdeleted−8
@@ -1,8 +0,0 @@
1−module Main where
2−
3− import Prelude
4− import Data.Array
5− import Data.Maybe
6− import Data.Traversable
7−
8− main = Debug.Trace.print (sequence (Just [1,2,3]))
examples/passing/TypeClassesWithOverlappingTypeVariables.purs+2−1
@@ -1,7 +1,8 @@
1module Main where
1module Main where
2
2
3 import Prelude
3 import Prelude
4− import Data.Either
4+
5+ data Either a b = Left a | Right b
5
6
6 instance functorEither :: Prelude.Functor (Either a) where
7 instance functorEither :: Prelude.Functor (Either a) where
7 (<$>) _ (Left x) = Left x
8 (<$>) _ (Left x) = Left x
examples/passing/TypeSynonyms.purs−13
@@ -22,17 +22,4 @@ module Main where
22 test1 :: forall a b c. Lens (Pair (Pair a b) c) a
22 test1 :: forall a b c. Lens (Pair (Pair a b) c) a
23 test1 = composeLenses fst fst
23 test1 = composeLenses fst fst
24
24
25− import Data.Array ((:))
26− import Data.Array.Unsafe
27−
28− headLens :: forall a. Lens [a] a
29− headLens =
30− { get: \l -> head l
31− , set: \l a -> case l of
32− _:xs -> a : xs
33− }
34−
35− test2 :: forall a b c. Lens (Pair [Pair a b] c) a
36− test2 = composeLenses fst (composeLenses headLens fst)
37−
38 main = Debug.Trace.trace "Done"
25 main = Debug.Trace.trace "Done"