[02:00:08] sure, https://github.com/legalese/legalese.github.io/tree/master/tmp/201912-dmn-owl-en [02:01:26] how practical is it nowadays to use GF to output programming language concrete syntax? e.g. if i wanted to express my sentences as a bunch of python. [02:05:08] hm, i think i see the problem, i'm not extending correctly [02:16:31] yeah, my incomplete was incomplete. never mind! [02:16:37] amazing what a good night's sleep will do [02:17:09] https://twitter.com/hillelogram/status/959866873830572032 [02:48:07] though arguably the compiler could have warned that not every fun had a lin [03:38:01] maybe there's room for an extra tool that tests gf files for this kind of easy syntax error [03:38:06] we could call it a ... linter! [03:38:17] i'll show myself out. [06:02:47] *** Quits: proteusguy (~proteusgu@cm-58-10-208-146.revip7.asianet.co.th) (Quit: Leaving) [06:03:14] *** Joins: proteusguy (~proteusgu@cm-58-10-208-146.revip7.asianet.co.th) [08:43:43] right, my grammar has become somewhat overengineered. there is perhaps too much structure in it now. [09:23:52] *** Quits: freeside (~ubuntu@ec2-52-58-69-57.eu-central-1.compute.amazonaws.com) (*.net *.split) [09:24:32] *** Joins: freeside (~ubuntu@ec2-52-58-69-57.eu-central-1.compute.amazonaws.com) [09:58:52] i've got abstract, incomplete concrete, interface, instance, and concrete modules [09:59:50] in fact, i have four sets of abstract, incomplete concrete, interface, and instance modules: two sets of orthogonal functionality, one set to bring the two together, and one more set to consume the previous set [09:59:54] i think that may be too much [10:00:19] especially now that my interface and instance resource modules need to know about types defined in the abstract and concrete [12:31:11] okay, some grinding later, everything works [18:00:17] *** Joins: gf_log_bot (~gf-log-bo@2002:8110:e112:0:a00:27ff:feda:482e) [18:06:26] *** Quits: gf_log_bot (~gf-log-bo@2002:8110:e112:0:a00:27ff:feda:482e) (Ping timeout: 246 seconds) [19:00:18] *** Joins: gf_log_bot (~gf-log-bo@2002:8110:e112:0:a00:27ff:feda:482e) [21:38:36] *** Quits: gf-log-bot (~gf-log-bo@cse-31305.cse.chalmers.se) (ZNC 1.7.1 - https://znc.in) [23:00:16] *** Joins: gf_log_bot (~gf-log-bo@cse-31305.cse.chalmers.se) [23:00:18] *** Server sets mode: +cnrt [23:04:48] *** Quits: gf-log-bot (~gf-log-bo@dhcp2-225018.cse.chalmers.se) (Ping timeout: 268 seconds)