testsuite/tests/typecheck/should_fail/T15523.stderr


1
2
3
4
5
6


T15523.hs:5:20: error:
    • The constructor of a newtype must have exactly one field
        but ‘Foo’ has none
    • In the definition of data constructor ‘Foo’
      In the newtype declaration for ‘Duration’