-
Notifications
You must be signed in to change notification settings - Fork 264
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Use Lifted and Unlifted in #265 consistently #308
Conversation
@ggreif care to review? I’ll merge if you approve. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Nit: a word is duplicated before before
--> before
@sgraf812
Otherwise LGTM. No iftedRep
found by grep
.
537c2d9
to
f9996fa
Compare
Thanks, fixed. |
Oh boy, I should probably give it another read and pick up all the typos I can find. |
25f262b
to
9af828a
Compare
…typos There were a couple of places in ghc-proposals#265 where I used `UnliftedRep`, `LiftedRep` or even `TYPE LiftedRep`, an uncomfortable mixture of assuming ghc-proposals#203/ghc-proposals#301 and not doing so. I also fixed a couple of typos and renamed some types to clarify.
9af828a
to
cb98530
Compare
Do you think you’ll find more or I should I merge? |
I fixed everything immediately obvious, so yes. |
There were a couple of places in #265 where I used
UnliftedRep
,LiftedRep
or evenTYPE LiftedRep
, an uncomfortable mixture ofassuming #203/#301 and not doing so.