#11376: Inconsistent specified type variables among functions and datatypes/classes when using -XTypeApplications -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: goldfire Type: bug | Status: closed Priority: normal | Milestone: 8.0.1 Component: Compiler (Type | Version: 8.1 checker) | Keywords: Resolution: fixed | TypeApplications Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"40db277f1dedd4df7e75cc0eb35aa7e1e1ded02a/ghc" 40db277f/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="40db277f1dedd4df7e75cc0eb35aa7e1e1ded02a" Fix `print-explicit-runtime-reps` (#11786). By fixing splitting of IfaceTypes in splitIfaceSigmaTy. Test Plan: make test TEST="T11549 T11376 T11786" Reviewers: goldfire, bgamari Subscribers: rwbarton, thomie, carter GHC Trac Issues: #11786, #11376 Differential Revision: https://phabricator.haskell.org/D4733 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11376#comment:37> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler