Salut,
Réponse dans le texte aussi. Je réponds à ton dernier mail et après je
relirai le premier pour voir si je peux apporter un autre angle que
Valentin, etc.
2013/12/20 Gautier DI FOLCO gautier.difo...@gmail.com
2013/12/20 Gautier DI FOLCO gautier.difo...@gmail.com
Nous avons pure ::
Hi John,
I guess you probably want to pseq x. See below for an example. Since your 2nd
action does not depend on your 1st.
Gruss,
Christian
import Debug.Trace
import GHC.Conc
main = do
x - return (traceShow 1 $ 1::Int)
-- x `pseq` print (2::Int)
print (2::Int)
print x
* John Lato
Hey John, so you're wanting atomic reads and writes?
I'm pretty sure that you want to use atomic memory operations for this. I
believe Ryan Newton has some tooling you can use right now for that.
On Fri, Dec 20, 2013 at 3:57 AM, Christian Höner zu Siederdissen
choe...@tbi.univie.ac.at wrote:
Call for Papers
ITP 2014
5th International Conference on Interactive Theorem Proving
14th-17th July 2014 in Vienna, Austria
http://www.cs.uwyo.edu/~ruben/itp-2014
IMPORTANT DATES
Abstract submission:
CALL FOR PAPERS
First International Workshop on
Rewriting Techniques for Program Transformations and Evaluation
(WPTE'14)
affiliated with RTA/TLCA 2014
(a FLoC 2014 workshop, FLoC is part of the Vienna