[01:30:18] <ayberkt> SC is given a linearization type {s : Str} in CommonX.gf, what do I do if I need to attach more data?
[01:38:30] <ayberkt> Nevermind, I ended up solving the problem in another way
[09:28:49] <inariksit> cool :) in any case, it's possible to override
[09:29:24] <inariksit> so CatTur of Cat = CommonX - [SC] ** open blah in { ... lincat SC = {...} }
[09:30:00] *** Quits: proteusguy (~proteus-g@2405:9800:bc10:1ca:3509:6471:410:2073) (Remote host closed the connection)
[10:37:14] *** Joins: proteus-guy (~proteusgu@180.183.140.175)
[10:43:39] *** Joins: proteusguy (~proteus-g@180.183.140.175)
[10:44:44] *** Quits: proteusguy (~proteus-g@180.183.140.175) (Max SendQ exceeded)
[13:47:26] *** Quits: proteus-guy (~proteusgu@180.183.140.175) (Remote host closed the connection)
[21:03:34] *** Joins: koo5 (~koom@236.152.broadband3.iol.cz)
[22:07:39] *** Quits: koo5 (~koom@236.152.broadband3.iol.cz) (Ping timeout: 240 seconds)
[23:22:14] <ayberkt> inariksit: is it good practice to do that kind of override?