Hi Fabian,
In general, the behavior you get from hint should be more or less the same one
you would observe in ghci, the mapping being roughly:
loadModules ~~~ :load
setImports :module
In ghci, if you have a package installed (and is not hidden in your session),
then I believe you can
Hi Iavor,
On May 27, 2013, at 6:18 PM, Iavor Diatchki wrote:
Hello,
On Fri, May 24, 2013 at 12:42 AM, Daniel Gorín dgo...@dc.uba.ar wrote:
On May 24, 2013, at 9:28 AM, Simon Peyton-Jones wrote:
How about (in Haskell98)
module Data.List ( foldr, ...)
import qualified
should affect only the module system, where it is
determined what the type of an imported symbol is. In particular, the
typechecker would go unaware of it. In that sense, I see the proposal as a very
mild extension.
Thanks,
Daniel.
Simon
| -Original Message-
| From: Daniel Gorín
is to make Data.List reexport Data.Foldable.foldr (with a more
specialized type) so that the module above can be accepted.
Thanks,
Daniel
Simon
| -Original Message-
| From: glasgow-haskell-users-boun...@haskell.org [mailto:glasgow-haskell-
| users-boun...@haskell.org] On Behalf Of Daniel
Hi all,
Given the ongoing discussion in the libraries mailing list on replacing (or
removing) list functions in the Prelude in favor of the Foldable / Traversable
generalizations, I was wondering if this wouldn't be better handled by a mild
(IMO) extension to the module system.
In a
Hi Romildo, you can try the darcs version of ghc-mtl [1], I don't know if that
will be enough to build lambdabot, though
Best,
Daniel
[1] http://darcsden.com/jcpetruzza/ghc-mtl
On Sep 7, 2011, at 1:34 PM, José Romildo Malaquias wrote:
Hello.
In order to compile ghc-mtl-1.0.1.0 (the latest
Hi
I have code using the ghc-api that could be run in interactive mode prior to
version 7 but now makes ghci crash with a linker error. Everything works fine
if compiled before running. I don't know if this is a known issue or if I'm
just using the api in the wrong way, but I thought that I
Hi
I'm trying to make the hint library work also with ghc 7 and I'm having
problems with some test-cases that are now raising exceptions. I've been able
to reduce the problem to a small example. The program below runs ghc in
interpreter-mode and attempts to parse an statement using ghc's
Hi, Martin
Do you have a complete example one can use to reproduce this behavior?
(preferably a short one! :P)
In any case, I'm resending your message to the glasgow-haskell-users
list to see if a ghc guru recognize the error message. It is strange
that the problem only manifests on
On Jul 13, 2009, at 10:53 PM, Marc Weber wrote:
Yes, it is a known limitation. It ought to be documented somewhere.
There are two problems:
1. GHC is not thread-safe. [...]
2. There is only one RTS linker with a single symbol table. [...]
Are there already bug tracker items for these
Hi
I'm trying to use the GHC API to have several instances of GHC's
interpreter loaded simultaneously; each with its own loaded modules,
etc. However, this doesn't seem to work well when two instances have
loaded modules with the same name. I'm including the code of a
small(ish) example
http://hackage.haskell.org/trac/ghc/ticket/2884
On Feb 9, 2009, at 10:53 AM, Wolfgang Jeltsch wrote:
Am Montag, 29. Dezember 2008 12:54 schrieb Simon Peyton-Jones:
What a great bug -- I would never have predicted it, but in
retrospect it
makes perfect sense. Record selectors had better get
Hi
While trying to see if I could make some code run faster I stumbled
upon something that looks weird to me: 2x-3x performance loss when a
module is renamed to a longer name!
Here's what I see with the attached examples:
#diff long-modname-ver.hs short-modname-ver.hs
2c2
import
On Dec 15, 2008, at 10:43 PM, Don Stewart wrote:
dons:
Running time as a function of module name length,
http://galois.com/~dons/images/results.png
10 is the magic threshold, where indirections start creeping in.
Codegen cost heuristic fail?
Given this, could you open a bug ticket for
On Nov 21, 2008, at 2:04 PM, Jason Dagit wrote:
Hello,
[...]
My understanding was that from 6.6 to 6.8, GADT type checking was
refined to fill some gaps in the soundness. Did that happen again
between 6.8 and 6.10 or is 6.10 being needlessly strict here?
Thanks,
Jason
typing rules for
Hi, Simon
Thanks a lot for your mail. It turns out I could have resolved this by
myself (with the help of this thread http://thread.gmane.org/gmane.comp.lang.haskell.glasgow.user/15153
, to be honest). What I was missing was this key part:
bind :: forall a b t. W t a - (a - W t b) - W_ t b
Hi
After installing ghc 6.10-rc, I have a program that no longer
compiles. I get the dreaded GADT pattern match error, instead :)
Here is a boiled-down example:
{-# OPTIONS_GHC -XGADTs -XEmptyDataDecls #-}
module T where
data S
data M
data Wit t where
S :: Wit S
M :: Wit M
On Oct 14, 2008, at 7:48 PM, Don Stewart wrote:
dgorin:
I've tried adding some signatures (together with -
XScopedTypeVariables), but with no luck. Why is it that this no
longer
compiles? More importantly, how can I make it compile again? :)
If you work out how to make it compile, can
Hi
If you just want to compile from (Eclipse) edit buffers instead of
source files, I think you can do this with the ghc api. Look at the
Target type.
The following is pasted from main/HscTypes.lhs
-- | A compilation target.
--
-- A target may be supplied with the actual text of the
--
On Jul 29, 2008, at 2:43 PM, Johannes Waldmann wrote:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
data Target = Target TargetId (Maybe (StringBuffer,ClockTime))
looks great. How is this intended to be used,
i.e. what should happen if there is an edit/save event in the IDE?
Then the IDE
(Since this can be of interest to those using the ghc-api I'm cc-ing
the ghc users' list.)
Hi, Evan
The odd behavior you spotted happens only with hint under ghc-6.8. It
turns out the problem was in the session initialization.
Since ghc-6.8 the newSession function no longer receives a
Hi
I have some code that uses MPTC + FDs + flexible and undecidable
instances that was working fine until I did a trivial modification on
another part of the project. Now, GHC is complaining with a very
confusing (for me, at least) error message. I've been finally able to
reproduce the
Hi, Chris
Thanks for your answer. I guess that my intuitions of what functional
dependencies and context meant were not very accurate (see below)
class C m f n | m - n, f - n where
c :: m - f - Bool
The m-n functional dependency means that I tell you
C x _ z is an instance then you
Of Daniel
| Gorín
| Sent: 26 September 2007 17:34
| To: glasgow-haskell-users@haskell.org
| Subject: module containing GADTs no longer compiles in ghc 6.8.0
|
| Hi
|
| I just tried to compile a project of mine that builds fine using ghc
| 6.6.1 and got many errors like this:
|
| src/HyLo
Hi
I just tried to compile a project of mine that builds fine using ghc 6.6.1 and
got many errors like this:
src/HyLo/Formula/NNF.hs:247:48:
GADT pattern match in non-rigid context for `Opaque'
Tell GHC HQ if you'd like this to unify the context
In the pattern: Opaque f'
In
25 matches
Mail list logo