Skip to content

Commit

Permalink
Merge branch 'unlifted-data' of https://github.com/sgraf812/ghc-propo…
Browse files Browse the repository at this point in the history 
…sals
  • Loading branch information
@nomeata
nomeata committed Jan 30, 2020
2 parents 2c9022a + 9bb543a commit e5d9939
Showing 1 changed file with 590 additions and 0 deletions.

4 comments on commit e5d9939

@ggreif
Copy link
Contributor

@ggreif ggreif commented on e5d9939 Jan 31, 2020 •
edited

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sometimes you use UnliftedRep and sometimes the shorter Unlifted. Same for LiftedRep vs. Lifted. This should be clarified. @sgraf812

@sgraf812
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

You're right. It should be Unlifted and Lifted throughout. What is the proposal process for fixing these typos? Just opening a PR or doing a amendment proposal, like we did for #301?

@ggreif
Copy link
Contributor

@ggreif ggreif commented on e5d9939 Jan 31, 2020 via email

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@sgraf812
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

#308

Please sign in to comment.