Re: [GHC] #3202: Make XNoMonomorphismRestriction the default in GHCi

2012-09-04 Thread GHC 
#3202: Make XNoMonomorphismRestriction the default in GHCi
---+
  Reporter:  YitzGale  |  Owner:  pcapriotti  
  Type:  feature request   | Status:  closed  
  Priority:  high  |  Milestone:  7.6.1   
 Component:  GHCi  |Version:  6.10.2  
Resolution:  fixed |   Keywords:  
Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown  | Difficulty:  Unknown 
  Testcase:|  Blockedby:  3217
  Blocking:|Related:  
---+
Changes (by igloo):

  * status:  merge => closed
  * resolution:  => fixed


Comment:

 As this is a feature request, I don't think we should merge to 7.6 at this
 late stage.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #3202: Make XNoMonomorphismRestriction the default in GHCi

2012-09-03 Thread GHC 
#3202: Make XNoMonomorphismRestriction the default in GHCi
-+--
Reporter:  YitzGale  |   Owner:  pcapriotti  
Type:  feature request   |  Status:  merge   
Priority:  high  |   Milestone:  7.6.1   
   Component:  GHCi  | Version:  6.10.2  
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:  3217  |Blocking:  
 Related:|  
-+--
Changes (by pcapriotti):

  * status:  new => merge


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #3202: Make XNoMonomorphismRestriction the default in GHCi

2012-09-03 Thread GHC 
#3202: Make XNoMonomorphismRestriction the default in GHCi
-+--
Reporter:  YitzGale  |   Owner:  pcapriotti  
Type:  feature request   |  Status:  new 
Priority:  high  |   Milestone:  7.6.1   
   Component:  GHCi  | Version:  6.10.2  
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:  3217  |Blocking:  
 Related:|  
-+--

Comment(by p.capriotti@…):

 commit 6def8bcf537eda726e7ae493a3fb73104ee129e5
 {{{
 Author: Paolo Capriotti 
 Date:   Sun Sep 2 17:40:51 2012 +0100

 Disable the MR by default in GHCi (#3202)

  docs/users_guide/ghci.xml |   29 -
  ghc/InteractiveUI.hs  |8 ++--
  2 files changed, 22 insertions(+), 15 deletions(-)
 }}}

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #3202: Make XNoMonomorphismRestriction the default in GHCi

2012-08-20 Thread GHC 
#3202: Make XNoMonomorphismRestriction the default in GHCi
-+--
Reporter:  YitzGale  |   Owner:  pcapriotti  
Type:  feature request   |  Status:  new 
Priority:  high  |   Milestone:  7.6.1   
   Component:  GHCi  | Version:  6.10.2  
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:  3217  |Blocking:  
 Related:|  
-+--
Changes (by simonpj):

  * owner:  => pcapriotti


Comment:

 Let's do this, and update 2.8.3 of user manual
 http://www.haskell.org/ghc/dist/current/docs/html/users_guide/ghci-
 set.html#id9289890 to specify what the default settings are.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #3202: Make XNoMonomorphismRestriction the default in GHCi

2012-02-16 Thread GHC 
#3202: Make XNoMonomorphismRestriction the default in GHCi
-+--
Reporter:  YitzGale  |   Owner:  
Type:  feature request   |  Status:  new 
Priority:  high  |   Milestone:  7.6.1   
   Component:  GHCi  | Version:  6.10.2  
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:  3217  |Blocking:  
 Related:|  
-+--
Changes (by simonmar):

  * priority:  lowest => high
  * blockedby:  => 3217


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #3202: Make XNoMonomorphismRestriction the default in GHCi

2012-02-11 Thread GHC 
#3202: Make XNoMonomorphismRestriction the default in GHCi
-+--
Reporter:  YitzGale  |   Owner:  
Type:  feature request   |  Status:  new 
Priority:  lowest|   Milestone:  7.6.1   
   Component:  GHCi  | Version:  6.10.2  
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--

Comment(by YitzGale):

 Replying to [comment:14 YitzGale]:
 > I don't think the priority of this bug should be reduced.
 > This bug is merely waiting for #3271, which has recently become
 > high priority.

 Oops, sorry, that's #3217.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #3202: Make XNoMonomorphismRestriction the default in GHCi

2012-02-11 Thread GHC 
#3202: Make XNoMonomorphismRestriction the default in GHCi
-+--
Reporter:  YitzGale  |   Owner:  
Type:  feature request   |  Status:  new 
Priority:  lowest|   Milestone:  7.6.1   
   Component:  GHCi  | Version:  6.10.2  
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--

Comment(by YitzGale):

 I don't think the priority of this bug should be reduced.
 This bug is merely waiting for #3271, which has recently become
 high priority.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #3202: Make XNoMonomorphismRestriction the default in GHCi

2011-05-26 Thread GHC 
#3202: Make XNoMonomorphismRestriction the default in GHCi
-+--
Reporter:  YitzGale  |Owner:  
Type:  feature request   |   Status:  new 
Priority:  low   |Milestone:  7.2.1   
   Component:  GHCi  |  Version:  6.10.2  
Keywords:| Testcase:  
   Blockedby:|   Difficulty:  Unknown 
  Os:  Unknown/Multiple  | Blocking:  
Architecture:  Unknown/Multiple  |  Failure:  None/Unknown
-+--
Changes (by dterei):

 * cc: dterei (added)
  * failure:  => None/Unknown


-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #3202: Make XNoMonomorphismRestriction the default in GHCi

2009-05-24 Thread GHC 
#3202: Make XNoMonomorphismRestriction the default in GHCi
-+--
Reporter:  YitzGale  |Owner:  
Type:  feature request   |   Status:  new 
Priority:  normal|Milestone:  6.12 branch 
   Component:  GHCi  |  Version:  6.10.2  
Severity:  normal|   Resolution:  
Keywords:|   Difficulty:  Unknown 
Testcase:|   Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
-+--
Changes (by igloo):

  * milestone:  => 6.12 branch

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler___
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #3202: Make XNoMonomorphismRestriction the default in GHCi

2009-05-12 Thread GHC 
#3202: Make XNoMonomorphismRestriction the default in GHCi
-+--
Reporter:  YitzGale  |Owner:  
Type:  feature request   |   Status:  new 
Priority:  normal|Milestone:  
   Component:  GHCi  |  Version:  6.10.2  
Severity:  normal|   Resolution:  
Keywords:|   Difficulty:  Unknown 
Testcase:|   Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
-+--
Changes (by simonpj):

  * difficulty:  => Unknown

Comment:

 Simon and I talked about this, and wrote a feature request #3217. Once
 that's done, it'll be easy to change the default interactive-flag setings.

 Simon

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler___
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #3202: Make XNoMonomorphismRestriction the default in GHCi

2009-04-29 Thread GHC 
#3202: Make XNoMonomorphismRestriction the default in GHCi
--+-
 Reporter:  YitzGale  |  Owner:  
 Type:  feature request   | Status:  new 
 Priority:  normal|  Milestone:  
Component:  GHCi  |Version:  6.10.2  
 Severity:  normal| Resolution:  
 Keywords:|   Testcase:  
   Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
--+-
Comment (by YitzGale):

 Replying to [comment:1 MigMit] and [comment:2 abutterfield]:
 > > Personally, I think it would be very confusing to find out suddenly
 that some function, while working perfectly well in GHCi, gives an error
 message when compiled.

 The error message is very clear - you need to add a type signature because
 of MR.
 I don't think that's confusing. It's natural, you always have more type
 signatures
 in source code than at the GHCi prompt, only in this case it happens to be
 required.

 > I think it's a good idea - GHCi could give a warning if a function
 didn't satsify MR

 A warning in GHCi would be disruptive and annoying to me. I don't
 think it's needed at all. If such warnings are added, please make sure
 that there is a way to turn them off.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler___
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #3202: Make XNoMonomorphismRestriction the default in GHCi

2009-04-29 Thread GHC 
#3202: Make XNoMonomorphismRestriction the default in GHCi
--+-
 Reporter:  YitzGale  |  Owner:  
 Type:  feature request   | Status:  new 
 Priority:  normal|  Milestone:  
Component:  GHCi  |Version:  6.10.2  
 Severity:  normal| Resolution:  
 Keywords:|   Testcase:  
   Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
--+-
Comment (by duncan):

 Replying to [comment:1 MigMit]:
 > Personally, I think it would be very confusing to find out suddenly that
 some function, while working perfectly well in GHCi, gives an error
 message when compiled.

 This already happens because of liberalised defaulting rules. I don't
 recall seeing many complaints.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler___
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #3202: Make XNoMonomorphismRestriction the default in GHCi

2009-04-29 Thread GHC 
#3202: Make XNoMonomorphismRestriction the default in GHCi
--+-
 Reporter:  YitzGale  |  Owner:  
 Type:  feature request   | Status:  new 
 Priority:  normal|  Milestone:  
Component:  GHCi  |Version:  6.10.2  
 Severity:  normal| Resolution:  
 Keywords:|   Testcase:  
   Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
--+-
Comment (by abutterfield):

 Replying to [comment:1 MigMit]:
 > Personally, I think it would be very confusing to find out suddenly that
 some function, while working perfectly well in GHCi, gives an error
 message when compiled.

 I think it's a good idea - GHCi could give a warning if a function didn't
 satsify MR

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler___
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #3202: Make XNoMonomorphismRestriction the default in GHCi

2009-04-29 Thread GHC 
#3202: Make XNoMonomorphismRestriction the default in GHCi
--+-
 Reporter:  YitzGale  |  Owner:  
 Type:  feature request   | Status:  new 
 Priority:  normal|  Milestone:  
Component:  GHCi  |Version:  6.10.2  
 Severity:  normal| Resolution:  
 Keywords:|   Testcase:  
   Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
--+-
Comment (by MigMit):

 Personally, I think it would be very confusing to find out suddenly that
 some function, while working perfectly well in GHCi, gives an error
 message when compiled.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler___
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs