Hey All,
When playing with the current hackage versions of Epic and Idris to make
them play nice with ghc7.6rc1
http://hackage.haskell.org/package/idris-0.9.2.1
and
http://hackage.haskell.org/package/epic-0.9.3(current version on github
now builds on ghc 7.6, https://github.com/edwinb/EpiVM)
During one of my long Agda runs (with GHC-7.4.2), I observed the following
output, with run-time options
+RTS -S -H11G -M11G -K256M
:
7694558208 30623864 3833166176 0.11 0.11 234.75 234.7900 (Gen: 0)
7678904688 29295168 3847737784 0.11 0.11 242.04 242.0900 (Gen:
Christopher, did you ever take a look at acid-state [1]? It seems to
me that it solves the same problem you have but, instead of
Client <-> JSON <-> Server (going through the web)
it solves
Server <-> Storage <-> Server (going through time)
Cheers,
[1] http://hackage.haskell.org/package/a
Oh, I went for a walk and realised that while I started with a GADT, I
ended up with a normal Haskell data type in a fancy GADT dress. I'll
get back to you if I get the GADT approach to work.
On 17 August 2012 15:14, Christopher Done wrote:
> Funny, I just solved a problem with GADTs that I could
Funny, I just solved a problem with GADTs that I couldn't really see how
to do another way.
The context
===
In a fat-client web app (like GMail) you have the need to send requests
back to the server to notify the server or get information back, this is
normally transported in JSON format
Am 15.08.2012 23:13, schrieb Yitzchak Gale:
But in my opinion, by far the best solution, using only
GADTs, was submitted by Eric Mertens:
http://hpaste.org/44469/software_stack_puzzle
Eric's solution could now be simplified even further
using data kinds.
Find attached a version (based on Eric
| Would it be reasonable to change ghc's behavior to treat this
| (ie an 'import' statement that hides something that isn't exported) as a
| warning instead of an error?
Yes, that would be easy if it's what everyone wants. Any other opinions?
Simon
| -Original Message-
| From: glasgow-