Re: [GHC] #5445: programatica package compilation fails

[GHC]

#5445: programatica package compilation fails
+---
  Reporter:  maeder |  Owner:  
  Type:  bug| Status:  closed  
  Priority:  normal |  Milestone:  7.4.1   
 Component:  Compiler   |Version:  7.2.1   
Resolution:  fixed  |   Keywords:  
  Testcase: |  Blockedby:  
Difficulty: | Os:  Unknown/Multiple
  Blocking: |   Architecture:  Unknown/Multiple
   Failure:  GHC rejects valid program  |  
+---

Comment(by maeder):

 I've managed to change the code http://www.informatik.uni-
 bremen.de/agbkb/forschung/formal_methods/CoFI/hets/src-
 distribution/programatica-1.0.0.3.tar.gz

-- 
Ticket URL: 
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] #5445: programatica package compilation fails

[GHC]

#5445: programatica package compilation fails
+---
  Reporter:  maeder |  Owner:  
  Type:  bug| Status:  closed  
  Priority:  normal |  Milestone:  7.4.1   
 Component:  Compiler   |Version:  7.2.1   
Resolution:  fixed  |   Keywords:  
  Testcase: |  Blockedby:  
Difficulty: | Os:  Unknown/Multiple
  Blocking: |   Architecture:  Unknown/Multiple
   Failure:  GHC rejects valid program  |  
+---

Comment(by simonmar):

 I think the workaround is to use explicit export lists (see Simon's
 commits above).

-- 
Ticket URL: 
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] #5445: programatica package compilation fails

[GHC]

#5445: programatica package compilation fails
+---
  Reporter:  maeder |  Owner:  
  Type:  bug| Status:  closed  
  Priority:  normal |  Milestone:  7.4.1   
 Component:  Compiler   |Version:  7.2.1   
Resolution:  fixed  |   Keywords:  
  Testcase: |  Blockedby:  
Difficulty: | Os:  Unknown/Multiple
  Blocking: |   Architecture:  Unknown/Multiple
   Failure:  GHC rejects valid program  |  
+---

Comment(by maeder):

 I tried to qualify names, but did not find a workaround.

-- 
Ticket URL: 
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] #5445: programatica package compilation fails

[GHC]

#5445: programatica package compilation fails
+---
  Reporter:  maeder |  Owner:  
  Type:  bug| Status:  closed  
  Priority:  normal |  Milestone:  7.4.1   
 Component:  Compiler   |Version:  7.2.1   
Resolution:  fixed  |   Keywords:  
  Testcase: |  Blockedby:  
Difficulty: | Os:  Unknown/Multiple
  Blocking: |   Architecture:  Unknown/Multiple
   Failure:  GHC rejects valid program  |  
+---
Changes (by simonmar):

  * status:  new => closed
  * resolution:  => fixed
  * milestone:  => 7.4.1


Comment:

 Replying to [comment:4 maeder]:
 > I get the same failure with ghc-7.2.1.2003. Wasn't the patch merged?

 No - we're only fixing critical bugs with no workarounds in 7.2.2, and as
 I understand it this one has workarounds (moreover the fix isn't small).

-- 
Ticket URL: 
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] #5445: programatica package compilation fails

[GHC]

#5445: programatica package compilation fails
+---
  Reporter:  maeder |  Owner:  
  Type:  bug| Status:  new 
  Priority:  normal |  Milestone:  
 Component:  Compiler   |Version:  7.2.1   
Resolution: |   Keywords:  
  Testcase: |  Blockedby:  
Difficulty: | Os:  Unknown/Multiple
  Blocking: |   Architecture:  Unknown/Multiple
   Failure:  GHC rejects valid program  |  
+---
Changes (by maeder):

  * owner:  simonpj =>
  * status:  closed => new
  * resolution:  fixed =>


Comment:

 I get the same failure with ghc-7.2.1.2003. Wasn't the patch merged?

-- 
Ticket URL: 
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] #5445: programatica package compilation fails

[GHC]

#5445: programatica package compilation fails
+---
  Reporter:  maeder |  Owner:  simonpj 
  Type:  bug| Status:  closed  
  Priority:  normal |  Milestone:  
 Component:  Compiler   |Version:  7.2.1   
Resolution:  fixed  |   Keywords:  
  Testcase: |  Blockedby:  
Difficulty: | Os:  Unknown/Multiple
  Blocking: |   Architecture:  Unknown/Multiple
   Failure:  GHC rejects valid program  |  
+---
Changes (by simonpj):

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


Comment:

 I backtracked!  Anyway, the bug is fixed. Thank you for identifying it for
 me.
 {{{
 commit f5c0851a72f7a9cb8a7349eec7a6d4262be7295d
 Author: Simon Peyton Jones 
 Date:   Fri Sep 2 17:34:00 2011 +0100

 Backtrack on the wierd special case of data family exports

 I had second thoughts on the "data family export" question.
 Rather than add a wierd special case it seems better to be
 simple and consistent.  So this patch

  * Reverts to the simple behaviour:
  module M where { ... }
exports only what is defined in M, ie NOT any
imported data families.
See Note [Exports of data families] in RnNames

 * Documents this behaviour in the user manual, and clarifies
   what was there before.
 }}}

-- 
Ticket URL: 
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] #5445: programatica package compilation fails

[GHC]

#5445: programatica package compilation fails
-+--
Reporter:  maeder|Owner:  simonpj  
Type:  bug   |   Status:  new  
Priority:  normal|Milestone:   
   Component:  Compiler  |  Version:  7.2.1
Keywords:| Testcase:   
   Blockedby:|   Difficulty:   
  Os:  Unknown/Multiple  | Blocking:   
Architecture:  Unknown/Multiple  |  Failure:  GHC rejects valid program
-+--

Comment(by simonpj@…):

 commit faadd61ef05e8f84a2ad7e0fb6b6d873a7b8c232
 {{{
 Author: Simon Peyton Jones 
 Date:   Fri Sep 2 09:20:45 2011 +0100

 Two bugs in rnExports (fixes Trac #5445)

 When constructing export lists, data families pose an awkward problem,
 documented in Note [Exports of data families] in RnNames.  Consider

module M where
  import X( D )
  data instance D Int = M1 | M2

 Here M exports M1 and M2, obviously, but does it export D?  It would
 not usually do so, but if we don't then no one can import M
 selectively
 like this:
import M( D(M1,M2) )

 So we compromise and export D too.  But I made two mistakes

 a) Didn't check for conflicts between the extra export of X.D
and any other exports called "D"

 b) Did the extra export for imported things too, not just ones defined
in this module (ie made the compromise apply much more widely than
necessary)

 This made Programatica (a complex project) break in an obscure
 way; (b) caused an export conflict, (a) meant that the conflict
 was not spotted, which in turn caused later chaos.

 Anyway the fix is easy, and is documented in the Note.

  compiler/rename/RnNames.lhs |   73
 ++
  1 files changed, 45 insertions(+), 28 deletions(-)
 }}}

-- 
Ticket URL: 
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] #5445: programatica package compilation fails

[GHC]

#5445: programatica package compilation fails
-+--
Reporter:  maeder|Owner:  simonpj  
Type:  bug   |   Status:  new  
Priority:  normal|Milestone:   
   Component:  Compiler  |  Version:  7.2.1
Keywords:| Testcase:   
   Blockedby:|   Difficulty:   
  Os:  Unknown/Multiple  | Blocking:   
Architecture:  Unknown/Multiple  |  Failure:  GHC rejects valid program
-+--
Changes (by simonpj):

  * owner:  => simonpj


Comment:

 Nice catch thank you.  Am fixing.

-- 
Ticket URL: 
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] #5445: programatica package compilation fails

[GHC]

#5445: programatica package compilation fails
-+--
Reporter:  maeder|   Owner:   
Type:  bug   |  Status:  new  
Priority:  normal|   Component:  Compiler 
 Version:  7.2.1 |Keywords:   
Testcase:|   Blockedby:   
  Os:  Unknown/Multiple  |Blocking:   
Architecture:  Unknown/Multiple  | Failure:  GHC rejects valid program
-+--
 {{{
 cabal install http://www.informatik.uni-
 bremen.de/agbkb/forschung/formal_methods/CoFI/hets/src-
 distribution/programatica-1.0.0.2.tar.gz
 }}}

 fails for ghc-7.2.1 with:

 {{{
  [201 of 223] Compiling PropPlogic   (
 property/parse2/Parser/PropPlogic.hs, dist/build/PropPlogic.o )

 property/parse2/Parser/PropPlogic.hs:36:25:
 Couldn't match type `PosName.HsName' with `HsName'
 When using functional dependencies to combine
   HasPropStruct
 (PropSyntaxRec.AssertionI i) (PropSyntaxRec.PropPA i),
 arising from the dependency `rec -> prop'
 in the instance declaration at
 property/syntax/PropSyntaxRec.hs:38:10
   HasPropStruct
 Assertion
 (HsPropStruct.PA
HsName
(PropSyntaxRec.HsExpI PosName.HsName)
HsQualType
Assertion
(PropSyntaxRec.PredicateI PosName.HsName)),
 arising from a use of `quant'
 at property/parse2/Parser/PropPlogic.hs:36:25-29
 In the first argument of `(#)', namely `quant q n optt'
 In the expression: quant q n optt # prop p
 ...
 }}}

 but succeeds for ghc-7.0.4 and ghc-7.2.0.20110728

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs