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/UseGrammar/Editing.hs | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'src/GF/UseGrammar/Editing.hs') diff --git a/src/GF/UseGrammar/Editing.hs b/src/GF/UseGrammar/Editing.hs index 616ddc7cc..93038e9a0 100644 --- a/src/GF/UseGrammar/Editing.hs +++ b/src/GF/UseGrammar/Editing.hs @@ -129,6 +129,13 @@ newCat gr cat@(m,c) _ = do testErr (null cont) "start cat must have null context" -- for easier meta refresh initStateCat cont cat +newFun :: CGrammar -> Fun -> Action +newFun gr fun@(m,c) _ = do + typ <- lookupFunType gr m c + cat <- valCat typ + st1 <- newCat gr cat initState + refineWithAtom True gr (qq fun) st1 + newTree :: Tree -> Action newTree t _ = return $ tree2loc t -- cgit v1.2.3