Pass all missing test cases, including Phrasebook, except PhrasebookSnd

This commit is contained in:
John J. Camilleri
2021-08-10 11:46:28 +02:00
parent b96fa7e08a
commit 48dba4ade5

View File

@@ -154,6 +154,7 @@ eval cxt t = case t of
Projection t u ->
case (eval cxt t, eval cxt u) of
(Missing f, _) -> Missing f
(Tuple vs, Missing _) -> vs !! 0 -- imitate PGF behaviour
(_, Missing f) -> Missing f
(Tuple vs, Ix i) -> vs !! (i-1)
(t', tv@(Tuple _)) -> eval cxt $ foldl Projection t' (flattenTuple tv)