Trying my Haskell Integer code I'm working on has triggered four (4)
bugs in Yhc, one (1) of which also exists in a similar fashion in Hugs.
See attached file. Luckily, I was able to find workarounds (none of
which I want to keep) for all of them so that I run Catch on the module
and get past the _Yhc_ errors (I had _successfully_ run Catch before
with an earlier, buggier version of my code and got no useful
information, but I figured I'd try again...). So:
]catch IntegerInTermsOfInt.hs
Executing: IntegerInTermsOfInt.hs
Compiling
Compiling IntegerInTermsOfInt ( IntegerInTermsOfInt.hs )
Loading Core for YHC.Internal
Loading Core for YHC.Primitive
Loading Core for Data.Ratio
Loading Core for Prelude
Loading Core for Foreign.C
Loading Core for Foreign.C.String
Loading Core for Foreign.Util
Loading Core for Foreign.C.Error
Loading Core for YHC.ErrNo
Loading Core for Foreign.C.Types
Loading Core for Control.Monad
Loading Core for Foreign.Word
Loading Core for Numeric
Loading Core for Data._CharNumeric
Loading Core for Data.Char
Loading Core for Data.Array
Loading Core for YHC.Exception
Loading Core for Data.Ix
Loading Core for Foreign.Storable
Loading Core for Foreign.Ptr
Loading Core for Foreign.Int
Loading Core for System.IO
Loading Core for System.IO.Unsafe
Loading Core for Data.IORef
Loading Core for YHC.IORef
Loading Core for Foreign
Loading Core for Foreign.Marshal
Loading Core for Foreign.Marshal.Alloc
Loading Core for Foreign.Marshal.Utils
Loading Core for Foreign.StablePtr
Loading Core for Foreign.ForeignPtr
Loading Core for Debug.Trace
Loading Core for System.Exit
Loading Core for PreludeAux
Linking...
catch: user error (invalid binary data found)
]catch IntegerInTermsOfInt.hs
Executing: IntegerInTermsOfInt.hs
Compiling
catch: user error (invalid binary data found)
In case it makes a difference, I've compiled and installed latest
Yhc-darcs, and Catch-0.1.1, to prefix=$HOME, and have $HOME/bin in my
PATH (and have neither installed anywhere else on my system).
IntegerInTermsOfInt is the only module, in a file of the same name, and
it only imports Prelude and Numeric.
Isaac
module YhcBugs where
-- Bug: the "--_" sequence isn't considered to begin a comment by Yhc.
-- I had to put a space between them. Try either of these lines and see the
-- ridiculous incorrect errors they create:
-- --_ `fd` dsjfkl = dfjs
-- --_ `fd` dsjfkl =
-- Bug: parenthesized patterns break:
-- (which I use in order to make monomorphism clear in either
-- H98 m-r or mono-pat-binds)
{-
test :: Eq a => a -> Bool
test a = f a
where
(f) = \a -> (==) a a
-}
--Bug: removing the default, breaks things:
{-
default ()
iente :: Integral a => a -> Int
iente = fromIntegral
-}
--Bug: Always specifying an import list when importing Prelude,
--breaks handling of some built-in syntax. However, Hugs also has
--this bug so I'll keep my workaround.
{-
import Prelude ( )
simple :: ()
simple = ()
-}
--workaround (don't you hate it? :-) :
--With Yhc, I could put 'qualified' on the following import too,
--but Hugs needs them imported _unqualified_ and without being named.
{-
--For hugs to import (:) (and 2-tuples? other list bits?) we have to import
--Prelude unqualified, and not like import Prelude ()
-- -- conformant implementations like GHC will not even
--accept explicit imports of those things.
--Also a June 19 2007 YHC from darcs seems quite broken without this import.
--But we don't want to import anything but [](..), ()(..), (,)(..),
-- (,,)(..) and so on
--so we hide everything that according to Haskell98 would be importable.
import Prelude hiding
--manually copied down everything from :browse Prelude in ghci
((++),error,foldr,seq,concat,filter,zip,print,fst,snd,otherwise,(&&),(||)
,Bounded(..),Enum(..),Eq(..),Floating(..),Fractional(..),Integral(..)
,Monad(..),Functor(..),Num(..),Ord(..),Read(..),Real(..),RealFloat(..)
,RealFrac(..),Show(..),Bool(..),Char,Double,Float,Int
,Integer,Ordering(..),Rational,IO,Either(..)
,putChar,putStr,putStrLn,getChar,getLine,getContents,interact,readFile
,writeFile,appendFile,readLn,readIO,($!),String,map,not,id,const,(.),flip,($)
,until,asTypeOf,IOError,FilePath,ioError,userError,ReadS,catch,unwords
,unlines,words,lines,minimum,maximum,product,sum,foldl1,either,lex,read
,readParen,reads,ShowS,showParen,showString,showChar,shows,subtract
,realToFrac,fromIntegral,(^^),(^),lcm,gcd,odd,even,unzip3,unzip,zipWith3
,zipWith,zip3,lookup,notElem,elem,break,span,dropWhile,takeWhile,splitAt
,drop,take,cycle,replicate,repeat,iterate,scanr1,scanr,scanl1,scanl,concatMap
,all,any,or,and,foldr1,foldl,reverse,(!!),length,null,init,tail,last,head
,undefined,uncurry,curry,maybe,(=<<),sequence_,sequence,mapM_,mapM,Maybe(..))
-}
_______________________________________________
Yhc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/yhc
