After checkign with tests, identified problems, fixed some - eg more fine-grained animNumSizeNum

This commit is contained in:
Roman Suzi
2020-08-10 00:03:05 +03:00
parent 84361d473d
commit bcadbaaf32
9 changed files with 58 additions and 23 deletions

View File

@@ -66,7 +66,7 @@ lin
-- : IDet -> CN -> IP ; -- which five songs
IdetCN idet cn = caseTableToRecord (\\cas => idet.s ! cn.g ! cn.anim ! cas
++ cn.s ! numSizeNum cas idet.size ! numSizeCase cas idet.size)
++ cn.s ! animNumSizeNum cn.anim cas idet.size ! numSizeCase cas idet.size)
(Ag (gennum cn.g (forceMaybeNum cn.mayben (numSizeNumber idet.size))) P3) cn.anim ;
-- : IDet -> IP ; -- which five