forked from GitHub/gf-core
qualification of type PN in Heb.mkPN to resolve overloading
This commit is contained in:
@@ -79,7 +79,7 @@
|
|||||||
|
|
||||||
|
|
||||||
mkPN = overload {
|
mkPN = overload {
|
||||||
mkPN : Str -> Gender -> PN
|
mkPN : Str -> Gender -> CatHeb.PN
|
||||||
= mkProperNoun ;
|
= mkProperNoun ;
|
||||||
} ;
|
} ;
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user