[ ghc-Bugs-960029 ] Segmentation fault with Template Haskell

Bugs item #960029, was opened at 2004-05-25 10:33
Message generated for change (Comment added) made by simonpj
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=960029&group_id=8032

Category: Compiler
Group: None
>Status: Closed
>Resolution: Fixed
Priority: 5
Submitted By: Stefan Heimann (stefanheimann)
Assigned to: Nobody/Anonymous (nobody)
Summary: Segmentation fault with Template Haskell

Initial Comment:
When compiling the files attached, I get the following
output:

$ ./compile.sh 
Chasing modules from: TemplateTryOut.hs
Skipping  OHaskellPrimitives ( ./OHaskellPrimitives.hs,
./OHaskellPrimitives.o )
Skipping  Utils            ( ./Utils.hs, ./Utils.o )
Compiling Templates        ( ./Templates.hs,
./Templates.o )
Compiling Main             ( TemplateTryOut.hs,
TemplateTryOut.o )
Loading package base ... linking ... done.
Loading package haskell98 ... linking ... done.
Loading package haskell-src ... linking ... done.
[Info] Starting processing template
[Info] Start of translation phase
[Debug Trans] translating let expr
[Debug Trans] translating declaration
[Debug Trans] finished translating declarations of let,
now translating body
./compile.sh: line 6: 23126 Segmentation fault      ghc
-fglasgow-exts --make TemplateTryOut.hs

The problem is in Templates.hs, around line 202. As
soon as you "touches" the body expression of an LetE,
the compiler crashes.

This is the GHC version I'm using:

Glasgow Haskell Compiler, Version 6.2.1, for Haskell
98, compiled by GHC version 6.2

I first thought that I might have a stage 1 compiler,
because the line above says "compiled by GHC version
6.2", but I just used the defaults when building GHC,
so it should be a stage 2 compiler.


----------------------------------------------------------------------

>Comment By: Simon Peyton Jones (simonpj)
Date: 2004-06-02 08:25

Message:
Logged In: YES 
user_id=50165

Great bug report.  Fixed in the HEAD.  Thanks

----------------------------------------------------------------------

Comment By: Stefan Heimann (stefanheimann)
Date: 2004-05-28 09:38

Message:
Logged In: YES 
user_id=327401

I' ve now provided a much smaller testcase. The error
message is now:

$ ./compile.sh 
Chasing modules from: TemplateTryOut.hs
Compiling Templates        ( ./Templates.hs, ./Templates.o )
Compiling Main             ( TemplateTryOut.hs,
TemplateTryOut.o )
Loading package base ... linking ... done.
Loading package haskell98 ... linking ... done.
Loading package template-haskell ... linking ... done.
start of template
TupE [LamE [VarP d_1627400335] (InfixE (Just (VarE
d_1627400335)) (VarE GHC.Num.*) (Just (LitE (RationalL
(157%50))))),AppE (VarE GHC.Base.return) (LitE (RationalL
(1%1)))]
template finished
start of template
./compile.sh: line 6: 23032 Segmentation fault     
/opt/ghc-cvs/bin/ghc -fth --make TemplateTryOut.hs

I think it has something to do with the record construction
expression, because the example without the record
construction works fine.

----------------------------------------------------------------------

Comment By: Stefan Heimann (stefanheimann)
Date: 2004-05-27 21:49

Message:
Logged In: YES 
user_id=327401

The bug also occurs with GHC from CVS (Head, 2004-05-27).
The error message is:

$ ./compile.sh 
Chasing modules from: TemplateTryOut.hs
Skipping  OHaskellPrimitives ( ./OHaskellPrimitives.hs,
./OHaskellPrimitives.o )
Skipping  Utils            ( ./Utils.hs, ./Utils.o )
Compiling Templates        ( ./Templates.hs, ./Templates.o )
Compiling Main             ( TemplateTryOut.hs,
TemplateTryOut.o )
Loading package base ... linking ... done.
Loading package haskell98 ... linking ... done.
Loading package template-haskell ... linking ... done.
[Info] Starting processing template
[Info] Start of translation phase
[Debug Trans] translating let expr
[Debug Trans] translating declaration
[Debug Trans] finished translating declarations of let, now
translating body
./compile.sh: line 6:  1602 Segmentation fault     
/opt/ghc-cvs/bin/ghc -fth --make TemplateTryOut.hs


----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=960029&group_id=8032