|

»

Haskell - Glasgow-haskell-bugs

[GHC] #3545: As-patterns for type signatures

View: New views

3 Messages — Rating Filter: Alert me

	[GHC] #3545: As-patterns for type signatures by GHC-2 :: Rate this Message: Reply to Author \| View Threaded \| Show Only this Message #3545: As-patterns for type signatures -----------------------------+---------------------------------------------- Reporter: LouisWasserman \| Owner: Type: feature request \| Status: new Priority: normal \| Component: Compiler (Parser) Version: 6.11 \| Severity: normal Keywords: \| Testcase: Os: Unknown/Multiple \| Architecture: Unknown/Multiple -----------------------------+---------------------------------------------- The proposal: in any type signature, the presence of type variable x@pat matches the type specified by pat, and replaces any occurrences of the type variable x with pat. In particular, this might be comparable to defining type x (free variables in pat) = pat with scope solely to the right of the as-pattern. Alternately, it might be compared to an equality constraint (x ~ pat). -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3545> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@... http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
	Re: [GHC] #3545: As-patterns for type signatures by GHC-2 :: Rate this Message: Reply to Author \| View Threaded \| Show Only this Message #3545: As-patterns for type signatures ----------------------------------------+----------------------------------- Reporter: LouisWasserman \| Owner: Type: feature request \| Status: new Priority: normal \| Milestone: 6.14.1 Component: Compiler (Type checker) \| Version: 6.11 Severity: normal \| Resolution: Keywords: \| Difficulty: Unknown Testcase: \| Os: Unknown/Multiple Architecture: Unknown/Multiple \| ----------------------------------------+----------------------------------- Changes (by igloo): * difficulty: => Unknown * milestone: => 6.14.1 -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3545#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@... http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
	Re: [GHC] #3545: As-patterns for type signatures by GHC-2 :: Rate this Message: Reply to Author \| View Threaded \| Show Only this Message #3545: As-patterns for type signatures ----------------------------------------+----------------------------------- Reporter: LouisWasserman \| Owner: Type: feature request \| Status: new Priority: normal \| Milestone: _\|_ Component: Compiler (Type checker) \| Version: 6.11 Severity: normal \| Resolution: Keywords: \| Difficulty: Unknown Testcase: \| Os: Unknown/Multiple Architecture: Unknown/Multiple \| ----------------------------------------+----------------------------------- Changes (by simonmar): * milestone: 6.14.1 => _\|_ Comment: Let's leave this as an unmilestoned feature request. It needs a lot more discussion. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3545#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@... http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs