diff --git a/lib/tests/french/bescherelle/07aimer.out b/lib/tests/french/bescherelle/07aimer.out index 423618d40..25aef88b7 100644 --- a/lib/tests/french/bescherelle/07aimer.out +++ b/lib/tests/french/bescherelle/07aimer.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => aimer s . CommonRomance.VInfin Prelude.False => aimer +s . CommonRomance.VInfin Prelude.True => aimer s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => aime s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => aimes s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => aime diff --git a/lib/tests/french/bescherelle/08placer.out b/lib/tests/french/bescherelle/08placer.out index 24ae2c828..62f0ee50b 100644 --- a/lib/tests/french/bescherelle/08placer.out +++ b/lib/tests/french/bescherelle/08placer.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => placer s . CommonRomance.VInfin Prelude.False => placer +s . CommonRomance.VInfin Prelude.True => placer s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => place s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => places s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => place diff --git a/lib/tests/french/bescherelle/09manger.out b/lib/tests/french/bescherelle/09manger.out index 90f22f0fd..d13ba3dde 100644 --- a/lib/tests/french/bescherelle/09manger.out +++ b/lib/tests/french/bescherelle/09manger.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => manger s . CommonRomance.VInfin Prelude.False => manger +s . CommonRomance.VInfin Prelude.True => manger s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => mange s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => manges s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => mange diff --git a/lib/tests/french/bescherelle/10peser.out b/lib/tests/french/bescherelle/10peser.out index 1db95b987..b8fc99e44 100644 --- a/lib/tests/french/bescherelle/10peser.out +++ b/lib/tests/french/bescherelle/10peser.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => peser s . CommonRomance.VInfin Prelude.False => peser +s . CommonRomance.VInfin Prelude.True => peser s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => pèse s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => pèses s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => pèse diff --git a/lib/tests/french/bescherelle/11céder.out b/lib/tests/french/bescherelle/11céder.out index a572addee..e205b914c 100644 --- a/lib/tests/french/bescherelle/11céder.out +++ b/lib/tests/french/bescherelle/11céder.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => céder s . CommonRomance.VInfin Prelude.False => céder +s . CommonRomance.VInfin Prelude.True => céder s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => cède s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => cèdes s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => cède diff --git a/lib/tests/french/bescherelle/12jeter.out b/lib/tests/french/bescherelle/12jeter.out index d93a9cfb4..ff0bd8e7b 100644 --- a/lib/tests/french/bescherelle/12jeter.out +++ b/lib/tests/french/bescherelle/12jeter.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => jeter s . CommonRomance.VInfin Prelude.False => jeter +s . CommonRomance.VInfin Prelude.True => jeter s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => jette s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => jettes s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => jette diff --git a/lib/tests/french/bescherelle/13modeler.out b/lib/tests/french/bescherelle/13modeler.out index ae920eaa2..6ceccb3bb 100644 --- a/lib/tests/french/bescherelle/13modeler.out +++ b/lib/tests/french/bescherelle/13modeler.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => modeler s . CommonRomance.VInfin Prelude.False => modeler +s . CommonRomance.VInfin Prelude.True => modeler s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => modèle s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => modèles s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => modèle diff --git a/lib/tests/french/bescherelle/14créer.out b/lib/tests/french/bescherelle/14créer.out index 724661c23..ab50d5145 100644 --- a/lib/tests/french/bescherelle/14créer.out +++ b/lib/tests/french/bescherelle/14créer.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => créer s . CommonRomance.VInfin Prelude.False => créer +s . CommonRomance.VInfin Prelude.True => créer s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => crée s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => crées s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => crée diff --git a/lib/tests/french/bescherelle/15assiéger.out b/lib/tests/french/bescherelle/15assiéger.out index 445f2c76c..0fc7ed945 100644 --- a/lib/tests/french/bescherelle/15assiéger.out +++ b/lib/tests/french/bescherelle/15assiéger.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => assiéger s . CommonRomance.VInfin Prelude.False => assiéger +s . CommonRomance.VInfin Prelude.True => assiéger s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => assiège s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => assièges s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => assiège diff --git a/lib/tests/french/bescherelle/16apprécier.out b/lib/tests/french/bescherelle/16apprécier.out index 7c1ab7a2a..1fab16882 100644 --- a/lib/tests/french/bescherelle/16apprécier.out +++ b/lib/tests/french/bescherelle/16apprécier.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => apprécier s . CommonRomance.VInfin Prelude.False => apprécier +s . CommonRomance.VInfin Prelude.True => apprécier s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => apprécie s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => apprécies s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => apprécie diff --git a/lib/tests/french/bescherelle/17payer.out b/lib/tests/french/bescherelle/17payer.out index 02a0a9c10..5cbf4c678 100644 --- a/lib/tests/french/bescherelle/17payer.out +++ b/lib/tests/french/bescherelle/17payer.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => payer s . CommonRomance.VInfin Prelude.False => payer +s . CommonRomance.VInfin Prelude.True => payer s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => paie s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => paies s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => paie diff --git a/lib/tests/french/bescherelle/18broyer.out b/lib/tests/french/bescherelle/18broyer.out index 4d731a9a6..644260ec3 100644 --- a/lib/tests/french/bescherelle/18broyer.out +++ b/lib/tests/french/bescherelle/18broyer.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => broyer s . CommonRomance.VInfin Prelude.False => broyer +s . CommonRomance.VInfin Prelude.True => broyer s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => broie s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => broies s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => broie diff --git a/lib/tests/french/bescherelle/19envoyer.out b/lib/tests/french/bescherelle/19envoyer.out index f4ce7f61b..67aa47f85 100644 --- a/lib/tests/french/bescherelle/19envoyer.out +++ b/lib/tests/french/bescherelle/19envoyer.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => envoyer s . CommonRomance.VInfin Prelude.False => envoyer +s . CommonRomance.VInfin Prelude.True => envoyer s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => envoie s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => envoies s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => envoie diff --git a/lib/tests/french/bescherelle/20finir.out b/lib/tests/french/bescherelle/20finir.out index eee9269e1..0d1eaca26 100644 --- a/lib/tests/french/bescherelle/20finir.out +++ b/lib/tests/french/bescherelle/20finir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => finir s . CommonRomance.VInfin Prelude.False => finir +s . CommonRomance.VInfin Prelude.True => finir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => finis s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => finis s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => finit diff --git a/lib/tests/french/bescherelle/21haïr.out b/lib/tests/french/bescherelle/21haïr.out index c60ad2550..198cabe38 100644 --- a/lib/tests/french/bescherelle/21haïr.out +++ b/lib/tests/french/bescherelle/21haïr.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => haïr s . CommonRomance.VInfin Prelude.False => haïr +s . CommonRomance.VInfin Prelude.True => haïr s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => hais s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => hais s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => hait diff --git a/lib/tests/french/bescherelle/23aller.out b/lib/tests/french/bescherelle/23aller.out index c13fa1568..371633f5d 100644 --- a/lib/tests/french/bescherelle/23aller.out +++ b/lib/tests/french/bescherelle/23aller.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => aller s . CommonRomance.VInfin Prelude.False => aller +s . CommonRomance.VInfin Prelude.True => aller s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => vais s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => vas s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => va diff --git a/lib/tests/french/bescherelle/24tenir.out b/lib/tests/french/bescherelle/24tenir.out index 1c4b701f3..0bb005966 100644 --- a/lib/tests/french/bescherelle/24tenir.out +++ b/lib/tests/french/bescherelle/24tenir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => tenir s . CommonRomance.VInfin Prelude.False => tenir +s . CommonRomance.VInfin Prelude.True => tenir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => tiens s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => tiens s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => tient diff --git a/lib/tests/french/bescherelle/25acquérir.out b/lib/tests/french/bescherelle/25acquérir.out index 694cd07a8..61b7da9ef 100644 --- a/lib/tests/french/bescherelle/25acquérir.out +++ b/lib/tests/french/bescherelle/25acquérir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => acquérir s . CommonRomance.VInfin Prelude.False => acquérir +s . CommonRomance.VInfin Prelude.True => acquérir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => acquiers s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => acquiers s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => acquiert diff --git a/lib/tests/french/bescherelle/26sentir.out b/lib/tests/french/bescherelle/26sentir.out index 494fd55cf..b4a354d1e 100644 --- a/lib/tests/french/bescherelle/26sentir.out +++ b/lib/tests/french/bescherelle/26sentir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => sentir s . CommonRomance.VInfin Prelude.False => sentir +s . CommonRomance.VInfin Prelude.True => sentir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => sens s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => sens s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => sent diff --git a/lib/tests/french/bescherelle/27vêtir.out b/lib/tests/french/bescherelle/27vêtir.out index 58d31f177..d310871ad 100644 --- a/lib/tests/french/bescherelle/27vêtir.out +++ b/lib/tests/french/bescherelle/27vêtir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => vêtir s . CommonRomance.VInfin Prelude.False => vêtir +s . CommonRomance.VInfin Prelude.True => vêtir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => vêts s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => vêts s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => vêt diff --git a/lib/tests/french/bescherelle/28couvrir.out b/lib/tests/french/bescherelle/28couvrir.out index 2571b8d4c..b6497c2d8 100644 --- a/lib/tests/french/bescherelle/28couvrir.out +++ b/lib/tests/french/bescherelle/28couvrir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => couvrir s . CommonRomance.VInfin Prelude.False => couvrir +s . CommonRomance.VInfin Prelude.True => couvrir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => couvre s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => couvres s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => couvre diff --git a/lib/tests/french/bescherelle/29cueillir.out b/lib/tests/french/bescherelle/29cueillir.out index 77d0c5971..f36329a9f 100644 --- a/lib/tests/french/bescherelle/29cueillir.out +++ b/lib/tests/french/bescherelle/29cueillir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => cueillir s . CommonRomance.VInfin Prelude.False => cueillir +s . CommonRomance.VInfin Prelude.True => cueillir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => cueille s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => cueilles s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => cueille diff --git a/lib/tests/french/bescherelle/30assaillir.out b/lib/tests/french/bescherelle/30assaillir.out index c89531778..c3ea06abe 100644 --- a/lib/tests/french/bescherelle/30assaillir.out +++ b/lib/tests/french/bescherelle/30assaillir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => assaillir s . CommonRomance.VInfin Prelude.False => assaillir +s . CommonRomance.VInfin Prelude.True => assaillir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => assaille s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => assailles s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => assaille diff --git a/lib/tests/french/bescherelle/31faillir.out b/lib/tests/french/bescherelle/31faillir.out index c94c625e5..34f52dc34 100644 --- a/lib/tests/french/bescherelle/31faillir.out +++ b/lib/tests/french/bescherelle/31faillir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => faillir s . CommonRomance.VInfin Prelude.False => faillir +s . CommonRomance.VInfin Prelude.True => faillir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => faux s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => faux s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => faut diff --git a/lib/tests/french/bescherelle/32bouillir.out b/lib/tests/french/bescherelle/32bouillir.out index d74595751..54294019a 100644 --- a/lib/tests/french/bescherelle/32bouillir.out +++ b/lib/tests/french/bescherelle/32bouillir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => bouillir s . CommonRomance.VInfin Prelude.False => bouillir +s . CommonRomance.VInfin Prelude.True => bouillir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => bous s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => bous s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => bout diff --git a/lib/tests/french/bescherelle/33dormir.out b/lib/tests/french/bescherelle/33dormir.out index cc97a1d5d..97db4a3b3 100644 --- a/lib/tests/french/bescherelle/33dormir.out +++ b/lib/tests/french/bescherelle/33dormir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => dormir s . CommonRomance.VInfin Prelude.False => dormir +s . CommonRomance.VInfin Prelude.True => dormir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => dors s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => dors s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => dort diff --git a/lib/tests/french/bescherelle/34courir.out b/lib/tests/french/bescherelle/34courir.out index 4b17a7506..38e5840c6 100644 --- a/lib/tests/french/bescherelle/34courir.out +++ b/lib/tests/french/bescherelle/34courir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => courir s . CommonRomance.VInfin Prelude.False => courir +s . CommonRomance.VInfin Prelude.True => courir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => cours s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => cours s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => court diff --git a/lib/tests/french/bescherelle/35mourir.out b/lib/tests/french/bescherelle/35mourir.out index 906b3f99f..3a9f3c3b2 100644 --- a/lib/tests/french/bescherelle/35mourir.out +++ b/lib/tests/french/bescherelle/35mourir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => mourir s . CommonRomance.VInfin Prelude.False => mourir +s . CommonRomance.VInfin Prelude.True => mourir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => meurs s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => meurs s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => meurt diff --git a/lib/tests/french/bescherelle/36servir.out b/lib/tests/french/bescherelle/36servir.out index b17941f73..f2253cd68 100644 --- a/lib/tests/french/bescherelle/36servir.out +++ b/lib/tests/french/bescherelle/36servir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => servir s . CommonRomance.VInfin Prelude.False => servir +s . CommonRomance.VInfin Prelude.True => servir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => sers s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => sers s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => sert diff --git a/lib/tests/french/bescherelle/37fuir.out b/lib/tests/french/bescherelle/37fuir.out index 1a7c1c75d..ba83103bf 100644 --- a/lib/tests/french/bescherelle/37fuir.out +++ b/lib/tests/french/bescherelle/37fuir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => fuir s . CommonRomance.VInfin Prelude.False => fuir +s . CommonRomance.VInfin Prelude.True => fuir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => fuis s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => fuis s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => fuit diff --git a/lib/tests/french/bescherelle/38ouïr.out b/lib/tests/french/bescherelle/38ouïr.out index e351c31e2..048f5d5cc 100644 --- a/lib/tests/french/bescherelle/38ouïr.out +++ b/lib/tests/french/bescherelle/38ouïr.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => ouïr s . CommonRomance.VInfin Prelude.False => ouïr +s . CommonRomance.VInfin Prelude.True => ouïr s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => ois s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => ois s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => oit diff --git a/lib/tests/french/bescherelle/39gésir.out b/lib/tests/french/bescherelle/39gésir.out index 7cb85eee5..2fd218fbe 100644 --- a/lib/tests/french/bescherelle/39gésir.out +++ b/lib/tests/french/bescherelle/39gésir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => cevoir s . CommonRomance.VInfin Prelude.False => cevoir +s . CommonRomance.VInfin Prelude.True => cevoir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => çois s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => çois s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => çoit diff --git a/lib/tests/french/bescherelle/40recevoir.out b/lib/tests/french/bescherelle/40recevoir.out index fefc7b169..89d5635ea 100644 --- a/lib/tests/french/bescherelle/40recevoir.out +++ b/lib/tests/french/bescherelle/40recevoir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => recevoir s . CommonRomance.VInfin Prelude.False => recevoir +s . CommonRomance.VInfin Prelude.True => recevoir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => reçois s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => reçois s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => reçoit diff --git a/lib/tests/french/bescherelle/41voir.out b/lib/tests/french/bescherelle/41voir.out index 6d6b11790..25c3e5b44 100644 --- a/lib/tests/french/bescherelle/41voir.out +++ b/lib/tests/french/bescherelle/41voir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => voir s . CommonRomance.VInfin Prelude.False => voir +s . CommonRomance.VInfin Prelude.True => voir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => vois s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => vois s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => voit diff --git a/lib/tests/french/bescherelle/42pourvoir.out b/lib/tests/french/bescherelle/42pourvoir.out index e58970ccb..f941aa58a 100644 --- a/lib/tests/french/bescherelle/42pourvoir.out +++ b/lib/tests/french/bescherelle/42pourvoir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => pourvoir s . CommonRomance.VInfin Prelude.False => pourvoir +s . CommonRomance.VInfin Prelude.True => pourvoir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => pourvois s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => pourvois s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => pourvoit diff --git a/lib/tests/french/bescherelle/43savoir.out b/lib/tests/french/bescherelle/43savoir.out index f14035e65..c31a6a896 100644 --- a/lib/tests/french/bescherelle/43savoir.out +++ b/lib/tests/french/bescherelle/43savoir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => savoir s . CommonRomance.VInfin Prelude.False => savoir +s . CommonRomance.VInfin Prelude.True => savoir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => sais s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => sais s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => sait diff --git a/lib/tests/french/bescherelle/44devoir.out b/lib/tests/french/bescherelle/44devoir.out index 6f63fbe16..962815cb9 100644 --- a/lib/tests/french/bescherelle/44devoir.out +++ b/lib/tests/french/bescherelle/44devoir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => devoir s . CommonRomance.VInfin Prelude.False => devoir +s . CommonRomance.VInfin Prelude.True => devoir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => dois s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => dois s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => doit diff --git a/lib/tests/french/bescherelle/45pouvoir.out b/lib/tests/french/bescherelle/45pouvoir.out index 1a4c58db4..ea7c48806 100644 --- a/lib/tests/french/bescherelle/45pouvoir.out +++ b/lib/tests/french/bescherelle/45pouvoir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => pouvoir s . CommonRomance.VInfin Prelude.False => pouvoir +s . CommonRomance.VInfin Prelude.True => pouvoir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => peux s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => peux s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => peut diff --git a/lib/tests/french/bescherelle/46mouvoir.out b/lib/tests/french/bescherelle/46mouvoir.out index 97399a6ab..66960a0ea 100644 --- a/lib/tests/french/bescherelle/46mouvoir.out +++ b/lib/tests/french/bescherelle/46mouvoir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => mouvoir s . CommonRomance.VInfin Prelude.False => mouvoir +s . CommonRomance.VInfin Prelude.True => mouvoir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => meus s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => meus s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => meut diff --git a/lib/tests/french/bescherelle/47pleuvoir.out b/lib/tests/french/bescherelle/47pleuvoir.out index 7f3a412c2..b0e1e0eb7 100644 --- a/lib/tests/french/bescherelle/47pleuvoir.out +++ b/lib/tests/french/bescherelle/47pleuvoir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => pleuvoir s . CommonRomance.VInfin Prelude.False => pleuvoir +s . CommonRomance.VInfin Prelude.True => pleuvoir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => Predef.nonExist s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => Predef.nonExist s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => pleut diff --git a/lib/tests/french/bescherelle/48falloir.out b/lib/tests/french/bescherelle/48falloir.out index 94a012a5a..d5294aa39 100644 --- a/lib/tests/french/bescherelle/48falloir.out +++ b/lib/tests/french/bescherelle/48falloir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => falloir s . CommonRomance.VInfin Prelude.False => falloir +s . CommonRomance.VInfin Prelude.True => falloir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => Predef.nonExist s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => Predef.nonExist s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => faut diff --git a/lib/tests/french/bescherelle/49valoir.out b/lib/tests/french/bescherelle/49valoir.out index 6d6ddf86c..ca015d1e0 100644 --- a/lib/tests/french/bescherelle/49valoir.out +++ b/lib/tests/french/bescherelle/49valoir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => valoir s . CommonRomance.VInfin Prelude.False => valoir +s . CommonRomance.VInfin Prelude.True => valoir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => vaux s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => vaux s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => vaut diff --git a/lib/tests/french/bescherelle/50vouloir.out b/lib/tests/french/bescherelle/50vouloir.out index 898b02c3e..79752b1fa 100644 --- a/lib/tests/french/bescherelle/50vouloir.out +++ b/lib/tests/french/bescherelle/50vouloir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => vouloir s . CommonRomance.VInfin Prelude.False => vouloir +s . CommonRomance.VInfin Prelude.True => vouloir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => veux s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => veux s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => veut diff --git a/lib/tests/french/bescherelle/51asseoir.out b/lib/tests/french/bescherelle/51asseoir.out index 966705aea..04c11eb7b 100644 --- a/lib/tests/french/bescherelle/51asseoir.out +++ b/lib/tests/french/bescherelle/51asseoir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => asseoir s . CommonRomance.VInfin Prelude.False => asseoir +s . CommonRomance.VInfin Prelude.True => asseoir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => assieds s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => assieds s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => assied diff --git a/lib/tests/french/bescherelle/52seoir.out b/lib/tests/french/bescherelle/52seoir.out index 6d16db14e..b4d7d19dd 100644 --- a/lib/tests/french/bescherelle/52seoir.out +++ b/lib/tests/french/bescherelle/52seoir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => seoir s . CommonRomance.VInfin Prelude.False => seoir +s . CommonRomance.VInfin Prelude.True => seoir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => Predef.nonExist s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => Predef.nonExist s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => sied diff --git a/lib/tests/french/bescherelle/53messeoir.out b/lib/tests/french/bescherelle/53messeoir.out index ef7db116e..787229bbe 100644 --- a/lib/tests/french/bescherelle/53messeoir.out +++ b/lib/tests/french/bescherelle/53messeoir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => messeoir s . CommonRomance.VInfin Prelude.False => messeoir +s . CommonRomance.VInfin Prelude.True => messeoir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => Predef.nonExist s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => Predef.nonExist s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => messied diff --git a/lib/tests/french/bescherelle/54surseoir.out b/lib/tests/french/bescherelle/54surseoir.out index 650ae98e9..658dd2015 100644 --- a/lib/tests/french/bescherelle/54surseoir.out +++ b/lib/tests/french/bescherelle/54surseoir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => surseoir s . CommonRomance.VInfin Prelude.False => surseoir +s . CommonRomance.VInfin Prelude.True => surseoir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => sursois s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => sursois s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => sursoit diff --git a/lib/tests/french/bescherelle/55choir.out b/lib/tests/french/bescherelle/55choir.out index 8c0991318..b29628aa5 100644 --- a/lib/tests/french/bescherelle/55choir.out +++ b/lib/tests/french/bescherelle/55choir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => choir s . CommonRomance.VInfin Prelude.False => choir +s . CommonRomance.VInfin Prelude.True => choir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => chois s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => chois s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => choit diff --git a/lib/tests/french/bescherelle/56échoir.out b/lib/tests/french/bescherelle/56échoir.out index a54341e8c..c96594b4d 100644 --- a/lib/tests/french/bescherelle/56échoir.out +++ b/lib/tests/french/bescherelle/56échoir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => échoir s . CommonRomance.VInfin Prelude.False => échoir +s . CommonRomance.VInfin Prelude.True => échoir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => Predef.nonExist s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => Predef.nonExist s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => échoit diff --git a/lib/tests/french/bescherelle/57déchoir.out b/lib/tests/french/bescherelle/57déchoir.out index 7f855a5bc..ab518f85b 100644 --- a/lib/tests/french/bescherelle/57déchoir.out +++ b/lib/tests/french/bescherelle/57déchoir.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => déchoir s . CommonRomance.VInfin Prelude.False => déchoir +s . CommonRomance.VInfin Prelude.True => déchoir s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => déchois s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => déchois s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => déchoit diff --git a/lib/tests/french/bescherelle/58rendre.out b/lib/tests/french/bescherelle/58rendre.out index 754619df6..711e03623 100644 --- a/lib/tests/french/bescherelle/58rendre.out +++ b/lib/tests/french/bescherelle/58rendre.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => rendre s . CommonRomance.VInfin Prelude.False => rendre +s . CommonRomance.VInfin Prelude.True => rendre s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => rends s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => rends s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => rend diff --git a/lib/tests/french/bescherelle/59prendre.out b/lib/tests/french/bescherelle/59prendre.out index 77fbf2a3c..a9344cd4c 100644 --- a/lib/tests/french/bescherelle/59prendre.out +++ b/lib/tests/french/bescherelle/59prendre.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => prendre s . CommonRomance.VInfin Prelude.False => prendre +s . CommonRomance.VInfin Prelude.True => prendre s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => prends s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => prends s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => prend diff --git a/lib/tests/french/bescherelle/60battre.out b/lib/tests/french/bescherelle/60battre.out index 1ed6f9450..4b5de0235 100644 --- a/lib/tests/french/bescherelle/60battre.out +++ b/lib/tests/french/bescherelle/60battre.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => battre s . CommonRomance.VInfin Prelude.False => battre +s . CommonRomance.VInfin Prelude.True => battre s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => bats s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => bats s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => bat diff --git a/lib/tests/french/bescherelle/61mettre.out b/lib/tests/french/bescherelle/61mettre.out index 7a2a48479..0bca73031 100644 --- a/lib/tests/french/bescherelle/61mettre.out +++ b/lib/tests/french/bescherelle/61mettre.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => mettre s . CommonRomance.VInfin Prelude.False => mettre +s . CommonRomance.VInfin Prelude.True => mettre s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => mets s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => mets s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => met diff --git a/lib/tests/french/bescherelle/62peindre.out b/lib/tests/french/bescherelle/62peindre.out index bfbfdd17d..7e2845aba 100644 --- a/lib/tests/french/bescherelle/62peindre.out +++ b/lib/tests/french/bescherelle/62peindre.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => peindre s . CommonRomance.VInfin Prelude.False => peindre +s . CommonRomance.VInfin Prelude.True => peindre s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => peins s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => peins s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => peint diff --git a/lib/tests/french/bescherelle/63joindre.out b/lib/tests/french/bescherelle/63joindre.out index bee66df04..bf842c7fd 100644 --- a/lib/tests/french/bescherelle/63joindre.out +++ b/lib/tests/french/bescherelle/63joindre.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => joindre s . CommonRomance.VInfin Prelude.False => joindre +s . CommonRomance.VInfin Prelude.True => joindre s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => joins s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => joins s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => joint diff --git a/lib/tests/french/bescherelle/64craindre.out b/lib/tests/french/bescherelle/64craindre.out index 46f7b1e15..c77b31cad 100644 --- a/lib/tests/french/bescherelle/64craindre.out +++ b/lib/tests/french/bescherelle/64craindre.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => craindre s . CommonRomance.VInfin Prelude.False => craindre +s . CommonRomance.VInfin Prelude.True => craindre s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => crains s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => crains s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => craint diff --git a/lib/tests/french/bescherelle/65vaincre.out b/lib/tests/french/bescherelle/65vaincre.out index b9dbf57ce..44040992c 100644 --- a/lib/tests/french/bescherelle/65vaincre.out +++ b/lib/tests/french/bescherelle/65vaincre.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => vaincre s . CommonRomance.VInfin Prelude.False => vaincre +s . CommonRomance.VInfin Prelude.True => vaincre s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => vaincs s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => vaincs s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => vainc diff --git a/lib/tests/french/bescherelle/66traire.out b/lib/tests/french/bescherelle/66traire.out index d366a3fcc..df395d285 100644 --- a/lib/tests/french/bescherelle/66traire.out +++ b/lib/tests/french/bescherelle/66traire.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => traire s . CommonRomance.VInfin Prelude.False => traire +s . CommonRomance.VInfin Prelude.True => traire s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => trais s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => trais s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => trait diff --git a/lib/tests/french/bescherelle/67faire.out b/lib/tests/french/bescherelle/67faire.out index 886681e97..7dfdb1025 100644 --- a/lib/tests/french/bescherelle/67faire.out +++ b/lib/tests/french/bescherelle/67faire.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => faire s . CommonRomance.VInfin Prelude.False => faire +s . CommonRomance.VInfin Prelude.True => faire s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => fais s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => fais s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => fait diff --git a/lib/tests/french/bescherelle/68plaire.out b/lib/tests/french/bescherelle/68plaire.out index 1534a95d6..401415edf 100644 --- a/lib/tests/french/bescherelle/68plaire.out +++ b/lib/tests/french/bescherelle/68plaire.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => plaire s . CommonRomance.VInfin Prelude.False => plaire +s . CommonRomance.VInfin Prelude.True => plaire s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => plais s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => plais s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => plaît diff --git a/lib/tests/french/bescherelle/69connaître.out b/lib/tests/french/bescherelle/69connaître.out index ef54f37d2..cd31e240d 100644 --- a/lib/tests/french/bescherelle/69connaître.out +++ b/lib/tests/french/bescherelle/69connaître.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => connaître s . CommonRomance.VInfin Prelude.False => connaître +s . CommonRomance.VInfin Prelude.True => connaître s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => connais s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => connais s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => connaît diff --git a/lib/tests/french/bescherelle/70naître.out b/lib/tests/french/bescherelle/70naître.out index ea76e9630..a4fa14a5d 100644 --- a/lib/tests/french/bescherelle/70naître.out +++ b/lib/tests/french/bescherelle/70naître.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => naître s . CommonRomance.VInfin Prelude.False => naître +s . CommonRomance.VInfin Prelude.True => naître s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => nais s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => nais s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => naît diff --git a/lib/tests/french/bescherelle/71paître.out b/lib/tests/french/bescherelle/71paître.out index 60b4c3934..bb0a3c60d 100644 --- a/lib/tests/french/bescherelle/71paître.out +++ b/lib/tests/french/bescherelle/71paître.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => paître s . CommonRomance.VInfin Prelude.False => paître +s . CommonRomance.VInfin Prelude.True => paître s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => pais s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => pais s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => paît diff --git a/lib/tests/french/bescherelle/72repaître.out b/lib/tests/french/bescherelle/72repaître.out index becba8a76..0e831c7a2 100644 --- a/lib/tests/french/bescherelle/72repaître.out +++ b/lib/tests/french/bescherelle/72repaître.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => repaître s . CommonRomance.VInfin Prelude.False => repaître +s . CommonRomance.VInfin Prelude.True => repaître s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => repais s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => repais s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => repaît diff --git a/lib/tests/french/bescherelle/73croître.out b/lib/tests/french/bescherelle/73croître.out index 31c7a4888..faf2942a5 100644 --- a/lib/tests/french/bescherelle/73croître.out +++ b/lib/tests/french/bescherelle/73croître.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => croître s . CommonRomance.VInfin Prelude.False => croître +s . CommonRomance.VInfin Prelude.True => croître s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => croîs s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => croîs s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => croît diff --git a/lib/tests/french/bescherelle/74croire.out b/lib/tests/french/bescherelle/74croire.out index 01ee90f20..7139ad331 100644 --- a/lib/tests/french/bescherelle/74croire.out +++ b/lib/tests/french/bescherelle/74croire.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => croire s . CommonRomance.VInfin Prelude.False => croire +s . CommonRomance.VInfin Prelude.True => croire s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => crois s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => crois s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => croit diff --git a/lib/tests/french/bescherelle/75boire.out b/lib/tests/french/bescherelle/75boire.out index 34d1cf1b4..28bcd57f3 100644 --- a/lib/tests/french/bescherelle/75boire.out +++ b/lib/tests/french/bescherelle/75boire.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => boire s . CommonRomance.VInfin Prelude.False => boire +s . CommonRomance.VInfin Prelude.True => boire s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => bois s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => bois s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => boit diff --git a/lib/tests/french/bescherelle/76clore.out b/lib/tests/french/bescherelle/76clore.out index d2ace6de5..8091826b6 100644 --- a/lib/tests/french/bescherelle/76clore.out +++ b/lib/tests/french/bescherelle/76clore.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => clore s . CommonRomance.VInfin Prelude.False => clore +s . CommonRomance.VInfin Prelude.True => clore s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => clos s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => clos s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => clôt diff --git a/lib/tests/french/bescherelle/77conclure.out b/lib/tests/french/bescherelle/77conclure.out index 5a6f8b042..98b590086 100644 --- a/lib/tests/french/bescherelle/77conclure.out +++ b/lib/tests/french/bescherelle/77conclure.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => conclure s . CommonRomance.VInfin Prelude.False => conclure +s . CommonRomance.VInfin Prelude.True => conclure s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => conclus s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => conclus s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => conclut diff --git a/lib/tests/french/bescherelle/78absoudre.out b/lib/tests/french/bescherelle/78absoudre.out index 03c52d686..132482c0f 100644 --- a/lib/tests/french/bescherelle/78absoudre.out +++ b/lib/tests/french/bescherelle/78absoudre.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => absoudre s . CommonRomance.VInfin Prelude.False => absoudre +s . CommonRomance.VInfin Prelude.True => absoudre s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => absous s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => absous s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => absout diff --git a/lib/tests/french/bescherelle/79coudre.out b/lib/tests/french/bescherelle/79coudre.out index 0ada7ded0..19b95f914 100644 --- a/lib/tests/french/bescherelle/79coudre.out +++ b/lib/tests/french/bescherelle/79coudre.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => coudre s . CommonRomance.VInfin Prelude.False => coudre +s . CommonRomance.VInfin Prelude.True => coudre s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => couds s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => couds s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => coud diff --git a/lib/tests/french/bescherelle/80moudre.out b/lib/tests/french/bescherelle/80moudre.out index 930110977..988a56302 100644 --- a/lib/tests/french/bescherelle/80moudre.out +++ b/lib/tests/french/bescherelle/80moudre.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => moudre s . CommonRomance.VInfin Prelude.False => moudre +s . CommonRomance.VInfin Prelude.True => moudre s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => mouds s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => mouds s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => moud diff --git a/lib/tests/french/bescherelle/81suivre.out b/lib/tests/french/bescherelle/81suivre.out index 743625196..4da57dba2 100644 --- a/lib/tests/french/bescherelle/81suivre.out +++ b/lib/tests/french/bescherelle/81suivre.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => suivre s . CommonRomance.VInfin Prelude.False => suivre +s . CommonRomance.VInfin Prelude.True => suivre s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => suis s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => suis s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => suit diff --git a/lib/tests/french/bescherelle/82vivre.out b/lib/tests/french/bescherelle/82vivre.out index 7785071e0..e0a8e59c6 100644 --- a/lib/tests/french/bescherelle/82vivre.out +++ b/lib/tests/french/bescherelle/82vivre.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => vivre s . CommonRomance.VInfin Prelude.False => vivre +s . CommonRomance.VInfin Prelude.True => vivre s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => vis s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => vis s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => vit diff --git a/lib/tests/french/bescherelle/83lire.out b/lib/tests/french/bescherelle/83lire.out index 94971bd3d..789fe6f65 100644 --- a/lib/tests/french/bescherelle/83lire.out +++ b/lib/tests/french/bescherelle/83lire.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => lire s . CommonRomance.VInfin Prelude.False => lire +s . CommonRomance.VInfin Prelude.True => lire s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => lis s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => lis s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => lit diff --git a/lib/tests/french/bescherelle/84dire.out b/lib/tests/french/bescherelle/84dire.out index cb18a7866..6f3e39fc8 100644 --- a/lib/tests/french/bescherelle/84dire.out +++ b/lib/tests/french/bescherelle/84dire.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => dire s . CommonRomance.VInfin Prelude.False => dire +s . CommonRomance.VInfin Prelude.True => dire s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => dis s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => dis s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => dit diff --git a/lib/tests/french/bescherelle/85rire.out b/lib/tests/french/bescherelle/85rire.out index 4b681ef42..23a64afd2 100644 --- a/lib/tests/french/bescherelle/85rire.out +++ b/lib/tests/french/bescherelle/85rire.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => rire s . CommonRomance.VInfin Prelude.False => rire +s . CommonRomance.VInfin Prelude.True => rire s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => ris s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => ris s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => rit diff --git a/lib/tests/french/bescherelle/86écrire.out b/lib/tests/french/bescherelle/86écrire.out index 8eb43d69b..741f05c80 100644 --- a/lib/tests/french/bescherelle/86écrire.out +++ b/lib/tests/french/bescherelle/86écrire.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => écrire s . CommonRomance.VInfin Prelude.False => écrire +s . CommonRomance.VInfin Prelude.True => écrire s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => écris s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => écris s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => écrit diff --git a/lib/tests/french/bescherelle/87confire.out b/lib/tests/french/bescherelle/87confire.out index 3d1c3bcf5..d0c8a1b82 100644 --- a/lib/tests/french/bescherelle/87confire.out +++ b/lib/tests/french/bescherelle/87confire.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => confire s . CommonRomance.VInfin Prelude.False => confire +s . CommonRomance.VInfin Prelude.True => confire s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => confis s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => confis s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => confit diff --git a/lib/tests/french/bescherelle/88cuire.out b/lib/tests/french/bescherelle/88cuire.out index be772d231..561b26b49 100644 --- a/lib/tests/french/bescherelle/88cuire.out +++ b/lib/tests/french/bescherelle/88cuire.out @@ -1,5 +1,5 @@ -s . CommonRomance.VInfin Prelude.True => cuire s . CommonRomance.VInfin Prelude.False => cuire +s . CommonRomance.VInfin Prelude.True => cuire s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P1 => cuis s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P2 => cuis s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Sg ParamX.P3 => cuit