-
Kim Nguyễn authored
Add a workaround in case pattern compilation failed (after typechecking) due to the presence of type variables in some types.
9da1d67c
Add a workaround in case pattern compilation failed (after typechecking) due to the presence of type variables in some types.