purescript-0.14.0: tests/purs/failing/ExtraRecordField.out
Error found:
in module [33mExtraRecordField[0m
at tests/purs/failing/ExtraRecordField.purs:9:13 - 9:54 (line 9, column 13 - line 9, column 54)
Type of expression contains additional label [33mage[0m.
while checking that expression [33m{ first: "Jane"[0m
[33m, last: "Smith"[0m
[33m, age: 29 [0m
[33m} [0m
has type [33m{ first :: String[0m
[33m, last :: String [0m
[33m} [0m
while applying a function [33mfull[0m
of type [33m{ first :: String[0m
[33m, last :: String [0m
[33m} [0m
[33m-> String [0m
to argument [33m{ first: "Jane"[0m
[33m, last: "Smith"[0m
[33m, age: 29 [0m
[33m} [0m
in value declaration [33moops[0m
See https://github.com/purescript/documentation/blob/master/errors/AdditionalProperty.md for more information,
or to contribute content related to this error.