GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

finished 'create lincat'

Browse Source
This commit is contained in:
Krasimir Angelov
2021-12-29 14:06:24 +01:00
parent daebed0b7b
commit f118e644d9
1 changed files with 12 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
src/compiler/GF/Interactive.hs
View File

@@ -276,9 +276,19 @@ transactionCommand (CreateLin opts f t) pgf = do
return (prods,type2fields sgr res_ty)
transactionCommand (CreateLincat opts c t) pgf = do
sgr <- getGrammar
lang <- optLang pgf opts
lift $ modifyPGF pgf (alterConcrete lang (createLincat c [] [] []))
return ()
mo <- maybe (fail "no source grammar in scope") return $
greatestResource sgr
case runCheck (compileLincatTerm sgr mo t) of
Ok (fields,_)-> do lift $ modifyPGF pgf (alterConcrete lang (createLincat c fields [] []))
return ()
Bad msg -> fail msg
where
compileLincatTerm sgr mo t = do
t <- renameSourceTerm sgr mo t
(t,_) <- inferLType sgr [] t
return (type2fields sgr t)
transactionCommand (DropFun opts f) pgf = do
lift $ modifyPGF pgf (dropFunction f)
return ()