[GHC] #11481: New GHCi command `:load!` doesn't defer typed holes
#11481: New GHCi command `:load!` doesn't defer typed holes -------------------------------------+------------------------------------- Reporter: thomie | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: GHCi | Version: 7.10.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Test.hs: {{{#!hs f :: Int f = _ main = print f }}} {{{ $ ghc-8.0.1 --interactive GHCi, version 8.0.0.20160111: http://www.haskell.org/ghc/ :? for help Prelude> :load! Test.hs [1 of 1] Compiling Main ( Test.hs, interpreted ) Test.hs:2:5: error: • Found hole: _ :: Int • In the expression: _ In an equation for ‘f’: f = _ • Relevant bindings include f :: Int (bound at Test.hs:2:1) Failed, modules loaded: none. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11481> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11481: New GHCi command `:load!` doesn't defer typed holes -------------------------------------+------------------------------------- Reporter: thomie | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: GHCi | Version: 7.10.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #9497 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by thomie): * related: => #9497 Comment: triple: this makes `:load!` and `:reload!` rather less useful. Do you think you could fix it? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11481#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11481: New GHCi command `:load!` doesn't defer typed holes -------------------------------------+------------------------------------- Reporter: thomie | Owner: triple Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: GHCi | Version: 7.10.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #9497 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by triple): * owner: => triple -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11481#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11481: New GHCi command `:load!` doesn't defer typed holes -------------------------------------+------------------------------------- Reporter: thomie | Owner: triple Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: GHCi | Version: 7.10.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #9497 | Differential Rev(s): Phab:D1833 Wiki Page: | -------------------------------------+------------------------------------- Changes (by triple): * differential: => Phab:D1833 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11481#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11481: New GHCi command `:load!` doesn't defer typed holes -------------------------------------+------------------------------------- Reporter: thomie | Owner: triple Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: GHCi | Version: 7.10.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #9497 | Differential Rev(s): Phab:D1833 Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): When trying to look at D1833, I get "You Shall Not Pass: Restricted Differential Revision" from Phabricator. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11481#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11481: New GHCi command `:load!` doesn't defer typed holes -------------------------------------+------------------------------------- Reporter: thomie | Owner: triple Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: GHCi | Version: 7.10.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #9497 | Differential Rev(s): Phab:D1833 Wiki Page: | -------------------------------------+------------------------------------- Comment (by goldfire): Working for me now. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11481#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11481: New GHCi command `:load!` doesn't defer typed holes -------------------------------------+------------------------------------- Reporter: thomie | Owner: triple Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: GHCi | Version: 7.10.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #9497 | Differential Rev(s): Phab:D1833 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"1f6d1422f9fe875e1d150b423c4864b42d96b8db/ghc" 1f6d1422/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="1f6d1422f9fe875e1d150b423c4864b42d96b8db" ghci: fix trac issue #11481 Test Plan: validate Reviewers: thomie, austin, bgamari Reviewed By: bgamari Differential Revision: https://phabricator.haskell.org/D1833 GHC Trac Issues: #11481 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11481#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11481: New GHCi command `:load!` doesn't defer typed holes -------------------------------------+------------------------------------- Reporter: thomie | Owner: triple Type: bug | Status: merge Priority: normal | Milestone: 8.0.1 Component: GHCi | Version: 7.10.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #9497 | Differential Rev(s): Phab:D1833 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: new => merge -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11481#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11481: New GHCi command `:load!` doesn't defer typed holes -------------------------------------+------------------------------------- Reporter: thomie | Owner: triple Type: bug | Status: closed Priority: normal | Milestone: 8.0.1 Component: GHCi | Version: 7.10.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #9497 | Differential Rev(s): Phab:D1833 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: merge => closed * resolution: => fixed Comment: Merged as e17a1d5700801db97d10e4bbdd8b31080bba47dc. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11481#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11481: New GHCi command `:load!` doesn't defer typed holes -------------------------------------+------------------------------------- Reporter: thomie | Owner: triple Type: bug | Status: closed Priority: normal | Milestone: 8.0.1 Component: GHCi | Version: 7.10.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #9497 | Differential Rev(s): Phab:D1833 Wiki Page: | -------------------------------------+------------------------------------- Comment (by thomie): Thanks triple. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11481#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11481: New GHCi command `:load!` doesn't defer typed holes -------------------------------------+------------------------------------- Reporter: thomie | Owner: triple Type: bug | Status: closed Priority: normal | Milestone: 8.0.1 Component: GHCi | Version: 7.10.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #9497 | Differential Rev(s): Phab:D1833 Wiki Page: | -------------------------------------+------------------------------------- Comment (by triple): You are welcome. Sorry for the Phabricator trouble. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11481#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC