search

heliaxdev / extensible-data

Generate the boilerplate for the Trees That Grow pattern
https://heliaxdev.github.io/extensible-data/Extensible.html
5 stars 0 forks source link

Allow Types and Constructors to share the same Name #11

Closed mariari closed 4 years ago

mariari commented 4 years ago

Often it's a pattern in Haskell to say

data MatchL =  Matchl...

currently this causes issues resulting in 

rc/Juvix/Frontend/Types.hs:(27,1)-(384,4): error: …
    • Constructors MatchL' and MatchLX
      give different types for field
      ‘extMatchL’
    • In the data type declaration for ‘MatchL'’
   |
andy-morris commented 4 years ago

note for self: this probably just needs extensionLabel to be split into two things where the default is different