float parsing fixed

This commit is contained in:
aarne
2005-12-11 17:48:55 +00:00
parent 8ee11c0e7e
commit 9f867c4922
8 changed files with 50 additions and 28 deletions

View File

@@ -259,7 +259,7 @@ linearizeToStrss gr mk e = do
allLinsOfFun :: CanonGrammar -> CIdent -> Err [[(Label,[([Patt],Term)])]]
allLinsOfFun gr f = do
t <- lookupLin gr f
allLinValues t
allAllLinValues t --- all fields, not only s. 11/12/2005
-- | returns printname if one exists; otherwise linearizes with metas