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... -- View it on GitLab: https://gitlab.com/monnier/typer/-/commit/027d399cef140016c6a0378ab187abc859... You're receiving this email because of your account on gitlab.com.
Afficher les réponses par date
participants (1)
-
Soilihi BEN SOILIHI BOINA (@BenSoilih)