[04:13:00] *** Quits: Gurkenglas (Gurkenglas@dslb-188-103-077-131.188.103.pools.vodafone-ip.de) (Ping timeout: 252 seconds) [04:21:11] *** Quits: Flammie (~flammie@80.111.32.7) (Ping timeout: 245 seconds) [04:21:28] *** Joins: Flammie (~flammie@80.111.32.7) [07:37:36] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 252 seconds) [09:00:45] *** Joins: spectei (~fran@unaffiliated/spectie) [10:34:41] How did this happen? Imagemagick turned my concrete syntax file into a PostScript file. [10:34:57] ---# -path=.:/home/drbean/GF/lib/src/translator:/home/drbean/GF/gf-contrib/drbean:./gf-contrib/drbean/conversation/work/dickson:/home/drbean [10:34:59] /GF/gf-contrib/drbean/conversation/work/dickson/engine:present [10:35:01] +%!PS-Adobe-3.0 [10:35:03] +%%Creator: (ImageMagick) [10:35:05] +%%Title: (gf-contrib/drbean/conversation/work/dickson/DicksonEng.gf) [10:35:33] trolldom [11:25:51] ok strange error [11:26:28] Happened in operation mkV2, no overload instance of mkV for Str among Str [11:26:45] basically, in Paradigms, it's just [11:26:54] mkV : Str -> V [11:27:31] and mkV2 : Str -> V2 = \v -> lin V2 (mkV v ** {c = Obl}) ; [11:27:47] drbean, you had a similar problem a while back? i found it in the IRC logs while googling [11:34:34] vin-ivar: you can't use mkV, because it creates a record that has a hidden lock_V field [11:34:35] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 240 seconds) [11:34:59] what you could do, is to have a mkVerbyKindaThingy : Str -> {whatever record is the type of V} [11:35:04] and then use the lin V2 for that [11:35:35] as soon as you use the abstract syntax categories, it creates a lock_Foo field [11:35:44] and then you can't use it as another abstract syntax category [11:36:13] what does the lock_Foo field do, exactly? [11:36:59] I don't know exactly, but it's just some internal thing to distinguish things with same lincat; even if your Adv and S are both {s : Str}, in reality they are {s : Str ; lock_Adv : {}} and {s : Str ; lock_S : {}} [11:39:45] oh okay [11:57:06] cool, I made a separate transVerb operation [12:18:10] *** Joins: Gurkenglas (Gurkenglas@dslb-188-103-077-131.188.103.pools.vodafone-ip.de) [12:38:06] *** Quits: Gurkenglas (Gurkenglas@dslb-188-103-077-131.188.103.pools.vodafone-ip.de) (Ping timeout: 240 seconds) [13:21:40] *** Joins: spectei (~fran@unaffiliated/spectie) [14:23:15] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 240 seconds) [14:27:39] I've typically found my problem when I get the error, 'no overload instance of mkX for Y among ..Y' is a mismatch between my abstract and concrete syntax files(?). Or something. [16:00:39] *** Joins: Gurkenglas (Gurkenglas@dslb-188-103-077-131.188.103.pools.vodafone-ip.de) [16:06:09] *** Quits: Gurkenglas (Gurkenglas@dslb-188-103-077-131.188.103.pools.vodafone-ip.de) (Read error: Connection reset by peer) [16:27:17] *** Joins: spectei (~fran@unaffiliated/spectie) [16:38:55] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 240 seconds) [16:39:23] *** Joins: spectei (~fran@unaffiliated/spectie) [16:43:55] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 240 seconds) [16:47:45] *** Joins: spectei (~fran@unaffiliated/spectie) [17:01:15] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 240 seconds) [17:31:14] *** Joins: spectei (~fran@unaffiliated/spectie) [17:38:35] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 264 seconds) [17:39:08] *** Joins: spectei (~fran@unaffiliated/spectie) [17:45:10] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 252 seconds) [22:10:36] *** Joins: spectre (~fran@193.64.143.225) [22:51:56] *** Quits: spectre (~fran@193.64.143.225) (Ping timeout: 240 seconds) [23:05:39] *** Joins: spectre (~fran@79-134-120-28.cust.suomicom.net) [23:16:00] *** Quits: spectre (~fran@79-134-120-28.cust.suomicom.net) (Ping timeout: 260 seconds)