[03:17:57] *** Joins: drbean (~drbean@TC210-63-209-219.static.apol.com.tw)
[11:25:21] *** Quits: drbean (~drbean@TC210-63-209-219.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
[12:51:11] *** Joins: wmacmil (~wmacmil@c83-252-138-144.bredband.tele2.se)
[12:51:32] <wmacmil> i'm not able to understand how to look under the hood with cc
[12:51:39] <wmacmil> for instance i'm getting the following :
[12:51:40] <wmacmil> cc usePrec 0 (Add (EInt 3) (EInt 4))
[12:51:40] <wmacmil>  type of 3
[12:51:40] <wmacmil> expected: {s : Str}
[12:51:40] <wmacmil> inferred: Predef.Int
[12:52:15] <wmacmil> or cc (usePrec 0 (Add (VExp VarX) (VExp VarY)))
[12:52:15] <wmacmil> cannot infer type of constant VarX
[12:53:01] <wmacmil> how can i satisfy the type-checker here?
[12:53:52] <wmacmil> in the latter case,   lincat Var = Str ; and i'm just trying to see how the precedence function evaluates
[14:03:42] *** Joins: drbean (~drbean@TC210-63-209-36.static.apol.com.tw)
[15:49:13] *** Quits: drbean (~drbean@TC210-63-209-36.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
[16:16:17] *** Quits: wmacmil (~wmacmil@c83-252-138-144.bredband.tele2.se) (Ping timeout: 255 seconds)
[23:02:37] *** Joins: wmacmil (~wmacmil@c83-248-72-252.bredband.tele2.se)
[23:56:22] *** Quits: wmacmil (~wmacmil@c83-248-72-252.bredband.tele2.se) (Ping timeout: 252 seconds)