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

found one type error in the whole RGL with the new (experimental) type checker, and fixed it.

Browse Source
This commit is contained in:
aarne
2014-01-31 21:15:21 +00:00
parent 4d4327ad8a
commit e97f31c175
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
lib/src/greek/ParadigmsGre.gf
View File

@@ -222,10 +222,10 @@ oper
dirV3 : V -> Prep -> V3 ; -- dino,_,se
dirdirV3 : V -> V3 ; -- dino,_,_
mmkV : V -> Str -> V ;
mmkV v s = v ** {s = s } ;
expressV : V -> Str -> V = \v,s -> mmkV v s ;
--- type-incorrect to replace VForm => Str by Str. AR 31/1/2014
--- mmkV : V -> Str -> V ;
--- mmkV v s = v ** {s = s } ;
--- expressV : V -> Str -> V = \v,s -> mmkV v s ;
mmkV2 : V -> Prep -> V2 ;
mmkV2 v p = v ** {c2 = p ; lock_V2 = <>} ;