[GHC] #15085: :type-at/:all-types and :r don't mix
#15085: :type-at/:all-types and :r don't mix -------------------------------------+------------------------------------- Reporter: dmwit | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.4.3 Component: Compiler | Version: 8.4.2 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: -------------------------------------+------------------------------------- Steps to reproduce: 1. Put `x = ()` in test.hs. 2. Start ghci. 3. Turn on collection with :set +c. 4. Load the file with :l test.hs. 5. Observe the following output from :all-types {{{ test.hs:(1,1)-(1,2): () test.hs:(1,5)-(1,7): () }}} 6. While ghci is still open, modify the file to say `x = True`. 7. In the same ghci session as before, reload with :r, or load the file again with :l test.hs, chef's choice. 8. Run :all-types again. After step 8, ghci prints the exact same thing as before, indicating that both sides of the equation have type `()`. It should instead update the source spans and types to match the file, reporting `Bool` instead of `()` and `(1,5)-(1,9)` for the second span. Manually exiting and restarting ghci appears to be the only way to freshen the collected type information. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15085 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15085: :type-at/:all-types and :r don't mix -------------------------------------+------------------------------------- Reporter: dmwit | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.4.3 Component: Compiler | Version: 8.4.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * cc: hvr (added) Comment: CCing Herbert who ported this feature. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15085#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15085: :type-at/:all-types and :r don't mix -------------------------------------+------------------------------------- Reporter: dmwit | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.4.3 Component: Compiler | Version: 8.4.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by dramforever): Could you please show the exact command line used and a log of your interaction session? I suspect that this may be related to #15369 but I'm not sure, and I wasn't able to reproduce your issue (on 8.4.3). -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15085#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15085: :type-at/:all-types and :r don't mix -------------------------------------+------------------------------------- Reporter: dmwit | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.4.3 Component: Compiler | Version: 8.4.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by dmwit): Sure, here's a copy-and-paste of a session with 8.4.2. (I don't have 8.4.3 handy to test with.) {{{ % ghci-8.4.2 -ignore-dot-ghci GHCi, version 8.4.2: http://www.haskell.org/ghc/ :? for help Prelude> :!cat test.hs x = () Prelude> :set +c Prelude> :l test.hs [1 of 1] Compiling Main ( test.hs, interpreted ) Ok, one module loaded. Collecting type info for 1 module(s) ... *Main> :all-types test.hs:(1,1)-(1,2): () test.hs:(1,5)-(1,7): () *Main> :!cat test.hs x = True *Main> :r [1 of 1] Compiling Main ( test.hs, interpreted ) Ok, one module loaded. *Main> :all-types test.hs:(1,1)-(1,2): () test.hs:(1,5)-(1,7): () }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15085#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15085: :type-at/:all-types and :r don't mix -------------------------------------+------------------------------------- Reporter: dmwit | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.4.3 Component: Compiler | Version: 8.4.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by dmwit): Okay, I confirmed the bug still exists in 8.4.3. The transcript is essentially identical to the one I posted above for 8.4.2. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15085#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15085: :type-at/:all-types and :r don't mix -------------------------------------+------------------------------------- Reporter: dmwit | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: 8.4.3 Component: Compiler | Version: 8.4.2 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: make test | TEST=T15369 Blocked By: | Blocking: Related Tickets: #15369 | Differential Rev(s): Phab:D5376 Wiki Page: | -------------------------------------+------------------------------------- Changes (by RolandSenn): * status: new => closed * testcase: => make test TEST=T15369 * differential: => Phab:D5376 * resolution: => duplicate * related: => #15369 Comment: This has been fixed with #15369, Phab:D5376. Ok, in reality #15369 was a duplicate of this ticket. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15085#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC