Hi Rogan,
Thanks for your reply.
I don'th think the -prof flag is necessary; but if it is, then it may also
be misinterpreted by cabal-dev; generally, you need to pass flags that only
use a single leading - to cabal-dev with the --flags=... option. (eg:
'cabal-dev install
Thank you for your response. Now it's working.
-Mukesh Tiwari
On Mon, Jul 1, 2013 at 8:32 PM, Levent Erkok erk...@gmail.com wrote:
SBV should be able to pick up Z3 from your path; make sure the z3
executable is in it and you can invoke it from your shell. Alternatively,
you can use the
i get this spam whenever anyone sends a mail to @eukor.com and this list at the
same time.
i think that this kind of spam-bot sends to all recipients, not only to the
person who sent it; but sends only if it sees @eukor.com in the TO: or CC:
field.
so, if anyone knows a similar
Is there a nicer way to extract the 'IO String' from 'IOS',
without 'case' or without pattern matching the whole 'P'?
newtype IOS = IOS (IO String)
data P = P {
getA :: String,
getB :: String,
getC :: IOS
} deriving (Show, Eq)
getC_IO :: P - IO String
getC_IO p =
case getC p of
On Tue, Jul 02, 2013 at 03:03:08PM +0200, Vlatko Basic wrote:
Is there a nicer way to extract the 'IO String' from 'IOS',
without 'case' or without pattern matching the whole 'P'?
newtype IOS = IOS (IO String)
data P = P {
getA :: String,
getB :: String,
getC :: IOS
} deriving
Original Message
Subject: Re: [Haskell-cafe] Casting newtype to base type?
From: Tom Ellis tom-lists-haskell-cafe-2...@jaguarpaw.co.uk
To: haskell-cafe@haskell.org
Date: 02.07.2013 15:25
On Tue, Jul 02, 2013 at 03:03:08PM +0200, Vlatko Basic wrote:
Is there a nicer way to
You could always just put it into your newtype:
newtype IOS = IOS {
unIOS :: IO String
}
On Tue, Jul 2, 2013 at 9:31 AM, Vlatko Basic vlatko.ba...@gmail.com wrote:
Original Message
Subject: Re: [Haskell-cafe] Casting newtype to base type?
From: Tom Ellis
On Tue, Jul 02, 2013 at 09:07:18AM +0300, Ömer Sinan Ağacan wrote:
OK, so I removed `cabal-dev` directory, and installed again with this
command. But it still failed with same error message(the flag -p
requires the program to be built with -prof).
Maybe you are running into this:
Maybe you are running into this:
https://github.com/haskell/cabal/issues/1199
Check your version of the Cabal library (cabal --version should tell
you). I think this was only broken for a few releases, but I don't
remember which ones.
Great, it worked. I first updated Cabal library
Thank you for all the replies.
Luite Stegeman - I was thinking that the LLVM IR code is optimized already
or you can run LLVM IR optimization passes to get rid of such things. I
think compiling with ghc -fllvm generates LLVM bitcode and then you can
simply run emscripten on it to get Javascript -
On Tue, Jul 2, 2013 at 4:38 PM, B B blackbox.dev...@gmail.com wrote:
Thank you for all the replies.
Luite Stegeman - I was thinking that the LLVM IR code is optimized already
or you can run LLVM IR optimization passes to get rid of such things. I
think compiling with ghc -fllvm generates LLVM
On 13-06-28 04:06 AM, Rouan van Dalen wrote:
Now when I try to install the latest version of the [time] package, I have 2
time packages, 1 in the global package db (the older version), and 1 in
the user package db
(the newer version).
Now I would like subsequent installed packages to always use
Ok, version 0.11.1 is probably my last upload for a while unless I get
some specific requests, as I need to get back to real work. It adds
the new splitModule function that lets you specify a function defining
which symbols go to which modules, with the old function replaced by a
call to
John Lato wrote:
Now, I have found another behavior difficult to understand for me:
runQ $ lift u
ListE [LitE (CharL 'u')
runQ $ [| u |]
LitE (StringL u)
So we have similar behaviors for lift and [||]. We can check it in a
splice:
$( [| u |] )
u
$( lift u )
u
But if I replace
Hi, I am working this summer on the project Communicating with mobile
devices for the GSoC. I have started a blog to show the progress.
To show a simple usage of the API for GCM, I developed a simple test
example of a Yesod server, where devices can register to receive GCM
messages and users can
Hi everyone.
I am writing a package where I am using the Paths module that cabal
generates automatically. After adding the Paths module to the
other-modules section in my cabal file everything worked just fine, until
I wanted to write a custom Setup.hs. This Setup.hs just writes a couple of
files
Daniel Díaz Casanueva wrote:
Hi everyone.
I am writing a package where I am using the Paths module that cabal
generates automatically. After adding the Paths module to the
other-modules section in my cabal file everything worked just fine, until
I wanted to write a custom Setup.hs. This
lift and [| |] give similar results for that very stripped-down example,
but it would be incorrect to extrapolate their behaviors from that case.
They're executed at different times, by different mechanisms, and have
vastly different behavior. It's also best to think of [| |] as having the
type
18 matches
Mail list logo