135 brought an improved surface language including case expressions (to avoid having to manually call match_Something functions). Support for these expressions is only syntaxic.
E.g.
case @Bool @(Maybe x) mx of {
Nothing -> False ;
Just _ -> True
}
Translation of these expressions to system F remains to be implemented in the Language.Pirouette.QuasiQuoter.ToTerm module.
Tests and examples making use of explicit calls to match_Something functions then have to be updated accordingly to use case expressions. Especially in Language.Pirouette.Example.IsUnity and the many test modules under tests/Pirouette.
135 brought an improved surface language including case expressions (to avoid having to manually call
match_Somethingfunctions). Support for these expressions is only syntaxic.E.g.
Translation of these expressions to system F remains to be implemented in the
Language.Pirouette.QuasiQuoter.ToTermmodule.Tests and examples making use of explicit calls to
match_Somethingfunctions then have to be updated accordingly to use case expressions. Especially inLanguage.Pirouette.Example.IsUnityand the many test modules undertests/Pirouette.