added extra integer to store the offset of a parameter constructor

This commit is contained in:
krangelov
2019-09-19 22:53:07 +02:00
parent b3c07d45b9
commit 12912299be
11 changed files with 27 additions and 27 deletions

View File

@@ -119,7 +119,7 @@ convCncJment (name,jment) =
case jment of
ResParam ops _ ->
return $ Pa $ Param i (maybe "" (render . ppParams q . unLoc) ops)
ResValue _ -> return Ignored
ResValue _ _ -> return Ignored
CncCat (Just (L _ typ)) Nothing Nothing pprn _ -> -- ignores printname !!
return $ LC $ Lincat i (render $ ppTerm q 0 typ)
ResOper oltyp (Just lterm) -> return $ Op $ Oper lhs rhs