Skip to content
Snippets Groups Projects

match implementation of GHC proposal #106 (Define Kinds Without Promotion)

Merged match implementation of GHC proposal #106 (Define Kinds Without Promotion)
wip/type-data into ghc-head
Merged Ross Paterson requested to merge wip/type-data into ghc-head

After (ghc!8962 (closed)), HsDataDefn will have an additional field dd_type marking type data declarations, so the two merges need to happen together.

Edited by Ross Paterson

Merge request reports

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
Please register or sign in to reply