Allow traverse function implementation to return multiple errors

Author: decioferreira

src/Compiler/Canonicalize/Module.elm

@@ -85,6 +85,7 @@ canonicalizeBinop (A.At _ (Src.Infix op associativity precedence func)) =
 --
 -- 1. Detect cycles using ALL dependencies => needed for type inference
 -- 2. Detect cycles using DIRECT dependencies => nonterminating recursion
+--
 
 
 canonicalizeValues : SyntaxVersion -> Env.Env -> List (A.Located Src.Value) -> MResult i (List W.Warning) Can.Decls

src/Compiler/Reporting/Result.elm

@@ -161,7 +161,29 @@ bind callback (RResult ka) =
 
 traverse : (a -> RResult i w x b) -> List a -> RResult i w x (List b)
 traverse func list =
-    loop (traverseHelp func) ( list, [] )
+    List.foldr
+        (\(RResult kv) (RResult acc) ->
+            RResult <|
+                \i w ->
+                    case acc i w of
+                        ROk i1 w1 accList ->
+                            case kv i1 w1 of
+                                ROk i2 w2 value ->
+                                    ROk i2 w2 (value :: accList)
+
+                                RErr i2 w2 e2 ->
+                                    RErr i2 w2 e2
+
+                        RErr i1 w1 e1 ->
+                            case kv i1 w1 of
+                                ROk i2 w2 _ ->
+                                    RErr i2 w2 e1
+
+                                RErr i2 w2 e2 ->
+                                    RErr i2 w2 (OneOrMore.more e1 e2)
+        )
+        (pure [])
+        (List.map func list)
 
 
 traverseHelp : (a -> RResult i w e b) -> ( List a, List b ) -> RResult i w e (Step ( List a, List b ) (List b))

tests/backwards-compatibility.test.js

@@ -160,7 +160,7 @@ describe("backwards compatibility", () => {
   });
 
   describe("tuples", () => {
-    test.skip("fails on 3+ tuples on elm files", () => {
+    test("fails on 3+ tuples on elm files", () => {
       const elmOutput = `${tmpDir}/guida-test-elm-tuple-n-${process.pid}.json`;
       const guidaOutput = `${tmpDir}/guida-test-guida-tuple-n-${process.pid}.json`;