I recently built a binary installer for GHC 7.6.3 to run on CentOS 5.9,
which should be compatible with RHEL 5. It uses glibc 2.5, at least. I
don't have a good place to host it long-term, but would be happy to make it
available to you (or anyone else who's interested).
Aaron
On Fri, Apr 26,
Hi,
Last summer, as part of the Summer of Code, David Lazar formalized a
significant portion of Haskell 98 in the K framework. You can find the
code here:
https://github.com/davidlazar/haskell-semantics
And there's a talk about it here:
of potential projects, many of which are more widely useful than
Language.C work. This may mean that it would have a relatively low chance of
being accepted. A high-quality proposal would help the odds, however. :)
Aaron
--
Aaron Tomb
Galois, Inc. (http://www.galois.com)
at...@galois.com
Phone
On May 31, 2010, at 3:02 PM, Tom Hawkins wrote:
For instance, the LLVM.FFI.BitReader module has some functions that'll get
you a ModuleRef from some bitcode.
getBitcodeModuleInContext :: ContextRef - MemoryBufferRef - Ptr
ModuleRef - Ptr CString - IO Bool
type ModuleRef = Ptr
On May 30, 2010, at 7:01 AM, Tom Hawkins wrote:
Is there any work being done to read LLVM object code into Haskell?
I've looked through the llvm library [1], but it appears focused on
code generation.
-Tom
I was just looking through the Haddock pages for the llvm package with the same
would have to attest to how complete it is w.r.t. say, gcc's
preprocessor, but if this were to be a SOC project, extending cpphs to
include needed functionality would probably be much more realistic
than writing a new one.
On Tue, Mar 30, 2010 at 12:30 PM, Aaron Tomb at...@galois.com wrote:
Hello
be very much interested in working on this library for GSoC. I'm
currently working on an idea for another project, but I'm not certain
how widely beneficial it would be. The preprocessor and
pretty-printing projects sound especially intriguing.
On Tue, Mar 30, 2010 at 1:30 PM, Aaron Tomb
On Mar 30, 2010, at 3:16 PM, Tom Hawkins wrote:
On Tue, Mar 30, 2010 at 7:30 PM, Aaron Tomb at...@galois.com wrote:
Hello,
I'm wondering whether there's anyone on the list with an interest
in doing
additional work on the Language.C library for the Summer of Code.
There are
a few
On Dec 22, 2009, at 9:36 PM, wren ng thornton wrote:
Aaron Tomb wrote:
I've come across the issue with iconv, as well.
The problem seems to be that some versions of iconv define
iconv_open and some related functions as macros (that then call
libiconv_open, etc.), and some versions
On Dec 21, 2009, at 5:03 PM, Thomas Schilling wrote:
It's probably just the search path ordering, no? I.e., if you add
something on the command line or in .cabal/config it gets added to
the beginning of the search path. Then again, there are cases where
you'd want the macports version
On Dec 22, 2009, at 9:33 AM, Brandon S. Allbery KF8NH wrote:
On Dec 22, 2009, at 10:39 , Aaron Tomb wrote:
On Dec 21, 2009, at 5:03 PM, Thomas Schilling wrote:
It's probably just the search path ordering, no? I.e., if you add
something on the command line or in .cabal/config it gets added
. This seems to mean that you can't build any Haskell
package that depends on C libraries installed via MacPorts, or the
build will fail with undefined references from the iconv library.
I'm going to do some digging to see whether I can solve this without
modifying GHC.
Aaron
--
Aaron Tomb
On Dec 21, 2009, at 2:44 PM, Brandon S. Allbery KF8NH wrote:
On Dec 21, 2009, at 17:39 , Aaron Tomb wrote:
The problem seems to be that some versions of iconv define
iconv_open and some related functions as macros (that then call
libiconv_open, etc.), and some versions of iconv have
be
great help for some people.
--
Ahn, Ki Yung
___
Haskell mailing list
hask...@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
--
Aaron Tomb
Galois, Inc. (http://www.galois.com)
at...@galois.com
Phone: (503) 626-6616 ext. 156
Fax
On Jan 20, 2009, at 7:35 PM, wren ng thornton wrote:
Jim Burton wrote:
Hi, I will be a TA on a comparative PL course and I'm looking for
small examples (ammunition) which motivate the use of Haskell and
functional programming generally. The course is for 1st year Software
Engineers, none of
On Jan 3, 2009, at 7:28 AM, Xie Hanjian wrote:
Hi,
I tried this in ghci:
Prelude 1:2:[] == 1:2:[]
True
Does this mean (:) return the same object on same input, or
(==) is not for identity checking? If the later is true, how
can I check two object is the *same* object?
As others have
On Dec 15, 2008, at 9:03 AM, Don Stewart wrote:
And anyone who does a version, place put it on the wiki.
It'll be lost if you only post to the list.
I propose we gather submissions and vote on the best for a new logo in
2009.
I'm a big fan of those posted by FalconNL. I showed the whole
On Sep 15, 2008, at 10:43 AM, Robin Green wrote:
In fairness, that's how it's often done in universities (where
correctness doesn't really matter to most people - no offense
intended). But once you start using software to write formal proofs,
it
is quite easy in principle to get a computer
On Aug 29, 2008, at 9:11 AM, Isaac Gouy wrote:
The benchmarks game always seems to demand somewhat unnatural acts and
here's another - is there an effective way to /prevent/ ghc using
multiple cores when multiple cores are available? Can we force ghc to
only use one core on the quadcore
On Aug 27, 2008, at 12:23 PM, Dan Weston wrote:
Huh? Type safety buys you not having to worry about dereferencing
stale nonnull pointers (lifetime of reference exceeding lifetime of
referent), but nothing about dereferencing null pointers, which are
the moral equivalent of Nothing.
What
On Aug 21, 2008, at 3:23 PM, Arjun Guha wrote:
Hi,
I'm using HTTP-3001.0.4 with GHC 6.8.3 under Mac OS X 10.5 and
Debian Lenny. If I open and close many connections, I eventually
get the error. Anyone else seen this before?
I've never looked into it deeply, but I just wanted to chime
On Aug 19, 2008, at 9:12 AM, Greg Fitzgerald wrote:
Does anyone know of a good case study comparing a project written in
C versus one written in Haskell? I'm mostly looking for a
comparison of lines of code, but any other metric, such as time to
market and code quality metrics could also
On Apr 25, 2008, at 9:54 AM, Jennifer Miller wrote:
So, I have a circular dependency in my modules that I don't know how
to resolve in Haskell. I went looking for the equivalent of #include
which is how I would have solved this in C++. I'm sure there is a
simple answer to this and I'm
On Apr 22, 2008, at 6:20 AM, John Goerzen wrote:
* xml
A simple, lightweight XML parser/generator.
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/xml
Can you describe how this compares to HaXml? Were there
deficiencies in
HaXml?
The main difference is that
On Apr 3, 2008, at 10:41 AM, Luke Palmer wrote:
On Thu, Apr 3, 2008 at 9:58 AM, Ben Lippmeier [EMAIL PROTECTED]
wrote:
Questions:
1) Could I perhaps wave my arms around and say something about the
Int in
the type of isEven being in a contra-variant position? Is this
what is
actually
On Feb 9, 2008, at 8:03 AM, Bertram Felgenhauer wrote:
Dave Bayer wrote:
What is the best way to embed an arbitrary file in a Haskell program?
I don't know the best way. I'd probably use FFI.
snip
The idea is then to use some existing tool that embeds binary
data in C programs.
Since
On Nov 12, 2007, at 8:38 AM, PR Stanley wrote:
Hi
back again!
How easy/hard is it to control a haskell program through a web
browser?
Hi,
It depends on exactly how you want to control it, but at least some
control is fairly easy.
If you simply want to start a batch Haskell program,
Hi,
I'm pleased to announce the first external release of a set of
Haskell bindings for the Selenium automated web testing system
(specifically, the Selenium Remote Control). These bindings make it
possible to use Haskell to write test scripts that automatically
exercise arbitrary web
I have written up the beginnings of some code to get Yahoo Finance
quotes, too. Perhaps we should compare notes, and try to put
something together that uses the best ideas from each attempt?
Aaron
On Jul 11, 2007, at 12:57 PM, brad clawsie wrote:
i am working on improving a module for
The .hcr format isn't cast in stone, either. Though I'm working on
the implementation, I don't have any immediate plans to use it,
myself. So, if other people have suggestions for how it should be
different, I'd love to hear them.
Aaron
On Jun 5, 2007, at 12:23 AM, Simon Peyton-Jones
Hi Edwin,
You need to install the readline framework. This email explains more:
http://www.haskell.org/pipermail/glasgow-haskell-users/2007-May/
012576.html
You'll also need to install the GMP framework mentioned in the email.
They usually go in /Library/Frameworks, but I believe you
I use the MacPorts package of GHC and Aquamacs (with haskell-mode).
It works quite nicely for me. Fink also seems to have a GHC package,
in case you prefer it.
Aaron
On May 19, 2007, at 11:24 AM, Johan Tibell wrote:
I just switched to OS X and was wondering if someone would like to
share
Actually, GHC HEAD should spit out External Core already. Ian just
applied my earlier patch that fixed the parser and pretty-printer.
The bit I'm still working on is fitting the output of the parser into
the typechecker. I don't plan on changing the concrete syntax unless
I find that it's
It is still coming along! :)
I'm frustrated with how slowly I've been progressing with it (even
though I do have good reasons), but I'm not stopping, and I believe
it will be ready for 6.8.
Knowing that you're waiting for it definitely gives me some
motivation to push harder on it. I'm
Well, the work I'm doing on it right now includes modifying it to
work with System FC, which means it won't work with 6.6.
Aaron
On Apr 17, 2007, at 10:54 AM, Neil Mitchell wrote:
Hi
Release plans:
- get external core working again
Can't this happen entirely separate from any GHC
Having just read Simon Marlow's paper on the Haskell Web Server, I
think it might be interesting to at least mention it, and how simple
it is, while still performing well.
Also, I second the comment several have made so far that talking
about concurrency is important. Haskell does it
That's a good question. If it's possible, it sounds great, since it
would simplify the code. I'm not familiar enough with Core Lint to
know if it would work, though.
My inclination is to implement External Core using the existing type
checker for now, and if it's possible to either improve
Over the last few days, I've put some more thought into the overall
design of External Core. I looked through some of the GHC code some
more, and I'm leaning toward a preference for using IfaceSyn
throughout the whole External Core processing path.
Simon, feel free to digest this at your
On Feb 7, 2007, at 12:29 AM, Simon Peyton-Jones wrote:
| I am still working on it. Some external events have slowed me down a
| little (research, classes, appendicitis), and it has involved more
| changes to the innards of GHC than anticipated, but it is still
| moving along. If you can wait a
any
help with using the files for manipulating Core I would be very
grateful.
External Core isn't currently working correctly in the HEAD. Aaron
Tomb was working on this, I know (as per mailing lists posts on
cvs-ghc from November and December), but I don't know if he still is.
glasgow
On Jan 23, 2007, at 5:13 PM, Clifford Beshers wrote:
I don't suppose anyone has any Haskell code that understands the
PDF format, do they?
I know of one, though I'm not sure how complete it is:
http://www.alpheccar.org/en/soft/hpdf
I know it can create PDF files. I'm not sure if it can
On Oct 28, 2006, at 10:30 AM, Gregory Wright wrote:
One more thing: After adding the symlink, you must do
sudo port clean ghc
to clean up the failed build before trying again.
Macports is not smart enough to do that yet, but if you don't,
you will have all kinds of unpredictable
Hello,
The Portfile has made it to the servers, but installation doesn't
complete successfully for me (on Intel/10.4.8). The first issue is
that something happens to the dynamic library lookup path so the
configure check for a working C compiler fails with a dyld error. I
managed to fix
Hi,
I was just talking yesterday with a group of other students about
using the ExternalCore data type as the starting point for a project
we're starting to work on with the goal of having more practice
implementing various compiler components.
We were also talking about the possibility
Hi Deborah,
The first thing that springs to mind is that the mtl library (which
contains Control.Monad.State, the source of the link errors below)
isn't included in the 20060915 binary distribution, though it should
be easy to check it out and compile it separately. So, the question
is,
Strange. Should it really get to link time before it notices that you
haven't used the necessary --package flags? I would have expected an
error earlier on.
Aaron
On Oct 9, 2006, at 6:03 PM, Deborah Goldsmith wrote:
Thanks, Spencer Janssen already set me straight. It was indeed the
lack
Hello,
I have an Intel Mac laptop which isn't reliably accessible remotely,
but which I'm happy to use to test and (hopefully) help fix GHC
builds. I'm not positive that I'll have tons of available time, but I
suspect I'll have enough to do at least some good.
Right now, I have the
47 matches
Mail list logo