[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
#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