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

rewrote an mkPN application in WordsGer to work around a problem that might be a type checker bug

Browse Source
This commit is contained in:
aarne
2015-07-23 16:16:38 +00:00
parent 3788098e0a
commit a1a602c681
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
examples/phrasebook/WordsGer.gf
View File

@@ -230,7 +230,7 @@ CitRestaurant cit = mkCNPlace (mkCN cit (mkN "Restaurant" "Restaurants" neuter)
prop = mkA adj ; country = mkNP (mkPN co)} ;
mkDay : Str -> {name : NP ; point : Adv ; habitual : Adv} = \d ->
let day = mkNP (mkPN d) in
let day = mkNP (mkPN d masculine) in
{name = day ;
point = SyntaxGer.mkAdv (mkPrep "am" dative) day ; ---- am
habitual = ParadigmsGer.mkAdv (d + "s") ----