GitHub/gf-rgl
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-05-27 08:58:55 -06:00
Code Issues Packages Projects Releases Wiki Activity

added symb : Int -> Card instance in Symbolic

Browse Source
This commit is contained in:
aarneranta
2021-07-21 16:19:01 +02:00
parent 45e99c5e40
commit 2f379bf9c6
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/api/Symbolic.gf
View File

@@ -6,8 +6,9 @@ incomplete resource Symbolic = open Symbol, Grammar, PredefCnc in {
symb : overload { symb : overload {
symb : Symb -> NP ; -- x symb : Symb -> NP ; -- x
symb : Str -> NP ; -- x symb : Str -> NP ; -- x
symb : Int -> NP ; -- 23 symb : Int -> NP ; -- 23 (is prime)
symb : Float -> NP ; -- 0.99 symb : Float -> NP ; -- 0.99
symb : Int -> Card ; -- 23 (houses)
symb : N -> Digits -> NP ; -- level 4 symb : N -> Digits -> NP ; -- level 4
symb : N -> Card -> NP ; -- level at least four symb : N -> Card -> NP ; -- level at least four
symb : CN -> Card -> NP ; -- advanced level at least four symb : CN -> Card -> NP ; -- advanced level at least four
@@ -45,6 +46,8 @@ incomplete resource Symbolic = open Symbol, Grammar, PredefCnc in {
= \i -> UsePN (IntPN i) ; = \i -> UsePN (IntPN i) ;
symb : Float -> NP symb : Float -> NP
= \i -> UsePN (FloatPN i) ; = \i -> UsePN (FloatPN i) ;
symb : Int -> Card
= \s -> SymbNum (mkSymb s.s) ;
symb : N -> Digits -> NP symb : N -> Digits -> NP
= \c,i -> CNNumNP (UseN c) (NumDigits i) ; = \c,i -> CNNumNP (UseN c) (NumDigits i) ;
symb : N -> Card -> NP symb : N -> Card -> NP