blob: 2829d96c50de0c25ccd739dcec12c87a9f94e262 (
plain)
1
|
TypeError { type_message: InvalidFieldType(Label("x"), Value@Unevaled { value: PartialExpr(BoolLit(true)), type: Value@WHNF { value: AppliedBuiltin(Bool, []), type: Type } }), context: TypecheckContext([]) }
|