Re: [GHC] #13833: Instances with GHC.TypeLits.Nat/Symbol should be possible without FlexibleInstances.

#13833: Instances with GHC.TypeLits.Nat/Symbol should be possible without FlexibleInstances. -------------------------------------+------------------------------------- Reporter: Hjulle | Owner: (none) Type: bug | Status: patch Priority: low | Milestone: Component: Compiler | Version: 8.0.2 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D4823 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ben Gamari ): In [changeset:"42f3b53b5bc4674e41f16de08094821fe1aaec00/ghc" 42f3b53b/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="42f3b53b5bc4674e41f16de08094821fe1aaec00" Fix #13833: accept type literals with no FlexibleInstances Test Plan: ./validate Reviewers: bgamari, simonpj Reviewed By: bgamari, simonpj Subscribers: simonpj, rwbarton, thomie, carter GHC Trac Issues: #13833 Differential Revision: https://phabricator.haskell.org/D4823 }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13833#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler