Re: [GHC] #1616: segfault in generated file when using NOINLINE

2007-08-30 Thread GHC
#1616: segfault in generated file when using NOINLINE
-+--
Reporter:  guest |Owner: 
Type:  bug   |   Status:  new
Priority:  normal|Milestone:  6.8
   Component:  Compiler  |  Version:  6.6.1  
Severity:  normal|   Resolution: 
Keywords:|   Difficulty:  Unknown
  Os:  Linux | Testcase: 
Architecture:  x86   |  
-+--
Comment (by simonmar):

 I've done some analysis, but I want to check with Simon PJ about whether
 GHC is doing something wrong here.  I can definitely fix/workaround the
 bug in Happy: the problem is centered around the fact that Happy uses
 `()-()` as its unknown type, when it should really be using `Any` or
 `forall a.a`.  I've pushed a fix for Happy to its darcs repository.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1616
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] #1616: segfault in generated file when using NOINLINE

2007-08-30 Thread GHC
#1616: segfault in generated file when using NOINLINE
-+--
Reporter:  guest |Owner: 
Type:  bug   |   Status:  closed 
Priority:  normal|Milestone:  6.8
   Component:  Compiler  |  Version:  6.6.1  
Severity:  normal|   Resolution:  fixed  
Keywords:|   Difficulty:  Unknown
  Os:  Linux | Testcase: 
Architecture:  x86   |  
-+--
Changes (by simonmar):

  * resolution:  = fixed
  * status:  new = closed

Comment:

 We concluded that GHC wasn't doing anything outside its contract, but that
 we should write down more clearly what the contract was, so I've tried to
 do that in the docs for `unsafeCoerce#`.

 If it wasn't clear earlier, the workaround for this bug is not to use
 Happy's -c option, but things should only go wrong currently if you are
 using -O and have parser productions that return functions.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1616
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] #1616: segfault in generated file when using NOINLINE

2007-08-21 Thread GHC
#1616: segfault in generated file when using NOINLINE
-+--
Reporter:  guest |Owner: 
Type:  bug   |   Status:  new
Priority:  normal|Milestone:  6.8
   Component:  Compiler  |  Version:  6.6.1  
Severity:  normal|   Resolution: 
Keywords:|   Difficulty:  Unknown
  Os:  Linux | Testcase: 
Architecture:  x86   |  
-+--
Comment (by guest):

 I added the happy file.

 The error does not occur when optimizations are set off with O0.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1616
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] #1616: segfault in generated file when using NOINLINE

2007-08-16 Thread GHC
#1616: segfault in generated file when using NOINLINE
---+
  Reporter:  guest |  Owner:
 
  Type:  bug   | Status:  
new
  Priority:  normal|  Milestone:
 
 Component:  Compiler  |Version:  
6.6.1  
  Severity:  normal|   Keywords:
 
Difficulty:  Unknown   | Os:  
Unknown
  Testcase:  /home/ctr/shared/kep/Misc/esotools/temp/T.hs  |   Architecture:  
Unknown
---+
Compiling and running the attached file produces a segmentation fault. The
 file was originally generated by happy (1.15), but using happy 1.16 does
 not help. Removing the {-# NOINLINE happySpecReduce_1 #-} right before
 main solves the problem.

 uname -a:
 Linux femtosec 2.6.18-4-486 #1 Wed May 9 22:23:40 UTC 2007 i686 GNU/Linux

 gcc -v: gcc version 4.1.2

 [EMAIL PROTECTED]:~/shared/kep/Misc/esotools/temp$ ghc -v
 Glasgow Haskell Compiler, Version 6.6.1, for Haskell 98, compiled by GHC
 version 6.6.1
 Using package config file: /home/ctr/tools/lib/ghc-6.6.1/package.conf
 wired-in package base mapped to base-2.1.1
 wired-in package rts mapped to rts-1.0
 wired-in package haskell98 mapped to haskell98-1.0
 wired-in package template-haskell mapped to template-haskell-2.1
 Hsc static flags: -static
 *** Deleting temp files:
 Deleting:
 *** Deleting temp dirs:
 Deleting:
 ghc-6.6.1: no input files
 Usage: For basic information, try the `--help' option.


 === The compilation-run ===
 ghc -O2 -dcore-lint -fvia-C -fglasgow-exts -fwarn-missing-signatures
 --make T -o esoT
 [1 of 1] Compiling Main ( T.hs, T.o )

 GenericTemplate.hs:174:0:
 Warning: Definition but no type signature for `happyShift'

 GenericTemplate.hs:184:0:
 Warning: Definition but no type signature for `happySpecReduce_0'

 GenericTemplate.hs:189:0:
 Warning: Definition but no type signature for `happySpecReduce_1'

 GenericTemplate.hs:195:0:
 Warning: Definition but no type signature for `happySpecReduce_2'

 GenericTemplate.hs:201:0:
 Warning: Definition but no type signature for `happySpecReduce_3'

 GenericTemplate.hs:207:0:
 Warning: Definition but no type signature for `happyReduce'

 GenericTemplate.hs:215:0:
 Warning: Definition but no type signature for `happyMonadReduce'

 GenericTemplate.hs:222:0:
 Warning: Definition but no type signature for `happyDrop'

 GenericTemplate.hs:225:0:
 Warning: Definition but no type signature for `happyDropStk'

 GenericTemplate.hs:239:0:
 Warning: Definition but no type signature for `happyGoto'

 GenericTemplate.hs:246:0:
 Warning: Definition but no type signature for `happyFail'

 GenericTemplate.hs:258:0:
 Warning: Definition but no type signature for `notHappyAtAll'

 T.hs:92:0:
 Warning: Definition but no type signature for `happyReduction_1'

 T.hs:98:0:
 Warning: Definition but no type signature for `happyReduction_2'

 T.hs:107:0:
 Warning: Definition but no type signature for `happyReduction_3'

 T.hs:115:0:
 Warning: Definition but no type signature for `happyNewToken'

 T.hs:126:0:
 Warning: Definition but no type signature for `happyError_'

 T.hs:129:0:
 Warning: Definition but no type signature for `happyIdentity'

 T.hs:130:0:
 Warning: Definition but no type signature for `happyRunIdentity'

 T.hs:140:0:
 Warning: Definition but no type signature for `happyThen1'

 T.hs:146:0: Warning: Definition but no type signature for `parse'

 T.hs:149:0:
 Warning: Definition but no type signature for `happySeq'

 T.hs:163:0:
 Warning: Definition but no type signature for `happyParse'

 T.hs:171:0:
 Warning: Definition but no type signature for `happyAccept'

 T.hs:120:1:
 Warning: Pattern match(es) are overlapped
  In a case alternative: _ - ...
 Linking esoT ...

 [EMAIL PROTECTED]:~/shared/kep/Misc/esotools/temp$ ./esoT
 Segmentation fault

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1616
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] #1616: segfault in generated file when using NOINLINE

2007-08-16 Thread GHC
#1616: segfault in generated file when using NOINLINE
-+--
Reporter:  guest |Owner: 
Type:  bug   |   Status:  new
Priority:  normal|Milestone: 
   Component:  Compiler  |  Version:  6.6.1  
Severity:  normal|   Resolution: 
Keywords:|   Difficulty:  Unknown
  Os:  Linux | Testcase: 
Architecture:  x86   |  
-+--
Changes (by guest):

  * architecture:  Unknown = x86
  * testcase:  /home/ctr/shared/kep/Misc/esotools/temp/T.hs =
  * os:  Unknown = Linux

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1616
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