[GHC] #3179: Linking unix package fails

[GHC]

#3179: Linking unix package fails
---+
Reporter:  eelco   |  Owner:
Type:  bug | Status:  new   
Priority:  normal  |  Component:  libraries/unix
 Version:  6.10.2  |   Severity:  major 
Keywords:  |   Testcase:
  Os:  Linux   |   Architecture:  x86   
---+
 I just built GHC 6.10.2 from scratch on a Debian 4.0 machine. Everything
 seems to go well. But, when 'cabal-install'ing happstack-data, I'll get
 the following error:

 {{{
 Loading package unix-2.3.2.0 ... : can't load .so/.DLL for:
 rt (/usr/lib/librt.so: symbol __librt_multiple_threads, version
 GLIBC_PRIVATE
 not defined in file libc.so.6 with link time reference)

 }}}

-- 
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] #3178: Fix linking -lpthread for semaphores

[GHC]

#3178: Fix linking -lpthread for semaphores
-+--
Reporter:  sthibaul  |  Owner:  
Type:  bug   | Status:  new 
Priority:  normal|  Component:  Compiler
 Version:  6.10.2|   Severity:  normal  
Keywords:|   Testcase:  
  Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
-+--
 Hello,

 On the GNU/Hurd OS, the posix semaphore library does not link because
 of undefined reference to sem_* functions.  I do not know how the ghc
 build process works, could it be that it forgets to use -lpthread for
 that library?

 Samuel

-- 
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] #3177: support quasiquoting for types

[GHC]

#3177: support quasiquoting for types
-+--
Reporter:  claus |  Owner:  
Type:  feature request   | Status:  new 
Priority:  normal|  Component:  Compiler
 Version:  6.11  |   Severity:  normal  
Keywords:|   Testcase:  
  Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
-+--
 Currently, quasiquotes are limited to patterns and expressions, though
 patterns and expressions with explicit type signatures can be generated
 (with appropriate language flag for pattern signatures).

 Since so much of Haskell programming happens at the type level, it would
 be great if quasiquoting wasn't excluded from that part of the game (think
 type-level numbers, for instance, or any type-level library that requires
 constants translated into types).

 For just one example, see http://www.haskell.org/pipermail/haskell-
 cafe/2009-April/059819.html , where I would like to be able to specify
 label types and type tags directly at the type-level as well.

 related: #1476 (Template Haskell won't address this in the near future, so
 having quasiquotes for types would narrow the gap)

-- 
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] #3176: erroneous defaulting? behaviour for existentials

[GHC]

#3176: erroneous defaulting? behaviour for existentials
-+--
Reporter:  claus |  Owner:  
Type:  bug   | Status:  new 
Priority:  normal|  Component:  Compiler
 Version:  6.11  |   Severity:  normal  
Keywords:|   Testcase:  
  Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
-+--
 consider
 {{{
 {-# LANGUAGE NoExtendedDefaultRules #-}
 {-# OPTIONS_GHC -fwarn-type-defaults #-}
 {-# LANGUAGE RankNTypes #-}
 {-# LANGUAGE ExistentialQuantification #-}

 data EShow = forall a. Show a => EShow a

 smallPrint t = concatMap (\f-> case f t of EShow a -> show a) [EShow .
 foo, EShow . bar, EShow . baz]

 data ES = forall a. Show a => ES {unES:: a}

 smallPrintES t = concatMap (\f-> show $ unES $ f t) [ES . foo, ES . bar,
 ES . baz]

 data Test = Test { foo :: Int, bar :: Char, baz :: Bool }

 main = print $ smallPrintES $ Test 1 'x' False
 }}}
 for which
 {{{
 $ /cygdrive/c/ghc/ghc-6.11.20090320/bin/ghc -e "main" exists.hs
 "()()()"
 }}}
 while
 {{{
 $ /cygdrive/c/ghc/ghc-6.8.3/bin/ghc -e "main" exists.hs

 exists.hs:12:40:
 Cannot use record selector `unES' as a function due to escaped type
 variables
 Probably fix: use pattern-matching syntax instead
 In the first argument of `($)', namely `unES'
 In the second argument of `($)', namely `unES $ f t'
 In the expression: show $ unES $ f t
 }}}
 The expected results were error message or this
 {{{
 $ /cygdrive/c/ghc/ghc-6.11.20090320/bin/ghc -e "smallPrint $ Test 1 'x'
 False" exists.hs
 "1'x'False"
 }}}

 There seem to be two issues:

 - shouldn't ghc head report the use of `unES` as an error?

 - how does ghc head arrive at that result, with these flags, without any
 warnings?

-- 
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] #2965: GHC on OS X does not compile 64-bit

[GHC]

#2965: GHC on OS X does not compile 64-bit
+---
Reporter:  Axman6   |Owner:  thoughtpolice
Type:  feature request  |   Status:  new  
Priority:  normal   |Milestone:  6.12 branch  
   Component:  Compiler |  Version:   
Severity:  normal   |   Resolution:   
Keywords:  64bit|   Difficulty:  Unknown  
Testcase:   |   Os:  MacOS X  
Architecture:  x86_64 (amd64)   |  
+---
Changes (by liesen):

 * cc: johanlie...@gmail.com (added)

-- 
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] #2965: GHC on OS X does not compile 64-bit

[GHC]

#2965: GHC on OS X does not compile 64-bit
+---
Reporter:  Axman6   |Owner:  thoughtpolice
Type:  feature request  |   Status:  new  
Priority:  normal   |Milestone:  6.12 branch  
   Component:  Compiler |  Version:   
Severity:  normal   |   Resolution:   
Keywords:  64bit|   Difficulty:  Unknown  
Testcase:   |   Os:  MacOS X  
Architecture:  x86_64 (amd64)   |  
+---
Changes (by augustss):

 * cc: lenn...@augustsson.net (added)

-- 
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] #2611: print022 fails

[GHC]

#2611: print022 fails
-+--
Reporter:  igloo |Owner:  mnislaih
Type:  bug   |   Status:  closed  
Priority:  normal|Milestone:  6.12 branch 
   Component:  GHCi  |  Version:  6.9 
Severity:  normal|   Resolution:  fixed   
Keywords:|   Difficulty:  Unknown 
Testcase:  print022  |   Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
-+--
Comment (by mnislaih):

 {{{
 Sun Apr 19 16:22:41 CEST 2009  pepe iborra 
   * Really fix Trac #2611 this time

   My previous patch didn't completely solve the problem.
   I believe I got it right this time.
 }}}

-- 
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