{"push_id":1081175241,"size":2,"distinct_size":1,"ref":"refs/heads/dc-underline","head":"a8da7584aa48cbcf5bf8baae4170ba5035294e1d","before":"b98585bd61fdb1372324b48af0db28cc5ba569c2","commits":[{"sha":"f38d8e6bf724229242f69afbcc90670b974e0500","author":{"email":"13211ef68928d927b98c56e3497bfbc0a93a377a@davidchambers.me","name":"David Chambers"},"message":"define $.test\n\nCurrently, one determines whether a value is a member of a type via:\n\n    t.test(x)\n\nThis commit introduces a public function for performing such checks:\n\n    $.test(env, t, x)\n\nThis function takes an environment in order to handle type variables.","distinct":false,"url":"https://api.github.com/repos/plaid/sanctuary-def/commits/f38d8e6bf724229242f69afbcc90670b974e0500"},{"sha":"a8da7584aa48cbcf5bf8baae4170ba5035294e1d","author":{"email":"13211ef68928d927b98c56e3497bfbc0a93a377a@davidchambers.me","name":"David Chambers"},"message":"underline invalid record value rather than entire record\n\nWhen we determine that a value is not a member of the specified record\ntype, we do not currently make the reason clear: we underline the type's\nentire string representation even if just one field is invalid.\n\nThis problem compounds with nesting, since the outermost record type is\nunderlined regardless of the depth at which validation fails.\n\nThis commit updates the \"underline\" function to draw attention to the\ninvalid field.\n\nInvalid position.x, before:\n\n    { color :: String, position :: { x :: Number, y :: Number } }\n    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n\nInvalid position.x, after:\n\n    { color :: String, position :: { x :: Number, y :: Number } }\n                                          ^^^^^^","distinct":true,"url":"https://api.github.com/repos/plaid/sanctuary-def/commits/a8da7584aa48cbcf5bf8baae4170ba5035294e1d"}]}