git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Fix tests with shadowing names
2fa3374Gary Burgess
examples/passing/OneConstructor.purs+1−1
compare with golang
unifiedsplit
@@ -2,6 +2,6 @@ module Main where
2
2
3data One a = One a
3data One a = One a
4
4
5−one (One a) = a
5+one' (One a) = a
6
6
7main = Debug.Trace.trace "Done"
7main = Debug.Trace.trace "Done"
examples/passing/Rank2Data.purs+6−6
@@ -12,18 +12,18 @@ module Main where
12 runNat = \nat -> case nat of
12 runNat = \nat -> case nat of
13 Nat f -> f 0 (\n -> n + 1)
13 Nat f -> f 0 (\n -> n + 1)
14
14
15− zero = Nat (\zero _ -> zero)
15+ zero' = Nat (\zero' _ -> zero')
16
16
17 succ = \n -> case n of
17 succ = \n -> case n of
18− Nat f -> Nat (\zero succ -> succ (f zero succ))
18+ Nat f -> Nat (\zero' succ -> succ (f zero' succ))
19
19
20 add = \n m -> case n of
20 add = \n m -> case n of
21 Nat f -> case m of
21 Nat f -> case m of
22− Nat g -> Nat (\zero succ -> g (f zero succ) succ)
22+ Nat g -> Nat (\zero' succ -> g (f zero' succ) succ)
23
23
24− one = succ zero
24+ one' = succ zero'
25− two = succ zero
25+ two = succ zero'
26 four = add two two
26 four = add two two
27 fourNumber = runNat four
27 fourNumber = runNat four
28
28
29− main = Debug.Trace.trace "Done"
29+ main = Debug.Trace.trace "Done'"
examples/passing/ShadowedTCO.purs+5−5
@@ -2,14 +2,14 @@ module Main where
2
2
3runNat f = f 0 (\n -> n + 1)
3runNat f = f 0 (\n -> n + 1)
4
4
5−zero z _ = z
5+zero' z _ = z
6
6
7−succ f zero succ = succ (f zero succ)
7+succ f zero' succ = succ (f zero' succ)
8
8
9−add f g zero succ = g (f zero succ) succ
9+add f g zero' succ = g (f zero' succ) succ
10
10
11−one = succ zero
11+one' = succ zero'
12−two = succ one
12+two = succ one'
13four = add two two
13four = add two two
14fourNumber = runNat four
14fourNumber = runNat four
15
15