diff options
Diffstat (limited to 'src/GF/UseGrammar/Editing.hs')
| -rw-r--r-- | src/GF/UseGrammar/Editing.hs | 7 |
1 files changed, 7 insertions, 0 deletions
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 |