Hugs | 2 Jun 00:25 2006

Re: [Hugs] #27: error building from src of May2006 version on Solaris 9 on SPARC

#27: error building from src of May2006 version on Solaris 9 on SPARC
---------------------------------+------------------------------------------
  Reporter:  jhudson <at> dminfo.com  |       Owner:  ross  
      Type:  defect              |      Status:  new   
  Priority:  minor               |   Milestone:        
 Component:  hugs                |     Version:  200605
Resolution:                      |    Keywords:        
---------------------------------+------------------------------------------
Changes (by ross):

  * owner:  nobody => ross

Comment:

 I believe this bug is fixed by [http://cvs.haskell.org/cgi-

 bin/cvsweb.cgi/hugs98/src/builtin.c#rev1.93 rev 1.93 of builtin.c].

-- 
Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/27>
Hugs <http://www.haskell.org/hugs/>
Hugs 98, an interpreter for Haskell
_______________________________________________
Hugs-Bugs mailing list
Hugs-Bugs <at> haskell.org
http://www.haskell.org/mailman/listinfo/hugs-bugs
Neil Mitchell | 4 Jun 19:29 2006
Picon

Bug: instances from non-imported files used

Hi,

With the following setup:

--
module A where
data A = A
--
module B where
import A
b = show A
--
module C where
import A
instance Show A where
   show A = "A"
--
import B
import C

main = print "hello"
--

:load B fails, complaining that there is no Show instance for A, which
is correct.

However, :load Main succeeds, even though the module B that it imports
is valid. It seems that the show instance of C is used in B, even
though the module B does not import (even transitively) C.

(Continue reading)

Hugs | 6 Jun 20:50 2006

[Hugs] #28: Cannot make existential type instance of class with fundep

#28: Cannot make existential type instance of class with fundep
-------------------------+--------------------------------------------------
 Reporter:  guest        |       Owner:  nobody
     Type:  defect       |      Status:  new   
 Priority:  minor        |   Milestone:        
Component:  type system  |     Version:  200605
 Keywords:               |  
-------------------------+--------------------------------------------------
There seems to be a problem when combining !FunDeps and Existential Types.
 The code below (works on ghci) causes an error:

 - ''ERROR "Existential.hs":8 - Existentially quantified variable escapes
 from pattern !FooObj a''.

 {{{
 class Foo a b | a -> b where foo :: a -> (String,b)

 data FooA = A
 instance Foo FooA String where foo _  = ("tyA","A-specific")

 data FooObj = forall a b. Foo a b => FooObj a
 instance Foo FooObj () where foo (FooObj a) = (fst (foo a),()) -- !!!
 }}}


 best regards, benedikt

-- 
Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/28>
Hugs <http://www.haskell.org/hugs/>
(Continue reading)

Neil Mitchell | 8 Jun 11:26 2006
Picon

Floating point issues

Hi,

I had the following issue reported to me by Albert (please CC him on
responses), which if it is correct is certainly very confusing.

Consider the following examples:

Hugs> 3 ** 2
9.0
Hugs> 3 ** 2 :: Float
9.0
Hugs> 3 ** 2 :: Double
9.0
Hugs> 3 ** 2 == 9
False
Hugs> 3 ** 2 == (9::Double)
False
Hugs> 3 ** 2 == (9::Float)
True

Note that GHC gets the sensible answer of True for all these cases. I
also tested this on Linux Hugs with the same results as WinHugs.

This doesn't seem that logical - I know floating point == is just
asking for trouble, but why is the less precise one keeping the
correct answer? Also it seems weird not to have the property that read
. show = id and that show a == show b => a == b

Thanks

(Continue reading)

Ross Paterson | 8 Jun 18:06 2006
Picon

Re: Floating point issues

On Thu, Jun 08, 2006 at 10:26:49AM +0100, Neil Mitchell wrote:
> Consider the following examples:
> 
> Hugs> 3 ** 2
> 9.0
> Hugs> 3 ** 2 :: Float
> 9.0
> Hugs> 3 ** 2 :: Double
> 9.0
> Hugs> 3 ** 2 == 9
> False
> Hugs> 3 ** 2 == (9::Double)
> False
> Hugs> 3 ** 2 == (9::Float)
> True
> 
> Note that GHC gets the sensible answer of True for all these cases. I
> also tested this on Linux Hugs with the same results as WinHugs.
> 
> This doesn't seem that logical - I know floating point == is just
> asking for trouble, but why is the less precise one keeping the
> correct answer? Also it seems weird not to have the property that read
> . show = id and that show a == show b => a == b

Hugs uses the Haskell 98 default definition of (**):

	x ** y = exp (log x * y)

GHC uses a specialized definition of (**) that happens to give 9.0,
but the default definition gives this answer (in ghci):
(Continue reading)

Hugs | 14 Jun 01:36 2006

[Hugs] #29: WinHugs: $$ last value doesn't work

#29: WinHugs: $$ last value doesn't work
---------------------+------------------------------------------------------
 Reporter:  neil     |       Owner:  neil        
     Type:  defect   |      Status:  new         
 Priority:  major    |   Milestone:  next release
Component:  winhugs  |     Version:  200605      
 Keywords:           |  
---------------------+------------------------------------------------------
I just installed the May 2006 release of Hugs. When I use the
 command-line version, the '$$' symbol to reference the last expression
 works fine. It does not work in WinHugs, but yields 'ERROR - Syntax
 error in expression (unexpected symbol "$$")'. I typed ':set' to verify
 the '-r$$' option was set properly.

 It works with hugs on Windows, and with Hugs on Linux, just not winhugs.

-- 
Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/29>
Hugs <http://www.haskell.org/hugs/>
Hugs 98, an interpreter for Haskell
_______________________________________________
Hugs-Bugs mailing list
Hugs-Bugs <at> haskell.org
http://www.haskell.org/mailman/listinfo/hugs-bugs
Hugs | 14 Jun 01:36 2006

Re: [Hugs] #29: WinHugs: $$ last value doesn't work

#29: WinHugs: $$ last value doesn't work
-----------------------+----------------------------------------------------
  Reporter:  neil      |       Owner:  neil        
      Type:  defect    |      Status:  new         
  Priority:  critical  |   Milestone:  next release
 Component:  winhugs   |     Version:  200605      
Resolution:            |    Keywords:              
-----------------------+----------------------------------------------------
Changes (by neil):

  * priority:  major => critical

-- 
Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/29>
Hugs <http://www.haskell.org/hugs/>
Hugs 98, an interpreter for Haskell
_______________________________________________
Hugs-Bugs mailing list
Hugs-Bugs <at> haskell.org
http://www.haskell.org/mailman/listinfo/hugs-bugs
Hugs | 19 Jun 15:15 2006

[Hugs] #30: Windows and Hugs, fails to complete build of base

#30: Windows and Hugs, fails to complete build of base
---------------------+------------------------------------------------------
 Reporter:  neil     |       Owner:  nobody      
     Type:  defect   |      Status:  new         
 Priority:  blocker  |   Milestone:  next release
Component:  hugs     |     Version:  200605      
 Keywords:           |  
---------------------+------------------------------------------------------
Under Windows/Mingw32, building hugs and the base package gives the
 following issue:

 ..\..\src\ffihugs -98 -P..\..\hugsdir\packages\base; -i"HsBase.h"
 ..\..\hugsdir\packages\base\System\Process\Internals.hs -Iinclude
 -I..\..\ghc\includes cbits\execvpe.c
 Skipping base package

 This bug is probably related to:

 > ERROR "C:\Program
 > Files\WinHugs\packages\base\System\Process\Internals.hs":747 -
 > Undefined variable "addMVarFinalizer"

 Ross says: Hmm, it uses addMVarFinalizer under Windows, and Hugs doesn't
 have that.
 Have to think about that one.

 This build failure causes the Regex module not to be built, since it comes
 after in the list of builds.

-- 
(Continue reading)

Hugs | 1 Jun 21:40 2006

[Hugs] #27: error building from src of May2006 version on Solaris 9 on SPARC

#27: error building from src of May2006 version on Solaris 9 on SPARC
--------------------------------+-------------------------------------------
 Reporter:  jhudson <at> dminfo.com  |       Owner:  nobody
     Type:  defect              |      Status:  new   
 Priority:  minor               |   Milestone:        
Component:  hugs                |     Version:  200605
 Keywords:                      |  
--------------------------------+-------------------------------------------
*** Error from Make ***

 gcc -c -DNDEBUG=1 -g  -O2 builtin.c
 builtin.c: In function `mkThunk':
 builtin.c:2151: error: `pc' undeclared (first use in this function)
 builtin.c:2151: error: (Each undeclared identifier is reported only once
 builtin.c:2151: error: for each function it appears in.)
 make[1]: *** [builtin.o] Error 1

 *** First 200 lines from "config.log" ***
 This file contains any messages produced by compilers while
 running configure, to aid debugging if configure makes a mistake.

 It was created by Hugs98 configure 1.0, which was
 generated by GNU Autoconf 2.59.  Invocation command line was

   $ ./configure --prefix=/h1/users/joe/Play/Haskell/hugs98-plus-May2006

 ## --------- ##
 ## Platform. ##
 ## --------- ##

(Continue reading)


Gmane