path: root/dhall/tests/type-errors/unit/VariableFree.txt

TypeError { type_message: UnboundVariable(V(Label("x"), 0)), context: TypecheckContext([]) }