Soilihi BEN SOILIHI BOINA pushed to branch add-proj at Stefan / Typer

Commits: 027d399c by Soilih at 2022-02-05T20:35:49-05:00 -m

- - - - -

1 changed file:

- src/opslexp.ml

Changes:

===================================== src/opslexp.ml ===================================== @@ -1244,8 +1244,7 @@ let pos_of_label lctx label e : int = in find_index label l 0 | _ -> let (loc, _) = label in - Log.log_fatal ~loc:loc "Wrong arg number to inductive type!" - ) + Log.log_fatal ~loc:loc "Wrong arg number to inductive type!") | Inductive _, _ -> let (loc,_) = label in Log.log_error ~loc:loc "Proj on an inductive type that's not a tuple!"; 0

View it on GitLab: https://gitlab.com/monnier/typer/-/commit/027d399cef140016c6a0378ab187abc859...