[02:15:44] *** Joins: Flammie (~flammie@flammie.name) [06:00:02] *** Quits: drbean (~drbean@TC210-63-209-17.static.apol.com.tw) (Quit: ZNC 1.7.5 - https://znc.in) [08:25:44] *** Joins: drbean (~drbean@TC210-63-209-142.static.apol.com.tw) [13:00:08] i will try the instructions! [13:00:14] but first i am puzzled by this lol [13:00:20] Happened in linearization of att_def [13:00:20] no overload instance of mkText [13:00:20] for [13:00:20] {s : Str; lock_Utt : {}} {s : Str; lock_Text : {}} [13:00:20] among [13:00:23] {s : Str; lock_Phr : {}} Punct {s : Str; lock_Text : {}} [13:00:25] {s : Str; lock_Phr : {}} {s : Str; lock_Text : {}} [13:00:55] http://www.grammaticalframework.org/lib/doc/synopsis/index.html#Text says [13:01:04] mkText Utt -> (Punct) -> (Text) -> Text Does she sleep? Yes. [13:01:37] so i thought i should be able to do Utt -> Text -> Text but maybe those optional arguments need to both either be present or absent together [13:02:27] well, i will do it differently [13:08:43] ah, now it is happening differently lol [13:08:43] Happened in linearization of att_def [13:08:43] no overload instance of mkText [13:08:43] for [13:08:43] Text Text -> Text [13:08:45] among [13:08:48] ... [13:08:59] Imp [13:08:59] Text Text [13:09:00] with value type Text [13:29:50] grind, grind [13:30:15] now i have this, lol [13:30:16] cannot infer lintype of \u -> TFullStop (PhrUtt NoPConj u NoVoc) TEmpty [14:33:48] mmm [16:21:21] ok i made it all work [16:21:28] i need a bigger brain [16:31:01] about that error: https://gist.github.com/inariksit/4643ce7a2488ef5f6fa894017e312d10 [16:32:02] the error message has been changed in may 2019, but you seem to have a version older than that https://github.com/GrammaticalFramework/gf-core/issues/44