UnionDeprecatedConstructorsKeyword.txt « unit « type-errors « tests « dhall - dhall_rust - working copy forked from https://github.com/Nadrieril/dhall-rust

summary refs log tree commit diff

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

blob: db9a35a676f7daee4ce20a788b9df9f96e884ef7 (plain)

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