search

sanctuary-js / sanctuary-def

Run-time type system for JavaScript
MIT License
294 stars 23 forks source link

improve string representations of record types #201

Closed davidchambers closed 6 years ago

davidchambers commented 6 years ago

Before:

> show ($.RecordType ({}))
'{ }'

> show ($.RecordType ({'x :: { y :: Number }, z': $.Number}))
'{ x :: { y :: Number }, z :: Number }'

> show ($.RecordType ({x: $.RecordType ({y: $.Number}), z: $.Number}))
'{ x :: { y :: Number }, z :: Number }'

After:

> show ($.RecordType ({}))
'{}'

> show ($.RecordType ({'x :: { y :: Number }, z': $.Number}))
'{ "x :: { y :: Number }, z" :: Number }'

> show ($.RecordType ({x: $.RecordType ({y: $.Number}), z: $.Number}))
'{ x :: { y :: Number }, z :: Number }'