forked from GitHub/gf-core
Use conjunctDistrTable in ExtraGer.ConjVPI to get it to compile.
This commit is contained in:
@@ -9,7 +9,7 @@ concrete ExtraGer of ExtraGerAbs = CatGer **
|
|||||||
ConsVPI = consrTable Bool comma ;
|
ConsVPI = consrTable Bool comma ;
|
||||||
|
|
||||||
MkVPI vp = {s = \\b => useInfVP b vp} ;
|
MkVPI vp = {s = \\b => useInfVP b vp} ;
|
||||||
ConjVPI = conjunctTable Bool ;
|
ConjVPI = conjunctDistrTable Bool ;
|
||||||
|
|
||||||
ComplVPIVV v vpi =
|
ComplVPIVV v vpi =
|
||||||
insertInf (vpi.s ! v.isAux) (
|
insertInf (vpi.s ! v.isAux) (
|
||||||
|
|||||||
Reference in New Issue
Block a user