Skip to content

Commit

Permalink
Fix infinite loop.
Browse files Browse the repository at this point in the history
  • Loading branch information
skaller committed Nov 5, 2017
1 parent c163625 commit 9108c48
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/compiler/flx_bind/flx_bind_type.ml
Original file line number Diff line number Diff line change
Expand Up @@ -464,7 +464,7 @@ print_endline ("type _map datatype = " ^ sbt bsym_table bt2);

| _ -> clierrx "[flx_bind/flx_lookup.ml:1002: E98] " sr ("Cannot flatten type " ^ sbt bsym_table t2)
end

(*
| TYP_apply (TYP_void _ as qn, t2')
| TYP_apply (TYP_name _ as qn, t2')
| TYP_apply (TYP_case_tag _ as qn, t2')
Expand Down Expand Up @@ -551,7 +551,7 @@ print_endline ("reduced application is: " ^ sbt bsym_table r);
*)
r
end

*)
| TYP_apply (t1,t2) -> btyp_type_apply (bt t1, bt t2)
| TYP_type_tuple ts -> btyp_type_tuple (List.map bt ts)

Expand Down

0 comments on commit 9108c48

Please sign in to comment.