Better help.

This commit is contained in:
aarne
2004-03-26 20:08:30 +00:00
parent 0a28c77f6d
commit f0cbb89778
11 changed files with 81 additions and 26 deletions

View File

@@ -58,11 +58,12 @@ markSubterm (beg, end) t = case t of
R rs -> R $ map markField rs
T ty cs -> T ty [Cas p (mark v) | Cas p v <- cs]
FV ts -> FV $ map mark ts
_ -> foldr1 C [tK beg, t, tK end] -- t : Str guaranteed?
_ -> foldr1 C (tk beg ++ [t] ++ tk end) -- t : Str guaranteed?
where
mark = markSubterm (beg, end)
markField lt@(Ass l t) = if isLinLabel l then (Ass l (mark t)) else lt
tk s = if null s then [] else [tK s]
tK :: String -> Term
tK = K . KS