Re: [GHC] #1877: Change the meaning of -fextended-default-rules
#1877: Change the meaning of -fextended-default-rules +--- Reporter: simonmar | Owner: Type: task | Status: new Priority: lowest | Milestone: 7.6.2 Component: GHCi | Version: 6.8.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Easy (less than 1 hour) |Testcase: Blockedby: |Blocking: Related: | +--- Comment(by simonpj): Acutally, isn't this fixed? We now have `:set` and `:seti` in GHCi, see [http://www.haskell.org/ghc/docs/latest/html/users_guide/ghci-set.html #ghci-interactive-options the manual 2.8.3]. So can we close this ticket? Simon -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1877#comment:17 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #1877: Change the meaning of -fextended-default-rules
#1877: Change the meaning of -fextended-default-rules ---+ Reporter: simonmar | Owner: Type: task | Status: closed Priority: lowest| Milestone: 7.6.2 Component: GHCi |Version: 6.8.1 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Easy (less than 1 hour) Testcase:| Blockedby: Blocking:|Related: ---+ Changes (by simonmar): * status: new = closed * resolution: = fixed Comment: Yes, I think we can. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1877#comment:18 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #1877: Change the meaning of -fextended-default-rules
#1877: Change the meaning of -fextended-default-rules -+-- Reporter: simonmar |Owner: Type: task | Status: new Priority: low |Milestone: 6.14.1 Component: GHCi | Version: 6.8.1 Keywords:| Difficulty: Easy (less than 1 hour) Os: Unknown/Multiple | Testcase: Architecture: Unknown/Multiple | Failure: None/Unknown -+-- Changes (by kfrdbs): * cc: kfr...@… (added) * failure: = None/Unknown -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1877#comment:12 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #1877: Change the meaning of -fextended-default-rules
#1877: Change the meaning of -fextended-default-rules -+-- Reporter: simonmar |Owner: Type: task | Status: new Priority: normal|Milestone: 6.12 branch Component: GHCi | Version: 6.8.1 Severity: normal| Resolution: Keywords:| Difficulty: Easy (1 hr) Testcase:| Os: Unknown/Multiple Architecture: Unknown/Multiple | -+-- Changes (by igloo): * milestone: 6.10 branch = 6.12 branch -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1877#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #1877: Change the meaning of -fextended-default-rules
#1877: Change the meaning of -fextended-default-rules --+- Reporter: simonmar | Owner: Type: task | Status: new Priority: normal| Milestone: 6.10 branch Component: GHCi |Version: 6.8.1 Severity: normal| Resolution: Keywords:| Difficulty: Easy (1 hr) Testcase:| Architecture: Unknown Os: Unknown | --+- Comment (by simonpj): I'm missing something. * If you put `-fextended-default-rules` (or a corresponding `-X` language flag) in a module, it should apply to that module. * If you `:set -fno-extended-default-rules` at the GHCi prompt, it should switch it off for GHCi. Ah, hmm, maybe I see. Say you `:set -fallow-overlapping-instances` at the GHCi prompt. That setting ''also'' applies when GHCi compiles a module, doesn't it? If you didn't want overlapping instances in the module there's no way to switch it off, short of putting `-fno-allow-overlapping- instances` in the module, which seems wrong. But in the case of extended-defaults, GHCi typically has it on, but we ''don't'' want to have it on by default for a module. That's a new situation. An ad-hoc solution would be to splat the flags with `-fno- extended-defaults` just before GHCi compiles a module. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1877#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #1877: Change the meaning of -fextended-default-rules
#1877: Change the meaning of -fextended-default-rules --+- Reporter: simonmar | Owner: Type: task | Status: new Priority: normal| Milestone: 6.10 branch Component: GHCi |Version: 6.8.1 Severity: normal| Resolution: Keywords:| Difficulty: Easy (1 hr) Testcase:| Architecture: Unknown Os: Unknown | --+- Comment (by SamB): Replying to [comment:3 igloo]: OK, thanks for pointing that out, sorear. It sounds like we need 2 flags then: One to control behaviour for code typed at the GHCi prompt, and one for the behaviour for code from files. In which case we should leave the existing flag with its current meaning and add one to control the behaviour for code typed at the GHCi prompt. What about the -X flag? We could use that one for source files and -fextended-default-rules for GHCi. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1877#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
[GHC] #1877: Change the meaning of -fextended-default-rules
#1877: Change the meaning of -fextended-default-rules -+-- Reporter: simonmar | Owner: Type: task | Status: new Priority: normal| Milestone: 6.10 branch Component: GHCi | Version: 6.8.1 Severity: normal|Keywords: Difficulty: Unknown |Testcase: Architecture: Unknown | Os: Unknown -+-- Currently `-fextended-default-rules` applies to source code modules. GHCi has the extended defaulting behaviour by default for expressions typed at the prompt, and there's no way to change that. We propose the following change: extended defaulting would only ever apply to expressions typed at the GHCi prompt, and it would be disabled with `-fno-extended-default-rules` (on by default). See also #1200, where `-fextended-default-rules` was introduced. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1877 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #1877: Change the meaning of -fextended-default-rules
#1877: Change the meaning of -fextended-default-rules --+- Reporter: simonmar | Owner: Type: task | Status: new Priority: normal| Milestone: 6.10 branch Component: GHCi |Version: 6.8.1 Severity: normal| Resolution: Keywords:| Difficulty: Easy (1 hr) Testcase:| Architecture: Unknown Os: Unknown | --+- Changes (by simonmar): * difficulty: Unknown = Easy (1 hr) -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1877#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #1877: Change the meaning of -fextended-default-rules
#1877: Change the meaning of -fextended-default-rules --+- Reporter: simonmar | Owner: Type: task | Status: new Priority: normal| Milestone: 6.10 branch Component: GHCi |Version: 6.8.1 Severity: normal| Resolution: Keywords:| Difficulty: Easy (1 hr) Testcase:| Architecture: Unknown Os: Unknown | --+- Comment (by sorear): Note that this will break lambdabot, which wraps user-provided code in a module and compiles it with -fextended-default-rules and -O2. Some other method will need to be found to access that combination of functionality. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1877#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #1877: Change the meaning of -fextended-default-rules
#1877: Change the meaning of -fextended-default-rules --+- Reporter: simonmar | Owner: Type: task | Status: new Priority: normal| Milestone: 6.10 branch Component: GHCi |Version: 6.8.1 Severity: normal| Resolution: Keywords:| Difficulty: Easy (1 hr) Testcase:| Architecture: Unknown Os: Unknown | --+- Comment (by igloo): OK, thanks for pointing that out, sorear. It sounds like we need 2 flags then: One to control behaviour for code typed at the GHCi prompt, and one for the behaviour for code from files. In which case we should leave the existing flag with its current meaning and add one to control the behaviour for code typed at the GHCi prompt. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1877#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs