debug

josefs · Feb 2, 2023 · ed424ba · ed424ba
1 parent c68b28b
commit ed424ba
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/typechecker.erl b/src/typechecker.erl
@@ -2216,6 +2216,7 @@ type_check_call_ty_intersect(Env, ClauseTys, Args, E = {Name, P, FunTy}) ->
                                                      Acc
                                              end
                                      end, [], ClauseTys),
+    io:format("matching:\n~p\n", [MatchingClausesCss]),
     case MatchingClausesCss of
         [_|_] ->
             {MatchingClauses, Css} = lists:unzip(MatchingClausesCss),