Foo+rst.lhs does nicely dodge the collision with jhc.
How does ghc do the search now? By trying each alternative in turn?
On Sun, Mar 16, 2014 at 1:14 PM, Merijn Verstraaten
mer...@inconsistent.nlwrote:
I agree that this could collide, see my beginning remark that I believe
that the report
I downloaded aeson and modified Data.Aeson to be trustworthy and I can
now use it with Hint and XSafe. I however stumbled upon some strange
behavior. I use loadModules to import some modules from the same
package, and then use setImports with a list of user provided modules.
Some explanation about
On Mon, Mar 17, 2014 at 9:08 AM, Edward Kmett ekm...@gmail.com wrote:
Foo+rst.lhs does nicely dodge the collision with jhc.
Is this legal on Windows?
--
brandon s allbery kf8nh sine nomine associates
allber...@gmail.com
2014-03-17 14:22 GMT+01:00 Brandon Allbery allber...@gmail.com:
On Mon, Mar 17, 2014 at 9:08 AM, Edward Kmett ekm...@gmail.com wrote:
Foo+rst.lhs does nicely dodge the collision with jhc.
Is this legal on Windows?
According to
I tested and it works on Windows.
Niklas
- Ursprungligt meddelande -
Från: Brandon Allbery allber...@gmail.com
Skickat: 2014-03-17 14:22
Till: Edward Kmett ekm...@gmail.com
Kopia: glasgow-haskell-users@haskell.org glasgow-haskell-users@haskell.org;
haskell-pr...@haskell.org Prime
On 11/03/2014 22:11, Henning Thielemann wrote:
I am trying to understand the following linker message. I have started
GHCi, loaded a program and try to run it:
Main main
...
Loading package poll-0.0 ... linking ... done.
Loading package alsa-seq-0.6.0.3 ... can't load .so/.DLL for:
Am 17.03.2014 10:22, schrieb Simon Marlow:
On 11/03/2014 22:11, Henning Thielemann wrote:
I am trying to understand the following linker message. I have started
GHCi, loaded a program and try to run it:
Main main
...
Loading package poll-0.0 ... linking ... done.
Loading package
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
The simplifier runs with phase 2, then 1 then 0 (multiple times).
Generally you want to make sure that something does not inline before its RULE
can fire. There are quite a few examples in the base package, if you grep for
RULE
Simon
| -Original Message-
| From: Henning Thielemann
Geoffrey
This major new feature of Template Haskell is barely reflected in the user
manual at all, except a cryptic reference to a typed expression splice.
Might it be possible to add a summary; such as the very fact that there are now
two pretty separate parts of TH: the untyped part and the
So much to respond to!
First, a little relevant context: Iavor Diatchki is the primary implementor of
the type-lits stuff; I am not. But, he and I are playing in the same
playground, so to speak, so we confer a fair amount and I may have some helpful
perspective on all of this.
Henning asks:
(aside, pardon my earlier tone, been a bit overloaded the past few weeks,
that crossed over to the list)
OOO
that works?
I guess that gives a decent way of using TypeLits as a concrete input
syntax for Peano numbers. Thanks for pointing that out
I think i'm gonna go drop 7.6 support on some code
On Mar 15, 2014, at 4:48 PM, Henning Thielemann wrote:
What is the meaning of KnownNat?
It is a Nat whose value is known at runtime. I'll confess to suggesting the
name… I think I was hoping there would be more debate and a better idea at the
time, but it just stuck.
I see that there is no
13 matches
Mail list logo
