Hi Jason,
On 8 March 2011 05:28, Jason Dusek jason.du...@gmail.com wrote:
gcc -g -Wall -O2 -fPIC -Wall -o import \
-I/usr/lib/ghc-6.12.1/include/ \
import.c exports.so
In my experience, the easiest way to do this is to use gcc to build
object files from C source files, and then
Karthick Gururaj karthick.guru...@gmail.com writes:
You are not allowed to post to this mailing list, and your message has
been automatically rejected. If you think that your messages are
being rejected in error, contact the mailing list owner at
haskell-cafe-ow...@haskell.org.
As it says
The lazy path:
You can also just download and install the binaries for your platform at
http://leksah.org/download.html.
From experience, I guess that most if not all of the capabilities will work
with your version of GHC (except some features more tightly integrated with
the compiler, such is
What does ghc-pkg list and ghc-pkg check say?
Cabal-1.10.1.0, directory-1.1.0.0 and process-1.0.1.5 should be there
after installation of GHC 7.0.2. (I've actually installed
cabal-install-0.10.0 using an older cabal, but that does not work on
macs and may not be the recommended way.)
I think
On Tue, Mar 08, 2011 at 01:15:26AM +, Felipe Almeida Lessa wrote:
On Mon, Mar 7, 2011 at 6:32 PM, Remi Turk rt...@science.uva.nl wrote:
- If you need to pass C structs (by value), you'll have to use
libffi: cinvoke doesn't support them at all.
What about CInvStructure[1]? I was just
Hi Haskellers,
is there a fine tutorial for building a parser with parsecs (3.*)
makeTokenParser and LanguageDef stuff?
Klaus
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Hi Christian,
my version of parseList works currently strange.
The input {2\n2} will be parsed fine, but something like { } or so fails
with 'expecting space or }'.
The redefinition of space is not necessary, it was copied from another tutorial
code. How I write a version of parseGml that get
On Tue, 2011-02-22 at 07:12 -0800, Johan Tibell wrote:
On Tue, Feb 22, 2011 at 7:08 AM, Nick Frolov n...@mkmks.org wrote:
Something has definitely changed between these two ghc versions. Since
I've spent considerable amount of time on finding a workaround for the
problem, I'd like to file a
Am 08.03.2011 12:30, schrieb Hauschild, Klaus (EXT):
Hi Christian,
my version of parseList works currently strange.
The input {2\n2} will be parsed fine, but something like { } or so fails
with 'expecting space or }'.
You must skip (possible) spaces after {, too. (Actually after every
In
http://code.google.com/p/hgmltracer/source/browse/trunk/hGmlTracer/src/Gml/Parse.hs
I see identifier - many (noneOf ). You should at least consume one
character by using many1! This also allows to call many parseGml''
later.
C.
Am 08.03.2011 12:30, schrieb Hauschild, Klaus (EXT):
Hi
On Sun, Mar 6, 2011 at 2:38 PM, Remi Turk rt...@science.uva.nl wrote:
I am happy to finally announce cinvoke 0.1, a binding to the
C library cinvoke[1], allowing functions to be loaded and called
whose names and types are not known before run-time.
Why?
Sometimes you can't use the Haskell
Am 08.03.2011 12:30, schrieb Hauschild, Klaus (EXT):
Hi Christian,
my version of parseList works currently strange.
The input {2\n2} will be parsed fine, but something like { } or so fails
with 'expecting space or }'.
Also } (and ], etc.) should be excluded as identifier letters.
} is the
Hi Christian,
Thank you for your help. Now the current version of Parse.hs
(http://code.google.com/p/hgmltracer/source/browse/trunk/hGmlTracer/src/Gml/Parse.hs)
works well for the test file fact.gml.
Now the last thing is parsing the different numbers (integer and float). If
have a rule for
Am 08.03.2011 13:35, schrieb Hauschild, Klaus (EXT):
Hi Christian,
Thank you for your help. Now the current version of Parse.hs
(http://code.google.com/p/hgmltracer/source/browse/trunk/hGmlTracer/src/Gml/Parse.hs)
works well for the test file fact.gml.
Hi Klaus,
for what it's worth, you might want to consider using this package
instead of Parsec:
http://hackage.haskell.org/package/BNFC
Take care,
Peter
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
Hey guys,
I was wondering if there were possiblities to ignore certain errors during
parsing. I tried using the error token, but that didn't seem to work. I
looked at the following topic
http://haskell.1045720.n5.nabble.com/Error-detection-in-GLR-Happy-grammar-td3083740.html
For my parser I
The tutorial here:
http://legacy.cs.uu.nl/daan/download/parsec/parsec.html#Lexical analysis
http://legacy.cs.uu.nl/daan/download/parsec/parsec.html#Lexical analysisis
for parsec 2, but it's still quite relevant.
- Job
On Tue, Mar 8, 2011 at 6:22 AM, Hauschild, Klaus (EXT)
I am curious -- how easy is it to use theoremquest for playing with
equational theories?
Let me turn the question around: How easy is it to play with
equational theories in HOL Light? Because this is the planed basis
for TheoremQuest.
-Tom
___
I'd join comments in with tokens so each token has a comment -
possibly the empty string, then the parser can decide what to do with
the comment part of token - e.g retaining it for functions, ignoring
it for everything else.
You may have to write a two-pass lexer to do this.
By the way - my last answer was for the second part of the question.
For error handling - Doaitse Swierstra's UU-Parsing is a combinator
parsing library with some flexibility for error recovery. For an LR
parser like Happy adding extra error handling cases to the productions
in your grammar is
On Mar 8, 8:20 pm, Tom Hawkins tomahawk...@gmail.com wrote:
I am curious -- how easy is it to use theoremquest for playing with
equational theories?
Let me turn the question around: How easy is it to play with
equational theories in HOL Light? Because this is the planed basis
for
That two-pass lexer sounds like a good idea. I actually want to keep the
happy parser if possible, can you elaborate on adding extra error handling
cases for production rules? Do you mean I have to add a line for comments on
possible places where they can occur?
Thanks
Hi Tom
Here's how I'd do comment annotation in the Parser:
type Comment = String
type Identifier = String
I suspect data carrying tokens need to pair the data and the comment
so Happy can treat them as a positional reference e.g. $1
data Token =
TK_identifier (Identifier,Comment)
|
On 07/03/2011 04:39 PM, Daniel Fischer wrote:
That sounds nice, so I thought I'd try out leksah again.
Unfortunately, the dependencies rule out GHC-7
Maybe someone could try relaxing the bounds and build it with GHC-7, and -
if it works - upload a new version?
(I could try if I get a go-ahead
On 06/03/2011 11:46 AM, Andrew Coppin wrote:
On 06/03/2011 01:22 AM, Don Stewart wrote:
P.S. you can help by testing the installers, and reporting issues on
the HP trac and mailing list. The candidate installers are here:
http://code.galois.com/darcs/haskell-platform/download-website/
Is
ghc-pkg list returns these:
/usr/local/lib/ghc-7.0.2/package.conf.d:
Cabal-1.10.1.0
array-0.3.0.2
base-4.3.1.0
bin-package-db-0.0.0.0
bytestring-0.9.1.10
containers-0.4.0.0
directory-1.1.0.0
extensible-exceptions-0.1.1.2
ffi-1.0
filepath-1.2.0.0
Hello everyone,
I am stuck rewriting some code in the tagless style. My problem can be
thought of as an interpreter for a very simple language:
data Exp = Lit Integer
| Add Exp Exp
| Mul Exp Exp
deriving (Show)
But some complexity is added by the fact that my
On Tuesday 08 March 2011 21:16:33, Andrew Coppin wrote:
On 07/03/2011 04:39 PM, Daniel Fischer wrote:
That sounds nice, so I thought I'd try out leksah again.
Unfortunately, the dependencies rule out GHC-7
Maybe someone could try relaxing the bounds and build it with GHC-7,
and - if
We have plenty of testers on the haskell-platform@ list. If you're
interested, you can join there to discuss results.
By definition the test installers are not yet ready for haskell-cafe@
consumption.
-- Don
On Tue, Mar 8, 2011 at 12:17 PM, Andrew Coppin
andrewcop...@btinternet.com wrote:
On
On Wednesday 09 March 2011 11:42:48, Qi Qi wrote:
ghc-pkg check returns this:
There are problems in package network-2.2.1.10:
dependency parsec-3.1.1-583092e3fd1a17b79365b197467a185d doesn't
exist
Seems parsec-3.1.1 was rebuilt after network-2.2.1.10 was installed.
Any idea what package
On 08/03/2011 08:57 PM, Don Stewart wrote:
We have plenty of testers on the haskell-platform@ list. If you're
interested, you can join there to discuss results.
By definition the test installers are not yet ready for haskell-cafe@
consumption.
Oh, right. There's a mailing list? I wasn't aware
Hi,
When I tried the haskell platform 2011.2 source, from here
http://code.galois.com/darcs/haskell-platform/download-website/linux.html
.
Configuration passed successfully. But when making, it gives the following
error:
scripts/build.sh
**
Thank you!
I fixed the broken package, network-2.2.1.10 by manually removing it locally
and recache the ghc's package cache by running ghc-pkg recache. Thanks
though for the unregister option.
Now ghc-pkg check doesn't return any broken packages. But Cabal seems still
got problem. I got the same
On Wednesday 09 March 2011 12:16:30, Qi Qi wrote:
I think this is the same problem as I got during installing some other
packages via cabal such as hmatrix, ghc-mod, happy and etc.
Does anyone have any idea about how to solve it?
I think it may be a problem with your GHC. I have no problems
Alright thanks for your comprehensive answer! I think I got something to
work with :)
Cheers,
Tom
On Tue, Mar 8, 2011 at 8:09 PM, Stephen Tetley stephen.tet...@gmail.comwrote:
Hi Tom
Here's how I'd do comment annotation in the Parser:
type Comment = String
type Identifier = String
The problem is solved! I found out that both global and local package db get
directory-1.1.0.0 and process-1.0.1.5. I unregistered them and other caused
broken packages in the local package db. Then I successfully installed back
hmatrix, ghc-mod, happy and etc. It seems that xmobar will install
Thank you, Daniel.
The problem is solved! I found out that both global and local package db get
directory-1.1.0.0 and process-1.0.1.5. I unregistered them and other caused
broken packages in the local package db. Then I successfully installed back
hmatrix, ghc-mod, happy and etc. It seems that
On Wednesday 09 March 2011 00:34:39, qiqi wrote:
The problem is solved! I found out that both global and local package db
get directory-1.1.0.0 and process-1.0.1.5. I unregistered them and
other caused broken packages in the local package db.
D'oh, I should've seen that.
Then I
successfully
This is fixed in the new release of cabal-install ( I think) so we're
rolling new installers.
Discussion around the installers is taking place on the haskell-platform list.
-- Don
On Wed, Mar 9, 2011 at 3:16 AM, Qi Qi qiqi...@gmail.com wrote:
Hi,
When I tried the haskell platform 2011.2
I used cabal install xmobar --flags=all_extensions .
Is it true that every package installed from hackage should not install any
package, which already exists in the global with the same version number ,
in the local db?
Daniel Fischer wrote:
On Wednesday 09 March 2011 00:34:39, qiqi wrote:
On Wednesday 09 March 2011 02:51:35, qiqi wrote:
I used cabal install xmobar --flags=all_extensions .
Whoa:
In order, the following would be installed:
containers-0.3.0.0 (new version)
filepath-1.1.0.4 (new version)
directory-1.1.0.0 (reinstall) changes: filepath-1.2.0.0 - 1.1.0.4
Daniel Fischer wrote:
On Wednesday 09 March 2011 02:51:35, qiqi wrote:
I used cabal install xmobar --flags=all_extensions .
Whoa:
In order, the following would be installed:
containers-0.3.0.0 (new version)
filepath-1.1.0.4 (new version)
directory-1.1.0.0 (reinstall) changes:
2011/3/8 Roel van Dijk vandijk.r...@gmail.com:
Hello everyone,
Hello!
But I lost the power of the context! How do I get it back?
The tagless interpreters splits the interpreter code (in your case,
the 'eval' function) into multiple functions on one or more type
classes. Now, the key insight
Generally, it shouldn't (and doesn't), but here some packages have to be
reinstalled because they have to be built against different dependencies.
I'd prefer cabal install to refuse here (overridable with a --force flag)
because reinstalling boot libs (containers, filepath, directory,
On Thu, Mar 3, 2011 at 12:33 AM, Mark Lentczner
mark.lentcz...@gmail.com wrote:
To make up for my total misunderstanding of what you were asking
before, I hereby offer you the Plumbing module, available here:
https://bitbucket.org/mtnviewmark/haskell-playground/src/2d022b576c4e/Plumbing.hs
On Wed, Mar 2, 2011 at 12:00 AM, Stephen Tetley
stephen.tet...@gmail.com wrote:
Maybe you've invented the ApoPrelude?
If I were doing it I'd probably code them in terms of an apomorphism -
unfoldr with flush. Unlike regular unfoldr which discards the final
state, an apomorphism uses the final
Hi,
Am Samstag, den 05.03.2011, 17:22 -0800 schrieb Don Stewart:
We're currently testing the installers, with a view to announcing the
release early in the week.
I thought
http://code.haskell.org/haskell-platform/haskell-platform.cabal
was the repository for the current darcs version of the
47 matches
Mail list logo