git.iko.soy/rowtype-yoga/purescript-native

on golang help sign in

examples/failing/Arrays.purs+1−1

compare with golang

unifiedsplit

@@ -1,4 +1,4 @@

1−module Arrays where

1+module Data.Array where

2

2

3 import Prelude

3 import Prelude

4

4

examples/failing/SkolemEscape2.purs+2−2

@@ -1,8 +1,8 @@

1module SkolemEscape where

1module SkolemEscape where

2

2

3import Prelude

3import Prelude

4−import Eff

4+import Control.Monad.Eff

5−import ST

5+import Control.Monad.ST

6

6

7test _ = do

7test _ = do

8 r <- runST (newSTRef 0)

8 r <- runST (newSTRef 0)

examples/passing/Applicative.purs+1−1

@@ -13,4 +13,4 @@ instance Applicative Maybe where

13

13

14module Main where

14module Main where

15

15

16−main = Trace.trace "Done"

16+main = Debug.Trace.trace "Done"

examples/passing/ArrayType.purs+1−1

@@ -14,4 +14,4 @@ instance Functor [] where

14

14

15module Main where

15module Main where

16

16

17−main = Trace.trace "Done"

17+main = Debug.Trace.trace "Done"

examples/passing/Arrays.purs+4−4

@@ -1,4 +1,4 @@

1−module ArraysTests where

1+module Data.ArrayTests where

2

2

3import Prelude

3import Prelude

4

4

@@ -23,12 +23,12 @@ test4 = \arr -> case arr of

23

23

24module Main where

24module Main where

25

25

26−import Arrays

26+import Data.Array

27import Prelude

27import Prelude

28

28

29main = do

29main = do

30 let x = [3,2,1]

30 let x = [3,2,1]

31 let y = sort x

31 let y = sort x

32 if x == [3,2,1]

32 if x == [3,2,1]

33− then Trace.trace "Done"

33+ then Debug.Trace.trace "Done"

34− else Errors.throwError "Not done"

34+ else Control.Monad.Error.throwError "Not done"

examples/passing/Auto.purs+1−1

@@ -12,4 +12,4 @@ module Auto where

12

12

13module Main where

13module Main where

14

14

15−main = Trace.trace "Done"

15+main = Debug.Trace.trace "Done"

examples/passing/BindersInFunctions.purs+3−3

@@ -1,12 +1,12 @@

1module Main where

1module Main where

2

2

3import Prelude

3import Prelude

4−import Arrays

4+import Data.Array

5

5

6tails = map (\(_:xs) -> xs)

6tails = map (\(_:xs) -> xs)

7

7

8main =

8main =

9 let ts = tails [[1, 2, 3], [4, 5], [6]] in

9 let ts = tails [[1, 2, 3], [4, 5], [6]] in

10 if ts == [[2, 3], [5], []]

10 if ts == [[2, 3], [5], []]

11− then Trace.trace "Done"

11+ then Debug.Trace.trace "Done"

12− else Errors.throwError "Incorrect result from 'tails'."

12+ else Control.Monad.Error.throwError "Incorrect result from 'tails'."

examples/passing/Church.purs+1−1

@@ -15,4 +15,4 @@ module Church where

15

15

16module Main where

16module Main where

17

17

18−main = Trace.trace "Done"

18+main = Debug.Trace.trace "Done"

examples/passing/Collatz.purs+3−3

@@ -1,8 +1,8 @@

1module Main where

1module Main where

2

2

3import Prelude

3import Prelude

4−import Eff

4+import Control.Monad.Eff

5−import ST

5+import Control.Monad.ST

6

6

7collatz :: Number -> Number

7collatz :: Number -> Number

8collatz n = runPure (runST (do

8collatz n = runPure (runST (do

@@ -15,4 +15,4 @@ collatz n = runPure (runST (do

15 return $ m == 1

15 return $ m == 1

16 readSTRef count))

16 readSTRef count))

17

17

18−main = Trace.print $ collatz 1

18+main = Debug.Trace.print $ collatz 1

examples/passing/Conditional.purs+1−1

@@ -6,4 +6,4 @@ module Conditional where

6

6

7module Main where

7module Main where

8

8

9−main = Trace.trace "Done"

9+main = Debug.Trace.trace "Done"

examples/passing/Cons.purs+2−2

@@ -1,7 +1,7 @@

1module Cons where

1module Cons where

2

2

3 import Prelude

3 import Prelude

4− import Arrays

4+ import Data.Array

5

5

6 test1 = \xs -> 1 : xs

6 test1 = \xs -> 1 : xs

7

7

@@ -9,4 +9,4 @@ module Cons where

9

9

10module Main where

10module Main where

11

11

12−main = Trace.trace "Done"

12+main = Debug.Trace.trace "Done"

examples/passing/Console.purs+2−2

@@ -1,8 +1,8 @@

1module Main where

1module Main where

2

2

3import Prelude

3import Prelude

4−import Eff

4+import Control.Monad.Eff

5−import Trace

5+import Debug.Trace

6

6

7replicateM_ :: forall m a. (Monad m) => Number -> m a -> m {}

7replicateM_ :: forall m a. (Monad m) => Number -> m a -> m {}

8replicateM_ 0 _ = return {}

8replicateM_ 0 _ = return {}

examples/passing/DataAndType.purs+1−1

@@ -6,4 +6,4 @@ type B = A

6

6

7module Main where

7module Main where

8

8

9−main = Trace.trace "Done"

9+main = Debug.Trace.trace "Done"

examples/passing/DataImport.purs+1−1

@@ -10,4 +10,4 @@ unTest (Test s) = s

10

10

11main = do

11main = do

12 let x = unTest (Test "Done")

12 let x = unTest (Test "Done")

13− Trace.trace x

13+ Debug.Trace.trace x

examples/passing/Do.purs+1−1

@@ -46,4 +46,4 @@ test9 = \_ -> (+) <$> Just 1 <*> Just 2

46

46

47module Main where

47module Main where

48

48

49−main = Trace.trace "Done"

49+main = Debug.Trace.trace "Done"

examples/passing/Dollar.purs+1−1

@@ -13,4 +13,4 @@ test2 x = id id $ id x

13

13

14module Main where

14module Main where

15

15

16−main = Trace.trace "Done"

16+main = Debug.Trace.trace "Done"

examples/passing/DottedModules.purs+1−1

@@ -17,4 +17,4 @@ module Main where

17

17

18 unwrap (Text x) = x

18 unwrap (Text x) = x

19

19

20− main = Trace.print $ foo $ unwrap x

20+ main = Debug.Trace.print $ foo $ unwrap x

examples/passing/Eff.purs+7−7

@@ -1,10 +1,10 @@

1module TestEff where

1module TestEff where

2

2

3import Prelude

3import Prelude

4−import Eff

4+import Control.Monad.Eff

5−import ST

5+import Control.Monad.ST

6−import Errors

6+import Control.Monad.Error

7−import Trace

7+import Debug.Trace

8

8

9test1 = catchError (\s -> return 0) $ do

9test1 = catchError (\s -> return 0) $ do

10 trace "Testing"

10 trace "Testing"

@@ -18,10 +18,10 @@ test2 = runPure (runST (do

18module Main where

18module Main where

19

19

20import Prelude

20import Prelude

21−import Eff

21+import Control.Monad.Eff

22import TestEff

22import TestEff

23

23

24main = do

24main = do

25 n <- test1

25 n <- test1

26− Trace.print n

26+ Debug.Trace.print n

27− Trace.print test2

27+ Debug.Trace.print test2

examples/passing/ExternData.purs+1−1

@@ -16,4 +16,4 @@ module ExternData where

16

16

17module Main where

17module Main where

18

18

19−main = Trace.trace "Done"

19+main = Debug.Trace.trace "Done"

examples/passing/ExternRaw.purs+1−1

@@ -12,4 +12,4 @@ foreign import concat "function concat(xs) { \

12

12

13module Main where

13module Main where

14

14

15−main = Trace.trace "Done"

15+main = Debug.Trace.trace "Done"

examples/passing/FFI.purs+1−1

@@ -13,4 +13,4 @@ baz _ = foo "test"

13

13

14module Main where

14module Main where

15

15

16−main = Trace.trace "Done"

16+main = Debug.Trace.trace "Done"

examples/passing/FunctionScope.purs+2−2

@@ -13,5 +13,5 @@ module Main where

13 main = do

13 main = do

14 let value = mkValue 1

14 let value = mkValue 1

15 if value == 1

15 if value == 1

16− then Trace.trace "Done"

16+ then Debug.Trace.trace "Done"

17− else Errors.throwError "Not done"

17+ else Control.Monad.Error.throwError "Not done"

examples/passing/Functions.purs+1−1

@@ -14,4 +14,4 @@ module Functions where

14

14

15module Main where

15module Main where

16

16

17−main = Trace.trace "Done"

17+main = Debug.Trace.trace "Done"

examples/passing/Functions2.purs+2−2

@@ -13,5 +13,5 @@ module Main where

13 main = do

13 main = do

14 let value = test "Done" {}

14 let value = test "Done" {}

15 if value == "Done"

15 if value == "Done"

16− then Trace.trace "Done"

16+ then Debug.Trace.trace "Done"

17− else Errors.throwError "Not done"

17+ else Control.Monad.Error.throwError "Not done"

examples/passing/Guards.purs+1−1

@@ -13,4 +13,4 @@ module Guards where

13

13

14module Main where

14module Main where

15

15

16−main = Trace.trace "Done"

16+main = Debug.Trace.trace "Done"

examples/passing/Import.purs+1−1

@@ -13,4 +13,4 @@ module M2 where

13

13

14module Main where

14module Main where

15

15

16−main = Trace.trace "Done"

16+main = Debug.Trace.trace "Done"

examples/passing/InferRecFunWithConstrainedArgument.purs+1−1

@@ -5,4 +5,4 @@ import Prelude

5test 100 = 100

5test 100 = 100

6test n = test(1 + n)

6test n = test(1 + n)

7

7

8−main = Trace.print $ test 0

8+main = Debug.Trace.print $ test 0

examples/passing/JSReserved.purs+2−2

@@ -12,10 +12,10 @@ module JSReserved where

12module Main where

12module Main where

13

13

14 import Prelude

14 import Prelude

15− import Arrays

15+ import Data.Array

16 import JSReserved

16 import JSReserved

17

17

18− main = Trace.print [ yield

18+ main = Debug.Trace.print [ yield

19 , member

19 , member

20 , this 1

20 , this 1

21 , public 1 ]

21 , public 1 ]

examples/passing/Let.purs+4−4

@@ -1,7 +1,7 @@

1module Main where

1module Main where

2

2

3import Prelude

3import Prelude

4−import Eff

4+import Control.Monad.Eff

5

5

6test1 x = let y = x + 1 in y

6test1 x = let y = x + 1 in y

7

7

@@ -13,6 +13,6 @@ test2 x y =

13test3 x = let 1 = x in 2

13test3 x = let 1 = x in 2

14

14

15main = do

15main = do

16− Trace.print (test1 1)

16+ Debug.Trace.print (test1 1)

17− Trace.print (test2 1 2)

17+ Debug.Trace.print (test2 1 2)

18− Trace.print (test3 1)

18+ Debug.Trace.print (test3 1)

examples/passing/List.purs+3−3

@@ -1,10 +1,10 @@

1module Main where

1module Main where

2

2

3import Prelude

3import Prelude

4−import Eff

4+import Control.Monad.Eff

5−import Arrays

5+import Data.Array

6import Global

6import Global

7

7

8main = do

8main = do

9 let test1 = concat [1, 2, 3] [4, 5, 6]

9 let test1 = concat [1, 2, 3] [4, 5, 6]

10− Trace.print test1

10+ Debug.Trace.print test1

examples/passing/Match.purs+1−1

@@ -6,4 +6,4 @@ module Match where

6

6

7module Main where

7module Main where

8

8

9−main = Trace.trace "Done"

9+main = Debug.Trace.trace "Done"

examples/passing/Math.purs+2−2

@@ -1,8 +1,8 @@

1module Main where

1module Main where

2

2

3 import Prelude

3 import Prelude

4− import Trace

4+ import Debug.Trace

5− import Eff

5+ import Control.Monad.Eff

6

6

7 main = do

7 main = do

8 print $ Math.sin 0

8 print $ Math.sin 0

examples/passing/Maybe.purs+2−2

@@ -1,7 +1,7 @@

1module Main where

1module Main where

2

2

3import Prelude

3import Prelude

4−import Maybe

4+import Data.Maybe

5import Global

5import Global

6

6

7main = do

7main = do

@@ -9,4 +9,4 @@ main = do

9 a <- Just 1

9 a <- Just 1

10 b <- Just 2

10 b <- Just 2

11 return (a + b)

11 return (a + b)

12− Trace.print test1

12+ Debug.Trace.print test1

examples/passing/Module.purs+1−1

@@ -25,4 +25,4 @@ module M2 where

25

25

26module Main where

26module Main where

27

27

28−main = Trace.trace "Done"

28+main = Debug.Trace.trace "Done"

examples/passing/ModuleDeps.purs+1−1

@@ -14,4 +14,4 @@ baz = 1

14

14

15module Main where

15module Main where

16

16

17−main = Trace.trace "Done"

17+main = Debug.Trace.trace "Done"

examples/passing/Monad.purs+1−1

@@ -29,4 +29,4 @@ module MonadTest where

29

29

30module Main where

30module Main where

31

31

32−main = Trace.trace "Done"

32+main = Debug.Trace.trace "Done"

examples/passing/MultipleConstructorArgs.purs+5−5

@@ -1,6 +1,6 @@

1module MultipleConstructorArgs where

1module MultipleConstructorArgs where

2

2

3−import Arrays

3+import Data.Array

4

4

5data P a b = P a b

5data P a b = P a b

6

6

@@ -20,9 +20,9 @@ module Main where

20import Prelude

20import Prelude

21import MultipleConstructorArgs

21import MultipleConstructorArgs

22import Global

22import Global

23−import Eff

23+import Control.Monad.Eff

24−import Arrays

24+import Data.Array

25

25

26main = do

26main = do

27− Trace.trace (runP (\s n -> s ++ show n) (P "Test" 1))

27+ Debug.Trace.trace (runP (\s n -> s ++ show n) (P "Test" 1))

28− Trace.print test1

28+ Debug.Trace.print test1

examples/passing/MutRec.purs+1−1

@@ -18,4 +18,4 @@ module MutRec where

18

18

19module Main where

19module Main where

20

20

21−main = Trace.trace "Done"

21+main = Debug.Trace.trace "Done"

examples/passing/NamedPatterns.purs+1−1

@@ -6,4 +6,4 @@ module NamedPatterns where

6

6

7module Main where

7module Main where

8

8

9−main = Trace.trace "Done"

9+main = Debug.Trace.trace "Done"

examples/passing/Nested.purs+1−1

@@ -6,4 +6,4 @@ module Nested where

6

6

7module Main where

7module Main where

8

8

9−main = Trace.trace "Done"

9+main = Debug.Trace.trace "Done"

examples/passing/NestedTypeSynonyms.purs+1−1

@@ -10,4 +10,4 @@ module Main where

10

10

11 import Prelude

11 import Prelude

12

12

13− main = Trace.print (NestedTypeSynonyms.fn "Done")

13+ main = Debug.Trace.print (NestedTypeSynonyms.fn "Done")

examples/passing/ObjectSynonym.purs+1−1

@@ -12,4 +12,4 @@ outer = { inner: inner }

12

12

13module Main where

13module Main where

14

14

15−main = Trace.trace "Done"

15+main = Debug.Trace.trace "Done"

examples/passing/ObjectUpdate.purs+1−1

@@ -17,4 +17,4 @@ module ObjectUpdate where

17

17

18module Main where

18module Main where

19

19

20−main = Trace.trace "Done"

20+main = Debug.Trace.trace "Done"

examples/passing/Objects.purs+1−1

@@ -17,4 +17,4 @@ module Objects where

17

17

18module Main where

18module Main where

19

19

20−main = Trace.trace "Done"

20+main = Debug.Trace.trace "Done"

examples/passing/OneConstructor.purs+1−1

@@ -6,4 +6,4 @@ one (One a) = a

6

6

7module Main where

7module Main where

8

8

9−main = Trace.trace "Done"

9+main = Debug.Trace.trace "Done"

examples/passing/Operators.purs+3−3

@@ -60,10 +60,10 @@ import Operators1

60import Operators2

60import Operators2

61

61

62import Prelude

62import Prelude

63−import Eff

63+import Control.Monad.Eff

64−import Trace

64+import Debug.Trace

65import Global

65import Global

66−import Arrays

66+import Data.Array

67

67

68main =

68main =

69 print [ show $ test1 1 2 $ \x y -> x + y

69 print [ show $ test1 1 2 $ \x y -> x + y

examples/passing/OptimizerBug.purs+1−1

@@ -8,4 +8,4 @@ y a = x a

8

8

9module Main where

9module Main where

10

10

11−main = Trace.trace "Done"

11+main = Debug.Trace.trace "Done"

examples/passing/Patterns.purs+1−1

@@ -27,4 +27,4 @@ module Patterns where

27

27

28module Main where

28module Main where

29

29

30−main = Trace.trace "Done"

30+main = Debug.Trace.trace "Done"

examples/passing/Person.purs+1−1

@@ -12,4 +12,4 @@ module Person where

12

12

13module Main where

13module Main where

14

14

15−main = Trace.trace "Done"

15+main = Debug.Trace.trace "Done"

examples/passing/Rank2Data.purs+1−1

@@ -28,4 +28,4 @@ module Rank2Data where

28

28

29module Main where

29module Main where

30

30

31−main = Trace.trace "Done"

31+main = Debug.Trace.trace "Done"

examples/passing/Rank2Types.purs+1−1

@@ -22,4 +22,4 @@ module Rank2Types where

22

22

23module Main where

23module Main where

24

24

25−main = Trace.trace "Done"

25+main = Debug.Trace.trace "Done"

examples/passing/Recursion.purs+1−1

@@ -9,4 +9,4 @@ module Recursion where

9

9

10module Main where

10module Main where

11

11

12−main = Trace.trace "Done"

12+main = Debug.Trace.trace "Done"

examples/passing/RedefinedFixity.purs+1−1

@@ -15,4 +15,4 @@ import M2

15

15

16module Main where

16module Main where

17

17

18−main = Trace.trace "Done"

18+main = Debug.Trace.trace "Done"

examples/passing/RuntimeScopeIssue.purs+1−1

@@ -22,4 +22,4 @@ import RuntimeScopeIssue

22

22

23import Prelude

23import Prelude

24

24

25−main = Trace.print $ a 10

25+main = Debug.Trace.print $ a 10

examples/passing/STArray.purs+4−4

@@ -1,9 +1,9 @@

1module Main where

1module Main where

2

2

3import Prelude

3import Prelude

4−import Eff

4+import Control.Monad.Eff

5−import ST

5+import Control.Monad.ST

6−import Arrays

6+import Data.Array

7

7

8test = runSTArray (do

8test = runSTArray (do

9 a <- newSTArray 2 0

9 a <- newSTArray 2 0

@@ -20,4 +20,4 @@ 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 = Trace.print $ runPure (fromTo 10 20)

23+main = Debug.Trace.print $ runPure (fromTo 10 20)

examples/passing/TailCall.purs+1−1

@@ -17,4 +17,4 @@ module Main where

17import Prelude

17import Prelude

18import TailCall

18import TailCall

19

19

20−main = Trace.print (test 0 [1, 2, 3])

20+main = Debug.Trace.print (test 0 [1, 2, 3])

examples/passing/Tick.purs+1−1

@@ -4,4 +4,4 @@ test' x = x

4

4

5module Main where

5module Main where

6

6

7−main = Trace.trace "Done"

7+main = Debug.Trace.trace "Done"

examples/passing/TopLevelCase.purs+1−1

@@ -17,4 +17,4 @@ module TopLevelCase where

17

17

18module Main where

18module Main where

19

19

20−main = Trace.trace "Done"

20+main = Debug.Trace.trace "Done"

examples/passing/TypeClasses.purs+1−1

@@ -65,5 +65,5 @@ module Main where

65import Prelude

65import Prelude

66import TypeClasses

66import TypeClasses

67

67

68−main = Trace.trace (test7 "Done")

68+main = Debug.Trace.trace (test7 "Done")

69

69

examples/passing/TypeClassesInOrder.purs+1−1

@@ -8,4 +8,4 @@ class Foo a where

8instance Foo String where

8instance Foo String where

9 foo s = s

9 foo s = s

10

10

11−main = Trace.trace $ foo "Done"

11+main = Debug.Trace.trace $ foo "Done"

examples/passing/TypeClassesWithOverlappingTypeVariables.purs+2−2

@@ -1,10 +1,10 @@

1module Main where

1module Main where

2

2

3 import Prelude

3 import Prelude

4− import Either

4+ import Data.Either

5

5

6 instance Prelude.Functor (Either a) where

6 instance Prelude.Functor (Either a) where

7 (<$>) _ (Left x) = Left x

7 (<$>) _ (Left x) = Left x

8 (<$>) f (Right y) = Right (f y)

8 (<$>) f (Right y) = Right (f y)

9

9

10− main = Trace.trace "Done"

10+ main = Debug.Trace.trace "Done"

examples/passing/TypeDecl.purs+1−1

@@ -11,4 +11,4 @@ module TypeDecl where

11

11

12module Main where

12module Main where

13

13

14−main = Trace.trace "Done"

14+main = Debug.Trace.trace "Done"

examples/passing/TypeSynonyms.purs+3−2

@@ -22,7 +22,8 @@ module TypeSynonyms 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 Arrays

25+ import Data.Array ((:))

26+ import Data.Array.Unsafe

26

27

27 headLens :: forall a. Lens [a] a

28 headLens :: forall a. Lens [a] a

28 headLens =

29 headLens =

@@ -36,4 +37,4 @@ module TypeSynonyms where

36

37

37module Main where

38module Main where

38

39

39−main = Trace.trace "Done"

40+main = Debug.Trace.trace "Done"

examples/passing/iota.purs+1−1

@@ -8,4 +8,4 @@ module Iota where

8

8

9module Main where

9module Main where

10

10

11−main = Trace.trace "Done"

11+main = Debug.Trace.trace "Done"

examples/passing/s.purs+1−1

@@ -4,4 +4,4 @@ module S where

4

4

5module Main where

5module Main where

6

6

7−main = Trace.trace "Done"

7+main = Debug.Trace.trace "Done"