Re: [GHC] #9478: Partial type signatures

#9478: Partial type signatures -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: Phab:D168 -------------------------------------+------------------------------------- Comment (by Thomas Miedema ): In [changeset:"5e66a698dae8c01bcd1a9335346145b32016e119/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="5e66a698dae8c01bcd1a9335346145b32016e119" Testsuite: change some expect_fail tests to expect_broken Change the following tests from expect_fail to expect_broken: and list the ticket number: * driver/sigof03m/sigof03 (#9252) * driver/static001 (#8127) * partial-sigs/should_compile/EqualityConstraint (#9478) * partial-sigs/should_compile/ExtraNumAMROn (#9478) * partial-sigs/should_compile/PatBind2 (#9478) * partial-sigs/should_fail/TidyClash2 (#9478) * simplCore/should_compile/T8832 (#8832) The following tests are still marked as expect_fail, but it is not clearly documented why so: * gadt/lazypatok * indexed-types/should_fail/SkolemOccursLoop All other expect_fail tests are only expected to fail on either a certain platform/os or for a certain way only. Differential Revision: https://phabricator.haskell.org/D966 }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9478#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler