msyds/gf-rgl
1
0
Fork 0
forked from GitHub/gf-rgl
Code Pull Requests Activity

Add a variant of mkAdv : Adv -> AdvType -> Adv that fixes the existing Adv with the given AdvType.

Browse Source
This commit is contained in:
Inari Listenmaa
2017-08-24 16:16:31 +03:00
parent 2313f6ee40
commit 792b58abe3
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/chinese/ParadigmsChi.gf
View File

@@ -143,6 +143,9 @@ oper
= \s,t -> lin Adv {s = word (s + t) ; advType = getAdvType s} ; ---- = \s,t -> lin Adv {s = word (s + t) ; advType = getAdvType s} ; ----
mkAdv : Str -> AdvType -> Adv mkAdv : Str -> AdvType -> Adv
= \s,at -> lin Adv {s = word s ; advType = at} ; = \s,at -> lin Adv {s = word s ; advType = at} ;
mkAdv : Adv -> AdvType -> Adv -- To fix the AdvType in an Adv produced by SyntaxChi.mkAdv
= \adv,at -> adv ** {advType = at} ;
} ; } ;
AdvType : Type AdvType : Type