Add a test runner and a test suite fore the rgl

The test suite tests the French Bescherelle paradigms.
This commit is contained in:
gregoire.detrez
2013-11-21 09:55:30 +00:00
parent 4ba116d125
commit e63e8d9765
164 changed files with 4683 additions and 0 deletions

View File

@@ -0,0 +1,52 @@
s . CommonRomance.VInfin Prelude.True => vivre
s . CommonRomance.VInfin Prelude.False => 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
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Pl ParamX.P1 => vivons
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Pl ParamX.P2 => vivez
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Indic) ParamX.Pl ParamX.P3 => vivent
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Conjunct) ParamX.Sg ParamX.P1 => vive
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Conjunct) ParamX.Sg ParamX.P2 => vives
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Conjunct) ParamX.Sg ParamX.P3 => vive
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Conjunct) ParamX.Pl ParamX.P1 => vivions
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Conjunct) ParamX.Pl ParamX.P2 => viviez
s . CommonRomance.VFin (CommonRomance.VPres CommonRomance.Conjunct) ParamX.Pl ParamX.P3 => vivent
s . CommonRomance.VFin (CommonRomance.VImperf CommonRomance.Indic) ParamX.Sg ParamX.P1 => vivais
s . CommonRomance.VFin (CommonRomance.VImperf CommonRomance.Indic) ParamX.Sg ParamX.P2 => vivais
s . CommonRomance.VFin (CommonRomance.VImperf CommonRomance.Indic) ParamX.Sg ParamX.P3 => vivait
s . CommonRomance.VFin (CommonRomance.VImperf CommonRomance.Indic) ParamX.Pl ParamX.P1 => vivions
s . CommonRomance.VFin (CommonRomance.VImperf CommonRomance.Indic) ParamX.Pl ParamX.P2 => viviez
s . CommonRomance.VFin (CommonRomance.VImperf CommonRomance.Indic) ParamX.Pl ParamX.P3 => vivaient
s . CommonRomance.VFin (CommonRomance.VImperf CommonRomance.Conjunct) ParamX.Sg ParamX.P1 => vécusse
s . CommonRomance.VFin (CommonRomance.VImperf CommonRomance.Conjunct) ParamX.Sg ParamX.P2 => vécusses
s . CommonRomance.VFin (CommonRomance.VImperf CommonRomance.Conjunct) ParamX.Sg ParamX.P3 => vécût
s . CommonRomance.VFin (CommonRomance.VImperf CommonRomance.Conjunct) ParamX.Pl ParamX.P1 => vécussions
s . CommonRomance.VFin (CommonRomance.VImperf CommonRomance.Conjunct) ParamX.Pl ParamX.P2 => vécussiez
s . CommonRomance.VFin (CommonRomance.VImperf CommonRomance.Conjunct) ParamX.Pl ParamX.P3 => vécussent
s . CommonRomance.VFin CommonRomance.VPasse ParamX.Sg ParamX.P1 => vécus
s . CommonRomance.VFin CommonRomance.VPasse ParamX.Sg ParamX.P2 => vécus
s . CommonRomance.VFin CommonRomance.VPasse ParamX.Sg ParamX.P3 => vécut
s . CommonRomance.VFin CommonRomance.VPasse ParamX.Pl ParamX.P1 => vécûmes
s . CommonRomance.VFin CommonRomance.VPasse ParamX.Pl ParamX.P2 => vécûtes
s . CommonRomance.VFin CommonRomance.VPasse ParamX.Pl ParamX.P3 => vécurent
s . CommonRomance.VFin CommonRomance.VFut ParamX.Sg ParamX.P1 => vivrai
s . CommonRomance.VFin CommonRomance.VFut ParamX.Sg ParamX.P2 => vivras
s . CommonRomance.VFin CommonRomance.VFut ParamX.Sg ParamX.P3 => vivra
s . CommonRomance.VFin CommonRomance.VFut ParamX.Pl ParamX.P1 => vivrons
s . CommonRomance.VFin CommonRomance.VFut ParamX.Pl ParamX.P2 => vivrez
s . CommonRomance.VFin CommonRomance.VFut ParamX.Pl ParamX.P3 => vivront
s . CommonRomance.VFin CommonRomance.VCondit ParamX.Sg ParamX.P1 => vivrais
s . CommonRomance.VFin CommonRomance.VCondit ParamX.Sg ParamX.P2 => vivrais
s . CommonRomance.VFin CommonRomance.VCondit ParamX.Sg ParamX.P3 => vivrait
s . CommonRomance.VFin CommonRomance.VCondit ParamX.Pl ParamX.P1 => vivrions
s . CommonRomance.VFin CommonRomance.VCondit ParamX.Pl ParamX.P2 => vivriez
s . CommonRomance.VFin CommonRomance.VCondit ParamX.Pl ParamX.P3 => vivraient
s . CommonRomance.VImper CommonRomance.SgP2 => vis
s . CommonRomance.VImper CommonRomance.PlP1 => vivons
s . CommonRomance.VImper CommonRomance.PlP2 => vivez
s . CommonRomance.VPart CommonRomance.Masc ParamX.Sg => vécu
s . CommonRomance.VPart CommonRomance.Masc ParamX.Pl => vécus
s . CommonRomance.VPart CommonRomance.Fem ParamX.Sg => vécue
s . CommonRomance.VPart CommonRomance.Fem ParamX.Pl => vécues
s . CommonRomance.VGer => vivant