#5972: option to suppress (Monomorphic) record selector functions
---------------------------------+------------------------------------------
Reporter: AntC | Owner:
Type: feature request | Status: new
Priority: normal | Milestone:
Component: Compiler | Version:
Keywords: records | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: None/Unknown
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
---------------------------------+------------------------------------------
Comment(by AntC):
Replying to [comment:1 simonmar]:
> why only monomorphic selector functions? ... `-XNoFieldSelectors`?
Thanks Simon, I am asking to suppress all H98-style field selectors,
including those whose field's type is parametric polymorphic or higher-
ranked. Perhaps describing what I want as 'Mono' is therefore misleading.
I mean H98 selectors are mono in the sense of applying only to a single
record type and yielding a single type from that field in that record
(which could be polymorphic).
I'm looking forward to one day having overloadable field selectors which
could apply to more than a single record type. (But I'm trying not to pre-
judge the outcome from the 'Records in Haskell' debate.) This modest
proposal is acknowledging we need to take a step back to facilitate some
experimantation before we can go forward.
So I think calling the flag -XNoFieldSelectors might close off that
future. Perhaps instead -XNoH98FieldSelectors? (I'm trying not to bikeshed
on the lexical details.)
Simon PJ: I don't think we need a separate patch, I'm looking for the same
as Simon M, I just need a better way to explain it, perhaps.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5972#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
