This message being sent to you on behalf of Philip Wadler:
IOHK is hiring six Programming Language Theory engineers, to design and
implement the smart contract language Plutus and related domain specific
languages. Designing scripting languages for smart contracts is a
challenging topic, as it is
>>>>> "DS" == Doaitse Swierstra <doai...@swierstra.net> writes:
SD> The good thing about laTeX is that out of all the candidates it is the
SD> most likely one to still work 40 years from now,
+1 from me for LaTeX as well.
--
John Wiegley
Lambda Days is a joint industry/academic conference on functional
programming, held annually at the Jagiellonian University in Krakow. Lambda
Days is calling both for proposed presentations, and for research papers,
the latter to be published after the event in Concurrency and Computation:
said "all yays from
committee members", and that it was then asking people to simply affirm the
vote. I should have read, "everyone who agrees, say yay". :)
--
John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartis
of the committee members here at ICFP, so I
took Carter's note to be a sign of enthusiasm, and not actual procedural
decision making.
--
John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2
___
>>>>> "CS" == Carter Schonwald <carter.schonw...@gmail.com> writes:
CS> I'll be this time! :)
CS> We should coord a committee catch-up at icfp.
I will be there as well.
--
John Wiegley GPG fingerprint = 4710 CF98
l your code sticks to one
SC> convention), but it would still, well, be really nice.
As much as I'd love to see it too (after programming in Coq, I constantly get
things mixed up whenever I jump back to Haskell), I can't see this ever
happening either. That ship has sailed, as they say.
--
Jo
o use, missing some key feature (like proper unicode support),
or has undesirable external dependencies.
--
John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2
___
,
John Wiegley
Haskell.org, infrastructure team
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
logy, Krakow, Poland
Katarzyna Rycerz, AGH University of Science and Technology, Krakow, Poland John
Hughes, Chalmers University of Technology, Gothenburg, Sweden Kevin Hammond,
University of St. Andrews, St. Andrews, Scotland, UK
___
Haskell mailing
>>>>> "ID" == Iavor Diatchki <iavor.diatc...@gmail.com> writes:
ID> it seems that there isn't much controversy over the TupleSections propsal,
ID> so I'd like to move the we accept it for the next language standard.
No objection here.
--
John Wiegley
her
credence than paperware. However, they don't exclude paperware either.
So I don't think we need to rely on implementation before considering a
feature we all want, but I do agree that seeing a patch in GHC first allows
for much testing and experimentation.
--
John Wiegley GPG fi
. For
example, MultiParamTypeClasses, OverloadedStrings, GADTs, TypeFamilies, etc.
How much "work" is typically involved in promoting a feature to be in the
Report, and how do we determine when it's a bad idea?
--
John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newar
e that this has been discussed previously, but another incarnation of the
Prime committee:
https://mail.haskell.org/pipermail/glasgow-haskell-users/2006-November/011480.html
--
John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartisans.com
lp.
> I agree completely with this.
I also agree, and offer my thanks to Herbert for being willing to take up this
role from the beginning.
--
John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartisans.com
-nominate again in the future.
--
John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2
signature.asc
Description: PGP signature
___
Haskell-community mailing list
-nominate again in the future.
--
John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2
signature.asc
Description: PGP signature
___
Haskell mailing list
Haskell
On behalf of the Yale Computer Science department, I'd like to announce a
symposium in memory of Paul Hudak that will take place at Yale on April 29 and
30. Friday will feature technical presentations by Paul's colleagues and
students, including John Hughes, Phil Wadler, Walid Taha, and Bob
I have an idea for a tool I'd like to implement, and I'm looking for advice
on the best way to do it.
Ideally, I want to write an Emacs extension where, if I'm editing Haskell
code and I try to use a symbol that's not defined or imported, it will try
to automatically add an appropriate import for
individually.
Thank you,
--
John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2
signature.asc
Description: PGP signature
___
Haskell mailing list
Haskell
implemented by this library was first written in Java
by Hanspeter Mössenböck and Michael Pfeiffer[11], and later improved upon by
Christian Wimmer[12], whose master's thesis provided the specification for our
implementation.
John Wiegley
BAE Systems
Footnotes:
[1] http://hackage.haskell.org/package
with, for example,
pipes-network).
--
John
[1] http://hackage.haskell.org/package/cacophony
[2] https://github.com/trevp/noise/blob/master/noise.md
[3] http://hackage.haskell.org/package/pipes-cacophony
___
Haskell mailing list
Haskell@haskell.org
http
e. Separately, I
have prepared an experience report that is currently seeking a venue.
John
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
volve the language look like to you? Is it the change causing you
difficulty, or the way we arrive at the change?
John
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
professionally as a front-end developer on several C and C++
compilers 1995-2006, 2009-2012.
* Member of the ANSI/ISO C++ standards body 1997-2014.
I'm not at all qualified if knowledge of historical context matters here; but
perhaps so, if not having it might be useful at times.
John
.
On 04:15, Tue, Sep 29, 2015 Will Sewell <m...@willsewell.com> wrote:
> Thanks for the reply John. I will have a go at doing that. What do you
> mean exactly by dumping metrics, do you mean measuring the latency
> within the program, and dumping it if it exceeds a certain threshol
Try Greg's recommendations first. If you still need to do more
investigation, I'd recommend that you look at some samples with either
threadscope or dumping the eventlog to text. I really like
ghc-events-analyze, but it doesn't provide quite the same level of detail.
You may also want to dump
University of Technology (Austria)
- Thom Fruehwirth, University of Ulm (Germany)
- Marco Gavanelli, University of Ferrara (Italy)
- Geoffrey Mainland, Drexel University (USA)
- Enrico Pontelli, New Mexico State University (USA)
- John Reppy, University of Chicago (USA)
- Ricardo Rocha, Universit
and John Reppy
University of Ferrara University of Chicago
Italy USA
http://docente.unife.it/marco.gavanelli http://people.cs.uchicago.edu/~jhr
email: padl2...@easychair.org
for your scenario you would use:
Windows: -shared
Linux: -dynamic -shared
This is from http://www.vex.net/~trebla/haskell/so.xhtml.
John
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://mail.haskell.org/cgi-bin
I agree that mixing template haskell with -prof can be tricky. It's easier
if you turn off dynamic linking entirely.
As for multi-line string literals, I also think that an explicit syntax
would be nice. Until then, I usually use:
unlines
[ Line 1
, Line 2
]
which ends
On 21:23, Fri, Jan 23, 2015 Evan Laforge qdun...@gmail.com wrote:
On Sat, Jan 24, 2015 at 2:38 AM, John Lato jwl...@gmail.com wrote:
I agree that mixing template haskell with -prof can be tricky. It's
easier if you turn
off dynamic linking entirely.
But that's the thing, I do turn of dynamic
now, so I felt it finally deserved an
announcement here.
Thank you,
John Wiegley (johnw on IRC/freenode)
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
John Wiegley jo...@newartisans.com writes:
https://github.com/jwiegley/git-monitor
The page is:
https://github.com/jwiegley/gitlib
John
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
Can't try your code now, but have you tried using threadscope? Just a
thought, but maybe the garbage collection is blocked waiting for a thread
to finish.
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
Ah, just took a look. I think my suggestion is unlikely to be correct.
On 08:40, Tue, Dec 23, 2014 John Lato jwl...@gmail.com wrote:
Can't try your code now, but have you tried using threadscope? Just a
thought, but maybe the garbage collection is blocked waiting for a thread
to finish
Looking forward to some exciting Haskell submissions!
John Hughes___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
Facundo Domínguez facundo.doming...@tweag.io writes:
We are pleased to announce a new implementation draft of the
StaticPointers extension [1].
Very nice, thank you!
John
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
The blocked on black hole message is very suspicious. It means that thread
7 is blocked waiting for another thread to evaluate a thunk. But in this
case, it's thread 7 that created that thunk and is supposed to be doing the
evaluating. This is some evidence that Gregory's theory is correct and
. That could speed up
your hop to next bug time, at the cost of installing Eclipse solely for that
purpose.
John
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
it in a similar manner.
John L.
And my pipe in:
returnTransactionResults :: MonadIO m = SMBusDevice DeviceDC590 - TVar
Bool - SourceT m (Spec, Char)
returnTransactionResults dev dts = repeatedly $ do
(status, spec) - liftIO $ readIn2 dev
oldDts - liftIO $ atomically $ readTVar dts
let dts
By any chance do the delays get shorter if you run your program with `+RTS
-C0.005` ? If so, I suspect you're having a problem very similar to one
that we had with ghc-7.8 (7.6 too, but it's worse on ghc-7.8 for some
reason), involving possible misbehavior of the thread scheduler.
On Wed, Oct
, but it would definitely help in situations like this.
John L.
On Thu, Oct 30, 2014 at 8:02 AM, Michael Jones m...@proclivis.com wrote:
John,
Adding -C0.005 makes it much better. Using -C0.001 makes it behave more
like -N4.
Thanks. This saves my project, as I need to deploy on a single core
into pieces, do we have tests that solely
target the linking sub-components, and how would I run them? Perhaps I can
setup a fleet of virtual machines to try it out in every combination where we
expect the code to compile.
John
___
Glasgow-haskell-users mailing
as a macro to the current module name? I can
see some edge cases where it makes a difference. I am thinking the easiest
would be to populate entries for all the M.toplevel names where toplevel
are the top level definitions of the module, will implement it and see how
it shakes out.
John
On Tue, Sep
.
John
On Mon, Sep 29, 2014 at 8:47 AM, Brandon Allbery allber...@gmail.com
wrote:
On Mon, Sep 29, 2014 at 4:19 AM, Herbert Valerio Riedel h...@gnu.org
wrote:
Now it'd be great if I could do the following instead:
module AnnoyinglyLongModuleName (M.length, M.null) where
import
Richard Eisenberg e...@cis.upenn.edu writes:
What if we just stopped requiring commas in import/export lists? As far as I
can tell, they're not necessary for proper parsing.
+1
John
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users
In the heart of Free Glasgow, in the soon to be People's Republic of Scotland
Correction: the formerly-soon-to-be People's Republic of Scotland.
-John
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
The value 708 is correct. From the user's guide,
http://www.haskell.org/ghc/docs/latest/html/users_guide/options-phases.html#c-pre-processor
:
_GLASGOW_HASKELL__
For version x.y.z of GHC, the value of __GLASGOW_HASKELL__ is the integer
xyy (if y is a single digit, then a leading zero is added,
has
discovered some nice expressions involving curried bifunctors that would be a
shame to miss out on.
As Simon said, this really should go to the libraries mailing list, where
Edward is sure to weigh in.
John
___
Glasgow-haskell-users mailing list
David Feuer david.fe...@gmail.com writes:
Joachim Breitner wrote:
Together with John Wiegly at ICFP, I started to create a list
performance laboratory. You can find it at:
https://github.com/nomeata/list-fusion-lab
Many thanks to you both! This sounds like an excellent idea. I do
of Carter
Schonwald and was based on a patch by Alexander Vershilov.
Thanks.
[1] http://hackage.haskell.org/package/cgi
--
Love in Jesus Christ, John Alfred Nathanael Chee
http://www.biblegateway.com/
http://web.cecs.pdx.edu/~chee/
___
Haskell mailing list
, but ideally the pre-processor TH would
create programs that can be run under the target compiler. that would
bring TH to every haskell compiler.
John
On Sat, Jul 5, 2014 at 10:38 AM, Brandon Allbery allber...@gmail.com wrote:
On Sat, Jul 5, 2014 at 1:34 PM, Carter Schonwald
carter.schonw
that is the result you pass to the compiler.
John
On Sat, Jul 5, 2014 at 1:09 PM, Luite Stegeman stege...@gmail.com wrote:
How would you do reification with that approach?
On Sat, Jul 5, 2014 at 9:59 PM, John Meacham j...@repetae.net wrote:
Actually, I was looking into it a little, and template
Hmm.. It works on my nexus 4. Kiwamu of the metasepi
http://ajhc.metasepi.org/ is the one that uploaded the demo. Perhaps
he needs to update the key or something.
On Thu, Jul 3, 2014 at 9:43 PM, Dominick Samperi djsamp...@gmail.com wrote:
Hello John,
I tried to install the Haskell demo Cube
-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
--
John Meacham - http://notanumber.net/
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org
Yeah, I specifically excluded ascii prime (') from special handling in
jhc due to its already overloaded meaning in haskell. I just added the
subscript/superscript ones to the 'trailing' character class.
John
On Wed, Jun 25, 2014 at 12:54 PM, Mikhail Vorozhtsov
mikhail.vorozht...@gmail.com
and doesn't entail CPP concerns.
John
On Sun, Jun 15, 2014 at 5:26 PM, Mateusz Kowalczyk
fuuze...@fuuzetsu.co.uk wrote:
On 06/14/2014 04:48 PM, Mikhail Vorozhtsov wrote:
Hello lists,
As some of you may know, GHC's support for Unicode characters in lexemes
is rather crude and hence prone
is
| really well protected.
Can anyone help him? I'll open a ticket.
This has been discussed before BTW:
http://comments.gmane.org/gmane.comp.lang.haskell.ghc.devel/4239
So it looks like Herbert is the one to contact.
John
___
Glasgow-haskell-users
I have this feature in jhc, where I have a 'trailing' character class
that can appear at the end of both symbols and ids.
currently it consists of
$trailing = [₀₁₂₃₄₅₆₇₈₉⁰¹²³⁴⁵⁶⁷⁸⁹₍₎⁽⁾₊₋]
John
On Sat, Jun 14, 2014 at 7:48 AM, Mikhail Vorozhtsov
mikhail.vorozht...@gmail.com wrote:
Hello
extensions.
John
-- John Meacham - http://notanumber.net/
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
This is also available as html at
http://repetae.net/computer/jhc/record_inference.html
Record Type Inference
=
An extension to the named field mechanism that will greatly enhance the
utility of them when combined with the existing `DisambiguateRecordFields`,
`RecordPuns`,
{fa,fb,fc}
or putting the data declaration in a local where or let binding. but
that will require some more work. (and scoped type variables in jhc
are a little iffy at the moment as is)
John
On Tue, Jun 3, 2014 at 11:33 PM, Carter Schonwald
carter.schonw...@gmail.com wrote:
Hey John
in some
in addition to language features, but this may be undesireable
as then it would behave differently when specified in a LANGUAGE
pragma.
John
--
John Meacham - http://notanumber.net/
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users
representation using LEB128
- Data.String added with mild magic.
--
John Meacham - http://notanumber.net/
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
.
John
On Fri, Apr 25, 2014 at 6:17 AM, Simon Marlow marlo...@gmail.com wrote:
I want to propose a simple change to the -i flag for finding source files.
The problem we often have is that when you're writing code for a library
that lives deep in the module hierarchy, you end up needing a deep
.
John
--
John Meacham - http://notanumber.net/
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
No, it would be trivial to make it do so, but it would be ususual and
contrary to how ghc does things.
For instance, ghc doesnt warn if both Foo.lhs and Foo.hs exist or
src/Foo.hs and bar/Foo.hs when both -isrc and -ibar are specified on
the command line.
John
On Fri, May 30, 2014 at 3:10 AM
On May 24, 2014 11:48 AM, Simon Marlow marlo...@gmail.com wrote:
On 19/05/2014 13:51, harry wrote:
harry wrote
I need to build GHC 7.8 so that Template Haskell will work without
shared
libraries (due to a shortage of space).
I understand that this can be done by turning off
conditionals in do let
let f x y z
| x == z = y
| x == y = z
| y == z = x
The simple rule is, inside enclosing brackets, layout is turned off and
doesn't propagate. I am testing the rules with ghc and they are promising so
far. pattern bindings
John
matching on current symbol and current top of stack and can be listed
as a set of tuples.
in other words, a textbook deterministic push down automaton.
John
On Wed, May 14, 2014 at 7:29 AM, Ian Lynagh ig...@earth.li wrote:
On Tue, May 13, 2014 at 11:20:25PM -0700, John Meacham wrote
many complaints (and nobody else said anything here!) maybe
the impact is smaller than I thought.
Thanks,
John
On Wed, May 14, 2014 at 6:02 AM, Richard Eisenberg e...@cis.upenn.eduwrote:
Is this an instance of https://ghc.haskell.org/trac/ghc/ticket/8177 ? I
think so.
The problem boils down
:
On Wed, May 14, 2014 at 7:02 PM, John Lato jwl...@gmail.com wrote:
I would have expected this would have affected a lot users, but as I
haven't heard many complaints (and nobody else said anything here!) maybe
the impact is smaller than I thought.
I think people just haven't migrated much
/AlternativeLayoutRule
implies it has been in use since 6.13. If that is the case, I assume
it has been found stable?
I ask because I was going to rewrite the jhc lexer and would like to
use the new mechanism in a way that is compatible with ghc. If it is
already using my code, so much the better.
John
... maybe
I can revert my current lexer parser back to simpler haskell 98 syntax and
require anything that uses extensions to use the new layout rule.
Thanks,
John
--
John Meacham - http://notanumber.net/
___
Glasgow-haskell-users mailing list
Glasgow
newtypes?
tl;dr: I would really like to be able to do:
coerce (someVector :: Vector Foo) :: Vector Int
am I correct that the current machinery isn't up to handling this?
Thanks,
John
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
Not by anything I've tried yet, no.
On Tue, May 13, 2014 at 10:40 PM, Carter Schonwald
carter.schonw...@gmail.com wrote:
can you get the deriving to work on
a newtype instance MVector s Foo =
?
On Tue, May 13, 2014 at 9:39 PM, John Lato jwl...@gmail.com wrote:
Hello,
Prior
based on that.
John
On Mon, May 12, 2014 at 10:36 PM, Krzysztof Skrzętnicki
gte...@gmail.com wrote:
Hmm, I'll give it a try, thanks!
As for the other errors for sure there is missing Binary instance for strict
ByteStrings in newest binary package.
Another one is instance for Show (Identity
-string,zlib,HsSyck,filepath,process,syb,old-time,pretty.
Specific versions should not matter from anything back in ghc 7.2 days
to now, if there is a bug where it won't compile with a version
expected to be found in the wild, please feel free to report it.
John
On Mon, May 12, 2014 at 12:10 PM
stop
the version number shift and declare it 1.0.0 and use the third digit
for actual point releases rather than keep the perpetual 0.x.y wasting
the first digit. but then I can't hide behind the 'beta' shield
anymore. :)
John
On Mon, May 12, 2014 at 7:56 PM, Jens Petersen
j
Hi Simon,
Thanks very much for this response. I believe you're correct; ghc -e
'System.Environment.getEnvironment' segfaults with my ghc build.
John
On Tue, Apr 29, 2014 at 10:36 AM, Simon Marlow marlo...@gmail.com wrote:
On 25/04/2014 02:15, John Lato wrote:
Hello,
I'd like to compile
at 9:47 AM, Carter Schonwald
carter.schonw...@gmail.com wrote:
@john, what version of cabal-install were you using? (i realize you're
probably using the right one, but worth asking :) )
On Fri, Apr 25, 2014 at 12:25 PM, John Lato jwl...@gmail.com wrote:
On Apr 25, 2014 5:36 AM, Bertram
On Apr 25, 2014 5:36 AM, Bertram Felgenhauer
bertram.felgenha...@googlemail.com wrote:
John Lato wrote:
I'd like to compile ghc-7.8.2 with DynamicGhcPrograms disabled (on
64-bit
linux). I downloaded the source tarball, added
DYNAMIC_GHC_PROGRAMS = NO
I've had success with setting
).
Building with DYNAMIC_GHC_PROGRAMS = YES works properly.
With that in mind, I have a few questions:
How should I compile a non-dynamic ghc?
Is this a bug in ghc?
Thanks,
John L.
* Setup.hs
import Distribution.Simple
main = defaultMain
___
Glasgow-haskell
Right 1000.0 gram meter ** 2 / second ** 2
dimensionality $ fromString N * m
Right [length] ** 2 [mass] / [time] ** 2
Finally, this is my first Haskell library. I am open to *any*
suggestions/criticism, especially in regards to code style, the API,
the cabal file structure, etc.
Thanks,
John
I think this is a great idea and should become a top priority. I would
probably start by switching to a type-class-based seq, after which perhaps
the next step forward would become more clear.
John L.
On Apr 1, 2014 2:54 AM, Dan Doel dan.d...@gmail.com wrote:
In the past year or two, there have
(lazily!).
And if somebody were to suggest that on a different day, +1 from me.
John
On Apr 1, 2014 10:32 AM, Edward Kmett ekm...@gmail.com wrote:
John,
Check the date and consider the process necessary to enumerate all
Haskell programs and check their types.
-Edward
On Tue, Apr 1, 2014 at 9
needed in the language for bang
patterns. :(
-Edward
On Apr 1, 2014, at 5:26 PM, John Lato jwl...@gmail.com wrote:
Hi Edward,
Yes, I'm aware of that. However, I thought Dan's proposal especially
droll given that changing seq to a class-based function would be sufficient
to make eta
On Jan 23, 2014 1:28 AM, Simon Marlow marlo...@gmail.com wrote:
On 23/01/14 03:52, John Lato wrote:
However, these are all rather obviously fixable as part of the build
system. For me, the worst problems have to do with cleaning. If you're
using a Makefile, typically you want to leave
On Wed, Jan 22, 2014 at 12:25 AM, Simon Marlow marlo...@gmail.com wrote:
On 05/01/2014 23:48, John Lato wrote:
(FYI, I expect I'm the source of the suggestion that ghc -M is broken)
First, just to clarify, I don't think ghc -M is obviously broken.
Rather, I think it's broken in subtle
, but if the common files are relatively stable it'll
probably lead to the fastest builds of your executables. Also in this case
you could run multiple `ghc --make`s in parallel, using different build
directories, since they won't be rebuilding any common code.
John L.
On Sun, Jan 5, 2014 at 1:47 PM, Sami Liedes
On Sun, Jan 5, 2014 at 3:54 PM, Erik de Castro Lopo mle...@mega-nerd.comwrote:
John Lato wrote:
ghc --make doesn't allow building several binaries in one run, however if
you use cabal all the separate runs will use a shared build directory, so
subsequent builds will be able to take
would love to be wrong here, and
maybe he can correct me on this note.)
Cheers,
Edward
P.S. loadLoadBarrier compiles to a no-op on x86 architectures, but
because it's not inlined I think you will still end up with a jump (LLVM
might be able to eliminate it).
Excerpts from John Lato's
Newton's
atomic-primops package. From the docs, I think that's a general read
barrier, and should do what I want. Assuming it works properly, of course.
If I'm lucky it might even be optimized out.
Thanks,
John
On Mon, Dec 30, 2013 at 6:04 AM, Edward Z. Yang ezy...@mit.edu wrote:
Hello John
believe that it's implemented properly (although I have no
reason to believe it's wrong either). Perhaps I'm just overly paranoid.
John Lato
On Fri, Dec 20, 2013 at 9:05 AM, Carter Schonwald
carter.schonw...@gmail.com wrote:
Hey John, so you're wanting atomic reads and writes?
I'm pretty sure
issue an mfence,
but that seems a bit heavy-handed as just a read fence would be sufficient
(although even that seems more than necessary).
Thanks,
John L.
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman
and leave this completely
up to the user. My intention is to get a mechanism to tell ghc it's okay to
recompute something in a lambda, essentially a manual state hack. I seem to
recall wanting this, but I don't remember the exact use case. It's possible
it was one-shot anyway.
John L.
On Nov 11
Aleksey Uymanov s9gf4...@gmail.com writes:
Is it posible to create instance of MonadBaseControl IO (ConduitM i o m) ?
No, it is not, for approximately the same reason that you cannot create one
for ContT (or any form of continuation).
--
John Wiegley
FP Complete
Daniil Frumin difru...@gmail.com writes:
Isn't it the case that there could be more than one natural transformation
between functors?
Yes, I imagine there would have to be some newtype wrappers to distinguish in
those cases.
--
John Wiegley
FP Complete Haskell tools
I think you've misunderstood Robin's point. The problem is that each of
these libraries is platform-specific. Writing an api on top of one is work
enough, but writing a cross-platform api that binds to the appropriate
platform-specific backend is a major undertaking.
On Oct 4, 2013 7:12 PM, Alp
1 - 100 of 3733 matches
Mail list logo