Error found:
in module RecordLabelOnTypeError
at tests/purs/failing/RecordLabelOnTypeError.purs:8:5 - 8:6 (line 8, column 5 - line 8, column 6)

  Could not match type
       
    Int
       
  with type
          
    String
          

while matching label field
while checking that type { field :: Int
                         }             
  is at least as general as type { field :: String
                                 }                
while checking that expression a
  has type { field :: String
           }                
in value declaration b

See https://github.com/purescript/documentation/blob/master/errors/TypesDoNotUnify.md for more information,
or to contribute content related to this error.