git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Fix tests with shadowing names
commit2fa33742e65b6ed97ec9a23476dba36bfad9d81d authorGary Burgess <gary.burgess@gmail.com> dateMon 16 Feb 2015, 00:00 (12 years ago) parente36bfea
3 files changed+12−12
compare with golang
unifiedsplit
examples/passing/OneConstructor.purs+1−1 examples/passing/Rank2Data.purs+6−6 examples/passing/ShadowedTCO.purs+5−5
examples/passing/OneConstructor.purs+1−1
@@ -2,6 +2,6 @@ module Main where
22
33data One a = One a
44
5−one (One a) = a
5+one' (One a) = a
66
77main = Debug.Trace.trace "Done"
examples/passing/Rank2Data.purs+6−6
@@ -12,18 +12,18 @@ module Main where
1212 runNat = \nat -> case nat of
1313 Nat f -> f 0 (\n -> n + 1)
1414
15− zero = Nat (\zero _ -> zero)
15+ zero' = Nat (\zero' _ -> zero')
1616
1717 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))
1919
2020 add = \n m -> case n of
2121 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)
2323
24− one = succ zero
25− two = succ zero
24+ one' = succ zero'
25+ two = succ zero'
2626 four = add two two
2727 fourNumber = runNat four
2828
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
22
33runNat f = f 0 (\n -> n + 1)
44
5−zero z _ = z
5+zero' z _ = z
66
7−succ f zero succ = succ (f zero succ)
7+succ f zero' succ = succ (f zero' succ)
88
9−add f g zero succ = g (f zero succ) succ
9+add f g zero' succ = g (f zero' succ) succ
1010
11−one = succ zero
12−two = succ one
11+one' = succ zero'
12+two = succ one'
1313four = add two two
1414fourNumber = runNat four
1515