Improve support for OverloadedRecordDot
#2
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Description
Problem: The
Data.Time.TZTime
module does not export its fields; instead, it exports 3 functions for reading those fields:tzTimeLocalTime
,tzTimeTZInfo
,tzTimeOffset
.We want them to behave as field-like as possible, but read-only.
However, they cannot be used with
OverloadedRecordDot
, i.e. you cannot write something liketz.tzTimeLocalTime
.Solution: Add
HasField
instances.Related issue(s)
None
✅ Checklist for your Pull Request
Related changes (conditional)
Tests
silently reappearing again.
Documentation
Stylistic guide (mandatory)