From 6e9258558a9bcb8c9df4bee0382b5136c95f516a Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 24 Sep 2003 14:26:35 +0000 Subject: Improvements in hte editor. --- src/GF/Grammar/Values.hs | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'src/GF/Grammar/Values.hs') diff --git a/src/GF/Grammar/Values.hs b/src/GF/Grammar/Values.hs index 7b02d187a..9df2fc13e 100644 --- a/src/GF/Grammar/Values.hs +++ b/src/GF/Grammar/Values.hs @@ -50,3 +50,11 @@ tree2exp (Tr (N (bi,at,_,_,_),ts)) = foldr Abs (foldl App at' ts') bi' where AtI s -> EInt s bi' = map fst bi ts' = map tree2exp ts + +loc2treeFocus :: Loc TrNode -> Tree +loc2treeFocus (Loc (Tr (a,ts),p)) = + loc2tree (Loc (Tr (mark a, map (mapTr nomark) ts), mapPath nomark p)) + where + (mark, nomark) = (\(N (a,b,c,d,_)) -> N(a,b,c,d,True), + \(N (a,b,c,d,_)) -> N(a,b,c,d,False)) + -- cgit v1.2.3