[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] <drbean> How did this happen? Imagemagick turned my concrete syntax file into a PostScript file.
[10:34:57] <drbean> ---# -path=.:/home/drbean/GF/lib/src/translator:/home/drbean/GF/gf-contrib/drbean:./gf-contrib/drbean/conversation/work/dickson:/home/drbean
[10:34:59] <drbean> /GF/gf-contrib/drbean/conversation/work/dickson/engine:present
[10:35:01] <drbean> +%!PS-Adobe-3.0
[10:35:03] <drbean> +%%Creator: (ImageMagick)
[10:35:05] <drbean> +%%Title: (gf-contrib/drbean/conversation/work/dickson/DicksonEng.gf)
[10:35:33] <spectei> trolldom
[11:25:51] <vin-ivar> ok strange error
[11:26:28] <vin-ivar> Happened in operation mkV2, no overload instance of mkV for Str among <blah blah> Str
[11:26:45] <vin-ivar> basically, in Paradigms, it's just
[11:26:54] <vin-ivar> mkV : Str -> V
[11:27:31] <vin-ivar> and mkV2 : Str -> V2 = \v -> lin V2 (mkV v ** {c = Obl}) ;
[11:27:47] <vin-ivar> drbean, you had a similar problem a while back? i found it in the IRC logs while googling
[11:34:34] <inariksit> 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] <inariksit> what you could do, is to have a mkVerbyKindaThingy : Str -> {whatever record is the type of V}
[11:35:04] <inariksit> and then use the lin V2 for that
[11:35:35] <inariksit> as soon as you use the abstract syntax categories, it creates a lock_Foo field
[11:35:44] <inariksit> and then you can't use it as another abstract syntax category
[11:36:13] <vin-ivar> what does the lock_Foo field do, exactly?
[11:36:59] <inariksit> 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] <vin-ivar> oh okay
[11:57:06] <vin-ivar> 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] <drbean> 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)