| > At the moment I'm working on some implementations of numerical algorithms in
| > Clean. The results are quite good. I wanted to compare these results with a
| > similar implementation in Haskell. I chose the Glasgow compiler because it
| > produces the fastest code most of the time.
| >
| >
Well I typed "make" and it fell over with lots of missing import statement.
I don't know how it ever worked.
Anyway I fixed all that, and tried it with my Glorious New Renamer. It's
fine. (I have completely rewritten GHC's front end in the last month.)
So the story is to wait a short while ti
Doug,
Your message comes at an opportune moment. With a masters student, Thomas
Nordin, and Alastair Reid at Yale, I have been working on a new foreign
language interface for Haskell, called Green Card.
The current state of play is described in
http://www.cse.ogi.edu/~simonpj/green-c
I don't know of anyone who's done an OS/2 port of GHC. Does anyone else?
In principle it shouldn't be too hard, once you've installed the relevant
Unix-like tools (perl, GNU make, gcc, etc etc). But you need to be a keen
hacker to do it.
I don't even have an OS/2 system, and I think you're t
| I have a data structure Library, and two tools. One tool saves a Library,
| another one loads it. At the moment, Library must be "shown" by the first
| tool (i.e. converted to text format). This must then be re-parsed by the
| second tool.
|
| It would be much simpler, quicker etc. just to sav
You don't say which version of ghc, nor which verison of FiniteMap you are
using, nor do you enclose the error message.
My guess: it's something to do with SPECIALIZE pragmas; if so, you can just
delete them. That would explain the -O part. I'm puzzled about why it
thinks PreludeStdIO has any
| However, in return, perhaps somebody can supply me with parse trees for
| the following:
|
| - - 1(accepted by nhc and hbc)
| (- 1 `n6` 1) where infix 6 `n6` (accepted by nhc, hbc, ghc)
| (- 1 `r6` 1) where infixr 6 `r6` (accepted by nhc, hb
| Sorry. GHC version 0.29. FiniteMap version 6, it seems ({-# GHC PRAGMA
| INTERFACE VERSION 6 #-} at the top). Compilation with verbose output appended
| to this message. It's messy ;)
In Convert.lhs, add
import PreludeStdIO( Maybe )
Simon
| grepping for "interface PreludeStdIO" in the 0.29 library interface files
| comes up with nothing, so maybe it's not really surprising. (Or is it yet
| more "magic"?..) Adding -fhaskell-1.3 does not help, either - the same error
| message appears, before it spots all the continuation I/O!
I do
| Yet another question about module interfaces: The 0.29 release notes
| "NOTES.interface" confess to not expanding type synonyms. But comparing some
| LOLITA .lhs and .hi files, type synonyms *are* expanded. If my interface file
| pre-processor is not to expand synonyms itself, I need to justify
The Glasgow Haskell Compiler -- version 2.02
We are pleased to announce the first release of the Glasgow Haskell
Compiler (GHC, version 2.02) for *Haskell 1.4*. Sources and binaries
are freely available by anonymous FTP and
| Officially `eval' should be of type
|
| > eval:: (Eval a) => [a] -> ()
|
| which leads me to the question whether this is a bug or a feature.
It's a bug, I'm afraid. (GHC's handling of seq isn't up to snuff, as the
notes say. But it still shouldn't have got
| What I'd really like is a command "specialize module Foo for type Bar",
| and moreover, this specialization should happen completely outside
| the text of module Foo. (Compare to an instanciation of a generic
| package in Ada.)
|
| Are there any magic ghc options/perl scripts (ouch) that coul
| I want to download the parallel and gransim bundles either for
| i386-Linux or for sparc-sun-solaris, but there is only 0.29 version.
| Does it mean, that this old version can be used with 2.01 compiler
| and std.libraries ?
No, it means that we havn't built the parallel/gransim bundles for
| With some key hints from Sigbjorn I now seem to have a functioning Win32
| GHC. Let me see if I can remember everything:
Thanks for the summary Michael. We'll add it to the documentation.
| A more general question - are there plans to use .DLL files with GHC?
| That is:
| 1.Let's
At a guess I'd say that libpvm3.a is referring to "xdr_long",
"listen" etc, and no library has them. You'll need to find
a library that defines them and add a -l flag for it. I think.
Simon
| But then I tried :
| ghc -v -o a.out -L /usr/local/pvm3/lib/SUN4SOL2/ -lpvm3 Main.o
|
| and it wro
| A Haskell program of mine regularly runs out of stack space, when dumping
| thousands of lines to stdout. Doing a +RTS -H16M -RTS on each execution of
| the program seems to fix it. (Should a program really need this much space,
| though?)
Do you mean "-K16m"? Or do you mean heap space?
I'm
| Do those JMP macros mean that recursion has been translated into an
| interation using a stack to pass on the parameters? I'd be happy if
| someone could explain the basic mechanism how ghc implements recursions
| to me.
Yes, it does. For the details, the best place to start is my JFP paper
| 1. Is there a way to force a var to be strict in a Haskell program?
You can say
\x -> x `seq` ...
or
let x = ... in x `seq` ...
| 2. Is there a way to find the strictness info of each Id in PlainCoreProg?
|And are we allowed to change the strictness info `safely'?
(
| for the purpose of benchmarking I require some way of forcing a garbage
| collection *within* Haskell. After an intensive study of ghc's user
| guide I found something like:
|
| performGC :: PrimIO ()
| performGC = _ccall_GC_ PerformGC
|
| However,
| I haven't touched it in the last 2 or 3 weeks (I was away and
| also eagerly waiting for a version that actually bootstraps).
| [I was promised for a bootstrapping version soon :-)...]
| (I haven't looked into the bootstrapping problem myself,
| maybe it is all related to just a few parsing a
Nils
| I'd like to play around a bit with ghc's data flow analysis. Is there a
| way to access the internal dataflow information? What would the data
| representation be like? If it's not accessible would it be possible to
| use ghc's frontend (parser, type inference system, ...) and then do one
They are my half-baked attempt to report completely-overlapped patterns
and non-exhaustive equation sets. I say "half-baked" because they don't
guarantee to spot complete equation sets.
I plan to have a separate function to spot these errors, rather than try
to add error-spotting as an add-on
| Sorry for directing this to glasgow-haskell-bugs, but I have given up
| wading through Megs of cross-referencing WWW-documentation on
| Haskell. My question is quite simply: is there a LaTeX2e package that
| allows you to process a literate (.lhs) file directly, i.e. do
| something like
|
| \d
Mike
| I'm getting a stack overflow. I suspect I know approximately where
| it's coming from. My efforts at understanding what's going on via
| inspection alone have thus far failed. What's the best way to debug a
| stack overflow? (If it's somehow easier to debug in Hugs, I get the
| proble
| Jin Yang <[EMAIL PROTECTED]> writes ...
|
| I wrote a translator in Haskell and it was compiled OK using an earlier ghc
| version. Now the ghc at my department (Dept of Computing , Imperial) was
| upgrated to ghc0.26 and all my code got a compiling error:
|ld: Undefined symbol
|___
| > I've compiled the following program with the option `-O2' and
| > executed it with the option `+RTS -S -H100M'.
| > The above result is the part of `.stat' file.
| > What's going on in GHC ? It's too lazy. Any comments ?
| ...
| >
| > main = print list
| > list = cat list1 list1
| > list1 =
Dear GHC users and co-implementors
We are about to return from sabbatical in Oregon back to Glasgow, so
now seems a good time to let you know the current state of GHC affairs, and
something about our future plans.
Simon and Sigbjorn
Who's doing what
> Deamon threads could be introduced in Haskell by providing a new
> command
>
> forkDeamon :: IO () -> IO ()
>
> Such deamon threads would behave just as any other thread, apart from
> the fact, that they will be garbage collected when there are no proper
> non-deamon thread around.
Sou
> Even with thread identities, tools must register themselves with some
> "session manager" that maintains the set of termination commands. And
> again - the application must explicitly invoke the command endSession.
>
> Generally I would like to avoid this and rely on an active garbage
> collec
I thought you might want to see Einar's reply
--- Forwarded Message
Date:Fri, 26 Sep 1997 11:32:15 +0200
From:Einar Wolfgang Karlsen <[EMAIL PROTECTED]>
To: [EMAIL PROTECTED]
cc: [EMAIL PROTECTED]
Subject: Re: A Users Plea for Daemon Threads
Simon writes:
> An alternativ
> What about the GHC for PPC Mac's? One year ago, it was said that all that
> was needed was to "decode the PPC assembler instructions". -- Even though I
> think there is no point providing a version before Mac has gone Mach.
We do now have an RS/6000 port. We do not have a port to the Mac op
Manuel writes:
> Porting some modules that use GHC specific mutable data
> structures from the 0.2x compiler series to the 2.x series,
> I felt a bit unsure about the purpose of the various
> interfaces.
>
> In particular, the type `MutableVar' is defined in
> `ArrBase', but the operations on `M
> > The Green Card manual says there is zero demand for calling Haskell from
> > C. Well, here is an increment to that: there is now 1 demand.
>
> Better make that 1 1/2. I'd like to be able to call Haskell from C (well,
Something will happen here, although not that fast. Getting C to
call Ha
> Hi! Before raising my questions please point me in the appropriate direction
> if these questions have been asked before. I have also just requested to join
> the various Haskell mail lists. My questions are really concerned with the
> commercial viability of Haskell especially in the fac
> year ago I had the pleasure of using a compiler (for BETA I think)
> where the basic usage for a novice was Just What You Wanted:
>
> % compiler Main.source
>
> >From there it figured out which other modules it needed, which
> required recompiling, which object files and libraries where nee
>The Glasgow Haskell Compiler -- version 3.00
> ==
Let me add: this is really an alpha release. It runs the whole
test suite and the whole of nofib just as well as GHC 2.10. But note:
* The big new thing is multi-parameter type
> While hacking around with MPCs, trying to define a variant of the
> Collection class, mutated to suit my own fiendish ends, I ran into
> this:
>
> Intervals.hs:345:
> Class type variable `e' does not appear in method signature
> union2 :: s -> s -> s
>
> What's the significance o
> What is the status of the lastest release (3.01) with respect to Unicode
> support? Is it possible to write source in Unicode? How wide are
> characters? Do the I/O library functions support it? etc.
I don't believe that we've done anything much about Unicode
support. If it's important to
> There's no description of the multi-parameter type classes extension in the
> 3.01 user manual; are the extensions implemented as described in the link
> below? (I vaguely recollect Simon posting a message on this subject more
> recently, but I couldn't find it.)
>
> http://www.cs.chalmers.se
> I have a question concerning the treatment of classes which contain
> only a single method. Does one pay a run-time penalty compared to a
> program which passes the function explicitly?
No. There is no 'box' for a one-method class. At compile
time there's a type coercion carried around, but t
41 matches
Mail list logo