#8185: Change role annotation syntax
----------------------------+----------------------------------------------
Reporter: | Owner: goldfire
goldfire | Status: new
Type: feature | Milestone: 7.8.1
request | Version: 7.7
Priority: normal | Keywords:
Component: | Architecture: Unknown/Multiple
Compiler | Difficulty: Moderate (less than a day)
Resolution: | Blocked By:
Operating System: | Related Tickets:
Unknown/Multiple |
Type of failure: |
None/Unknown |
Test Case: |
Blocking: |
----------------------------+----------------------------------------------
Comment (by goldfire):
Yes, very much agreed with rwbarton:
{{{
data Foo {-# ROLE Nominal #-} a = ...
}}}
is the plan for labeling `a` with role `Nominal`.
Also as part of this plan is to prefer writing out role names in full
(e.g., "Nominal" not "N") to help with understanding and searching.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8185#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
ghc-tickets mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-tickets
