[13:04:15] *** Joins: LeoSliver (~tls@177.10.30.181) [13:04:22] *** Parts: LeoSliver (~tls@177.10.30.181) () [13:42:46] ooh a new person [18:18:14] look what freaky GF errors I'm getting [18:18:15] Internal error in Compute.ConcreteNew: [18:18:15] The term x ** {s : ConjType => A [18:18:15] = table ConjType { [18:18:15] _ => as.s [18:18:15] }} is not reducible [18:18:16] not records [18:18:16] VGen 2 [] [18:18:17] VRec [(LIdent (Id {rawId2utf8 = "s"}),VV (QC (IC (Id {rawId2utf8 = "ParamKor"}),IC (Id {rawId2utf8 = "ConjType"}))) [VCApp (IC (Id {rawId2utf8 = "ParamKor"}),IC (Id {rawId2utf8 = "And"})) [],VCApp (IC (Id {rawId2utf8 = "ParamKor"}),IC (Id {rawId2utf8 = "Or"})) [],VCApp (IC (Id {rawId2utf8 = "ParamKor"}),IC (Id {rawId2utf8 = "Comma"})) []] [VP (VGen 3 []) (LIdent (Id {rawId2utf8 = "s"})),VP (VGen 3 []) (L [18:18:17] Ident (Id {rawId2utf8 = "s"})),VP (VGen 3 []) (LIdent (Id {rawId2utf8 = "s"}))])] [18:18:18] CallStack (from HasCallStack): [18:18:18] error, called at src/compiler/GF/Compile/Compute/ConcreteNew.hs:580:13 in gf-3.10.3-78vkYEvqjDa3tJH3g2tXyo:GF.Compile.Compute.ConcreteNew [20:29:58] very helpful!