1
0
forked from GitHub/gf-core

fix a warning in ExtraBul.gf

This commit is contained in:
kr.angelov
2014-12-05 12:47:56 +00:00
parent 4810860afc
commit f8324ee49c

View File

@@ -76,7 +76,7 @@ concrete ExtraBul of ExtraBulAbs = CatBul **
lin
BaseVPI x y = {s = \\d,t,a=>x.s!a++linCoord!t++y.s!a} ;
ConsVPI x xs = {s = \\d,t,a=>x.s!a++(linCoordSep comma)!d!t++xs.s!d!t!a} ;
ConsVPI x xs = {s = \\d,t,a=>x.s!a++(linCoordSep ResBul.comma)!d!t++xs.s!d!t!a} ;
MkVPI vp = {s = daComplex Simul Pos vp ! Perf} ;
ConjVPI conj vpi = {
@@ -91,7 +91,7 @@ concrete ExtraBul of ExtraBulAbs = CatBul **
lin
BaseVPS x y = {s = \\d,t,a=>x.s!a++linCoord!t++y.s!a} ;
ConsVPS x xs = {s = \\d,t,a=>x.s!a++(linCoordSep comma)!d!t++xs.s!d!t!a} ;
ConsVPS x xs = {s = \\d,t,a=>x.s!a++(linCoordSep ResBul.comma)!d!t++xs.s!d!t!a} ;
PredVPS np vps = {s = np.s ! RSubj ++ vps.s ! np.a} ;