I recently tried the latest version of HS-PLUGINS, and it gave an error on
Windows. After a bit of Googling it seemed Conal Elliot had the same
problem. I reported this problem to the author. This is also (one of) the
reason why I could not get YI running on Windows.
Currently I believe
Excerpts from Peter Verswyvelen's message of Wed Jan 09 10:07:46 -0600 2008:
Is my code incorrect, or is this a (known?) bug in GHC 6.8.2 on Windows?
I haven't tried the Linux version yet.
The same thing happens on my Windows XP box as it does with yours. On
both windows and my linux box, ghc
(sorry for the dupe aaron! forgot to add haskell-cafe to senders list!)
Perhaps the best course of action would be to try and extend cpphs to
do things like this? From the looks of the interface, it can already
do some of these things e.g. do not strip comments from a file:
Sorry Andy! CC'ing to the rest of -cafe in case anybody notices (I
need to stop haskelling so early in the morning...)
On Fri, Jul 16, 2010 at 8:59 AM, austin seipp a...@0xff.ath.cx wrote:
You also may like one project I wrote, an IRC bot that used hs-plugins
to do hot code reloading (only
A reasonable guess (I think, anyway): the reason is because support
for ODBC, Oracle, Postgres etc isn't compiled in by default. You have
to specify it with a flag with cabal install to get support for those
things. But the reason they show up in API docs I would guess is
because Haddock doesn't
Hi Jason,
I've had my eye on the 'Takusen' approach for a while. In particular I
think it's a wonderful idea to use the left-fold based interface.
Takusen is also well supported and pretty stable, having been around
for a while.
Despite this, it seems to have a couple faults:
* Few tutorials,
- When using the high-level assembler in X86Assembler, the code buffer
is automatically protected from overflow.
This one update alone is worth the whole upgrade; while experimenting
with Harpy in several of my own personal compiler-related projects,
the necessity of ensureBufferSize was a
Recently I've been developing my IRC bot a little further, and in the
midst of it I have come across a very problematic issue that revolves
around GHC-dependencies vs. application-dependencies. The central issue
is ByteString.
Currently, the ghc package depends on bytestring-0.9.0.1. However, the
gtk =0.9.12,
glib =0.9.12,
sourceview =0.9.12,
These are all apart of gtk2hs:
http://haskell.org/gtk2hs/
For my build on Linux I had to pass a --enable-sourceview option to
./configure so that the sourceview package was picked up and built,
but I figure it's probably picked up
Excerpts from Georg Neis's message of Fri Mar 14 06:38:02 -0500 2008:
Hello,
I've installed the HFuse package from hackage and am playing with the
HelloFS example in the System/Posix/HFuse directory.
As far as I know, the package uploaded onto hackage is merely a
cabal-ised version of the
That's all good news; will this release of ByteString be used for GHC 6.8.3?
I'm a little tired of linking everything against 0.9.0.1 just so I can use Yi
(since GHC/the-GHC-API links against it). :)
Indeed; this is the biggest issue I have with bytestring right now as
it's interfered with my
Perhaps try:
$ ghc --make -static -optl-static -lpath to libHSGLUT.a here x.hs
The -optl-static passes the '-static' argument to ld so it will link
statically; you may also need a copy of a compatable GLUT library in .a
format on your windows machine which should be linked in with -l as well
For the purpose of experimenting with NDP I went through the
process of getting the GHC head from darcs.haskell.org. As
specified in the developer wiki[1], using darcs get is basically
not possible because there're so many patches. So I downloaded
You can create a wrapper with a newtype and then define an instance for that.
newtype Char2 = Char2 Char
instance Arbitrary Char2 where
arbitrary = ...
You'll have to do some wrapping and unwrapping when calling your
properties to get/set the underlying Char, but this is probably the
easiest
Patrick,
Dependent types are program types that depend on runtime values. That
is, they are essentially a type of the form:
f :: (a :: X) - T
where 'a' is a *value* of type 'X', which is mentioned in the *type* 'T'.
You do not see such things in Haskell, because Haskell separates
values from
There was work ongoing for an ARM port of GHC. See here:
http://tommd.wordpress.com/2010/01/19/ghc-on-arm/
Also see:
http://alpheccar.org/en/posts/show/94
Alpheccar's build uses the work of Stephen Blackheath to cross
compile, which originated in the GHC-iPhone project, based on ghc
6.10.2 I
Excerpts from Günther Schmidt's message of Thu May 07 14:12:04 -0500 2009:
Hi,
has anybody recently install the GLFW package on Mac OS X?
It won't install on my machine.
Günther
I ran into this problem - with GHC 6.10.2 or above if you try to
install GLFW with cabal install you get a
Excerpts from michael rice's message of Sat May 09 14:31:20 -0500 2009:
Why doesn't this work?
Michael
data Maybe a = Nothing | Just a
instance Monad Maybe where
return = Just
fail = Nothing
Nothing = f = Nothing
(Just x) = f = f
I can replicate this err with 6.8.3 on my macbook (os 10.5.4.) It also
appears to fail with a copy of the GHC HEAD as well:
$ uname -a
Darwin existential.local 9.4.0 Darwin Kernel Version 9.4.0: Mon Jun 9
19:30:53 PDT 2008; root:xnu-1228.5.20~1/RELEASE_I386 i386
$ ghc --version
The Glorious
From the looks of the User Accounts page on hackage, Ross Patterson
seems to be responsible, you can contact him here:
[EMAIL PROTECTED]
Austin
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Status update: after checking out the latest HEAD and building it, the
above error does not occur:
$ ~/ghc-head/bin/ghc --version
The Glorious Glasgow Haskell Compilation System, version 6.9.20080720
$ ~/ghc-head/bin/ghc --make DerivingError.hs
no location info:
Warning:
Hi,
After my last issue with GHC's HEAD, I tried checking it out again and
getting the patches for the libraries and lo and behold, it worked. So
now I'm up to date with the latest libraries and the compiler, but it
appears that building NDP itself is proving to be troublesome.
(This is on GHC
Hi Fernando,
final [] = [] - I consider that the end of an empty list is the empty list
final [a] = a
final (_:t) = final t
Suddenly, the function stoped working with a rather cryptic (for a newbie
at least) error message:
*Temp final [4,5]
interactive:1:9:
No instance for
Hi,
I've just uploaded a package to hackage which is an interface to the
random.org random number generator.
For those who don't know, random.org provides random data through the
use of atmospheric noise rather than a PRNG that would typically be
invoked if you were to use the System.Random
Excerpts from Galchin, Vasili's message of Mon Jul 28 21:14:56 -0500 2008:
ok guys .. what is this phantom type concept? Is it a type theory thing or
just Haskell type concept?
Vasili
Phantom types are more of an idiom than anything else; they are types
with no real concrete representation,
Excerpts from Yann Golanski's message of Wed Jul 30 02:34:05 -0500 2008:
I cannot seem to be able to install yi via cabal install. The error I
get is as follows. I suspect alex is not installed in the correct
place.
...
Hi,
cabal-install will put installed binaries in $HOME/.cabal/bin by
Excerpts from John Dorsey's message of Wed Jul 30 13:58:26 -0500 2008:
Is something amiss with cabal-install? Shouldn't it have automatically
installed alex? Or does it only do that with libraries, by design?
AFAICT, dependencies are only downloaded and installed if they are
listed in a
Excerpts from Andrew Coppin's message of Sun Aug 03 04:35:32 -0500 2008:
Correct me if I'm wrong, but... I was under the impression that Darcs is
a revision control system. It controls revisions.
Well Darcs already does that. So... what's to develop? It's not like
it's slow or buggy. I
Excerpts from Galchin, Vasili's message of Wed Aug 06 04:09:58 -0500 2008:
Is http://hackage.haskell.org/trac/ghc/wiki/GarbageCollectorNotes a
reliable source of info on the ghc garbage collector?
The page seems to be a little light for the most part, and it does not
seem to take into
Hi,
In less than a week I'll be moving to Houston TX in order to start
school at university (University of Houston.) I'm wondering if there
are any functional programmers (particularly haskellers) in that part
of the state? If so, a group meeting and perhaps eventually a
user-group would be
Hi,
Perhaps you are talking about Communicating Haskell Processes (CHP)?
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/chp
Austin
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Excerpts from Justin Bailey's message of Thu Sep 04 17:00:58 -0500 2008:
Looking at the package, I think would be pretty painful though. It
seems I'd have to build the AST by hand,
The AST Language.C defines for C is actually fairly regular once you
wrap your head around it - I got it to
I'm not getting this issue, but to fix it, given whatever you shell
you use with your terminal (Terminal.app, iTerm, etc) program, just
stick this into the rc file for it:
export DYLD_LIBRARY_PATH=/opt/local/lib:$DYLD_LIBRARY_PATH
For example, in this case it would exist in my ~/.zshrc - it
Excerpts from Andrew Coppin's message of Sun Sep 21 02:44:10 -0500 2008:
1. How is putting something into a Cabal package different from just
handing somebody the source code and telling them to run ghc --make?
Cabal can handle things for you like when your package depends on
external data
Excerpts from Rafal Kolanski's message of Sun Sep 21 07:28:37 -0500 2008:
The best I can find is withImageSurfaceFromPNG, but I can't
make it work.
Why not? Seems to me all you need to do is:
withImageSurfaceFromPNG blah.png $ \surface - do
...
Lots of code is written this way (create a
Excerpts from Cetin Sert's message of Tue Sep 23 05:55:21 -0500 2008:
Let's say I go and compile a library from sources and install it through
Cabal.
How can I update the binary version of the library Cabal installed after
recompiling the library using newer/modified sources?
I'm not quite
Excerpts from Dougal Stanton's message of Tue Sep 23 06:09:58 -0500 2008:
That should happen automatically with cabal-install if the version
number in the .cabal file has changed.
There doesn't seem to be a good way of forcing cabal-install to
recreate a build (eg, if you want to
Excerpts from Magicloud Magiclouds's message of Mon Oct 13 23:58:58 -0500 2008:
Hi,
I wanted to install it with cabal. Well
$ cabal install derive
Resolving dependencies...
cabal: Couldn't read cabal file ./derive/0.1.2/derive.cabal
As I traced a little, it seemed that line:
Windows will not let you modify/delete binaries if they're running as a
process, and it won't let you delete .DLL files that're in use by
applications either (mapped to shared memory, that is.) So cabal
install cannot overwrite the cabal.exe binary after it builds it,
because it's already running.
This message is literate haskell.
{-# LANGUAGE FunctionalDependencies, MultiParamTypeClasses #-}
{-# LANGUAGE TypeFamilies, EmptyDataDecls, FlexibleContexts #-}
Just to add on for people watching, a fundep pretty much just says that if:
class Foo a b | a - b where
bar :: a - b
baz :: b
Excerpts from t.r.willingham's message of Sun Nov 02 17:28:08 -0600 2008:
What would it take to implement a -j equivalent for, say, GHC? Or if
this is not possible, what is wrong with my reasoning?
Thanks,
TW
Hi,
The main issue has to do with the decisions the compiler needs to make
in
Excerpts from Chad Scherrer's message of Tue Nov 04 21:34:01 -0600 2008:
Does anyone have any thought what it would take to get this going?
Chad
Currently, franchise supports building in parallel with a -j flag, but
the code could definitely be optimized (in my experience, running with
Anyway, I don't see it anywhere in the release notes, but I get the vibe
that type families are supposed to be fully working now. Is that
correct? If so, why no mention anywhere?
Type families have been completely reimplemented and should be stable
now, but there are some bugs - notably
Excerpts from Andrew Coppin's message of Fri Nov 14 14:13:01 -0600 2008:
Yeah. I figure if I knew enough about this stuff, I could poke code
numbers directly into RAM representing the opcodes of the machine
instructions. Then I only need to figure out how to call it from
Haskell. It all
Excerpts from Dmitri O.Kondratiev's message of Sat Nov 22 05:40:41 -0600 2008:
Please advise how to write Unicode string, so this example would work:
main = do
putStrLn Les signes orthographiques inclus les accents (aigus, grâve,
circonflexe), le tréma, l'apostrophe, la cédille, le trait
Does anyone have an IRC client hiding somewhere that is console friendly (I
IRC from a screen session) which is also extensible in Haskell?
http://www.haskell.org/hircules/
Last update was over 5 years ago - you could try to still build
it. But it uses gtk2hs, not ncurses.
Personally, I've
Hi Daniel,
1. cabal install lhc
20 minutes later I have an lhc executable installed (and the graphviz
package), great, can't be any simpler.
Awesome! Glad it worked for you.
A tidbit: unfortunately, due to a mistake in the first upload of lhc,
you will need to provide an exact version if
Excerpts from lazycat.manatee's message of Tue Dec 02 23:18:50 -0600 2008:
Hi all,
I have install GHC 6.10.1 and Gtk2hs (darcs version) in Debian.
So i want to ask, have anyone install Yi (darcs version) with GHC 6.10.1
successfully?
Yes. cabal install is basically the easiest way to do it:
Excerpts from Gour's message of Sat Jan 03 03:48:44 -0600 2009:
Hi!
I'd like to use sqlite3 as application storage in my haskell project...
Browsing the available database options in Haskell it seems that:
a) HSQL is dead (hackage reports build-failure with 6.8 6.10)
b) haskelldb is
Excerpts from Thomas M. DuBuisson's message of Sat Jan 03 09:22:47 -0600 2009:
Mandatory contrived example:
type family AddressOf h
type family HeaderOf a
-- I'm looking for something to the effect of:
type axiom HeaderOf (AddressOf x) ~ x
-- Valid:
type instance AddressOf
Hello!
Over the past couple of days I've been working on an IRC bot in the
essence of lambdabot; that is, it should be extendable through plugins
and plugins should be easy to write, modify and contribute. I also
wanted the bot to be small in terms of LOC (as of 0.1, about ~360
including the two
Excerpts from Immanuel Litzroth's message of Wed Jan 07 16:53:30 -0600 2009:
I'm trying to use the new (for me at least) extensible exceptions and
I am little amazed that I cannot get catch, try or mapException to work
without telling them which exceptions I want to catch.
What is the
Excerpts from John A. De Goes's message of Thu Jan 08 12:14:18 -0600 2009:
But really, what's the point? FFI code is fragile, often uncompilable
and unsupported, and doesn't observe the idioms of Haskell nor take
advantage of its powerful language features.
This is a completely unfair
Excerpts from Guenther Schmidt's message of Thu Jan 29 07:42:51 -0600 2009:
Hi Austin,
could you post the patch please?
So far there is no updated version of takusen that builds with ghc
6.10
Günther
Hi Gunther,
I recently got an email back from Alstair Bayley who is one of the
Excerpts from John Goerzen's message of Fri Jan 30 18:31:00 -0600 2009:
Why would cabal-install select a different base than running Setup
manually?
I can't hard-code base = 4 into .cabal because that would break for
GHC 6.8 users. I have CPP code that selects what to compile based on
Excerpts from Paulo J. Matos's message of Tue Feb 03 02:31:00 -0600 2009:
Any references to publications related to this?
While it's not Haskell, this code may be of interest to you:
http://pauillac.inria.fr/~xleroy/bibrefs/Leroy-compcert-06.html
This paper is about the development of a
Excerpts from Austin Seipp's message of Tue Feb 03 03:40:47 -0600 2009:
...
After noticing that I didn't give a link to the code in the last
message, I searched and found this more up to date page I think:
http://compcert.inria.fr/doc/index.html
Austin
Excerpts from Bulat Ziganshin's message of Mon Mar 02 10:14:35 -0600 2009:
let's calculate. if at GC moment your program has allocated 100 mb of
memory and only 50 mb was not a garbage, then memory usage will be 150
mb
? A copying collector allocates a piece of memory (say 10mb) which is
used
Hi,
(Please note this is coming from my own experience working with the LHC haskell
compiler, as well as a compiler I'm currently working on in SML. I'm
not an authority, but as another greenhorn compiler hacker I thought I
might give some advice.)
Excerpts from Loup Vaillant's message of Sat
Excerpts from Alexander Dunlap's message of Sun Mar 08 00:23:01 -0600 2009:
For a while now, we have had Data.ByteString[.Lazy][.Char8] for our
fast strings. Now we also have Data.Text, which does the same for
Unicode. These seem to be the standard for dealing with lists of bytes
and
Excerpts from Bryan O'Sullivan's message of Sun Mar 08 00:45:03 -0600 2009:
uvector is, if my memory serves me correctly, a fork of the vector library.
It uses modern stream fusion, but is under active development and is a
little scary. I'm a little unclear on the exact difference between
Excerpts from John Meacham's message of Mon Mar 09 07:28:25 -0500 2009:
On Sat, Mar 07, 2009 at 07:45:06PM -0600, Austin Seipp wrote:
(On that note, I am currently of the opinion that most of LHC's major
deficiencies, aside from a few parser bugs or some needed
optimizations, comes from
Excerpts from Dimitry Golubovsky's message of Wed Mar 11 21:42:14 -0500 2009:
Hi,
I am trying to process command line arguments that may contain Unicode
(cyrillic in this example) characters.
The standard GHC's getArgs seems to pass whatever was obtained from
the underlying C library
I do wonder how Emscripten handles the GHC calling convention that is
part of LLVM. In particular, global register declarations in the RTS
scare me from a side line view, and LLVM's calling convention support
is what makes the combination work at all in a registered environment.
It's currently not
As usual, I'm foolish and forget to hit 'reply to all'. Original
message unedited below, so it can be sent to -cafe.
To answer question #3, pseq and seq are semantically equivalent
(indeed, if you look at the source for Control.Parallel, if you are
not using GHC, pseq is defined as 'pseq = seq'.)
Dan,
I believe there was some work on this functionality for GHC some time
ago (agda-like goals for GHC, where ? in agda merely becomes
'undefined' in haskell.) See:
https://github.com/sebastiaanvisser/ghc-goals
This work was done a few years ago during a hackathon (the 09 Utrecht
hackathon.)
Looking at the Core for an utterly trivial example (test x = concatMap
k x where k i = [i..i*2]), the foldr definition seems to cause a
little extra optimization rules to fire, but the result seems pretty
big. The definition using concatMap results in core like this:
main_go2 =
\ (ds_aqV ::
?
On Mon, May 16, 2011 at 2:46 PM, Daniel Fischer
daniel.is.fisc...@googlemail.com wrote:
On Monday 16 May 2011 20:49:35, austin seipp wrote:
Looking at the Core for an utterly trivial example (test x = concatMap
k x where k i = [i..i*2]), the foldr definition seems to cause a
little extra
I too am not all that concerned about the library proliferation, and I
think such work can definitely help find the best design for certain
abstractions. There are no less than 3 iteratee libraries - 4
including liboleg's original IterateeM formulation - and a number of
FRP implementations as
Hi David,
It seems to be a result of the new typechecker and more specifically
the new behavior for GADTs in GHC 7.
The short story is thus: when you turn on GADTs, it also now turns on
another extension implicitly (MonoLocalBinds) which restricts let
generalization. More specifically, it causes
On Tue, May 31, 2011 at 11:13 PM,
dm-list-haskell-c...@scs.stanford.edu wrote:
It definitely felt like I was running up against something like the
monomorphism restriction, but my bindings were function and not
pattern bindings, so I couldn't understand what was going on. I had
even gone and
On Thu, Jun 9, 2011 at 1:53 PM, Andrew Coppin
andrewcop...@btinternet.com wrote:
I'm still left wondering if using 32-bit instructions to manipulate 64-bit
values is actually that much slower. Back in the old days of non-pipelined,
uniscalar CPUs, it would certainly have been the case. Today's
It's worth mentioning 'foreign prim' is still a bit different from
inline code - while you can certainly write Cmm and have GHC link it
into your program, it is not really inline. GHC has two different
kinds of primitive operations: inline primops, and out of line
primops. foreign primops are
*sigh* CC'ing to the rest of haskell-cafe for completeness. I need to
change 'reply all' to a default in my email I guess.
On Mon, Jun 20, 2011 at 12:19 PM, austin seipp a...@hacks.yi.org wrote:
Hello,
Realistically, there probably is. Considering everything down to
linked lists are patented
No, there aren't. At least none that I know of. Don Stewart did work
years ago on a JVM backend for GHC for his Bachelors thesis. You may
be able to find it online (I don't know the name, sorry.) This was
never integrated mainline however.
These questions have been asked many many times, but the
VECTORISE is for Data Parallel Haskell. It's only relevant to GHC's
internal vectorisation pass - I don't actually think there is any use
case for it in user code at the moment, it's only used by the DPH
libraries/special prelude, etc.
On Thu, Aug 11, 2011 at 12:16 PM, Henning Thielemann
Hello Isaac,
On Fri, Aug 12, 2011 at 10:18 AM, Isaac Gouy igo...@yahoo.com wrote:
1) Some of the GHC programs contributed to the benchmarks game have problems
with recent GHC releases
- meteor-contest #5 - Ambiguous occurrence `permutations'
On Thu, Sep 29, 2011 at 3:14 PM, David Barbour dmbarb...@gmail.com wrote:
minor collections of this nursery do not result in whole system pauses.
Yes, they do. GHC has a parallel garbage collector (so collection
pauses the mutator threads, and collects garbage -in parallel- on
multiple CPUs)
It's GHC, and partly the OS scheduler in some sense. Oversaturating,
i.e. using an -N option your number of logical cores (including
hyperthreads) will slow down your program typically. This isn't
uncommon, and is well known - GHC's lightweight threads have an M:N
threading model, but for good
The 'could not create compact unwind' message is a known (and still
outstanding) linking issue on OS X. It should be harmless - it refers
to the fact that OS X 10.6 uses compact unwind info for exceptions
instead of DWARF unwind information, when possible. The exact cause
isn't (yet) known.
I encountered this problem approximately a month ago building HEAD and
reported it to Ian:
http://www.haskell.org/pipermail/cvs-ghc/2011-November/068562.html
His fix worked - but I was doing a build from source. The problem now
is that this is a -build-time- option, not a runtime option, but
Aside from being a horrible oversimplification of the matter (because
it's *never* that simple - Wikipedia is not in this movement for
commercial interest or the side of SV/HW, but because it opposes the
censoring of the internet; neither are people like Dan Kaminsky, who
are also opposing from
The strict-ghc-plugin (under my maintenance) is just a continuation of
one of the original demos Max had for plugin support in the compiler.
The idea is fairly simple: 'let' and 'case' are the forms for creating
lazy/strict bindings in Core. It just systematically replaces all
occurrences of 'let'
Personally I prefer just using 'virthualenv' these days, which
installs copies of GHC locally that you can then activate with your
shell, similar to 'virtualenv' in python. It's how I test packages on
multiple copies of GHC.
http://hackage.haskell.org/package/virthualenv
The nicest part is that
It's a precise GC of course (conservative collection would be madness
considering how much memory Haskell programs chew through.) That still
doesn't ensure your finalizer will run during the next GC even if all the
references are gone by then.
Sent from my iPhone^H^H^H^H^HPortable Turing machine
for,
texture objects or file descriptors are a different matter. Predictability
matters in those cases.
Sent from my iPhone^H^H^H^H^HPortable Turing machine
On Feb 6, 2012, at 10:16 PM, Austin Seipp mad@gmail.com wrote:
It's a precise GC of course (conservative collection would be madness
considering
If you're writing a library, you need to compile the library with
`-fhpc`, i.e. put it in the library stanza, not the testsuite stanza,
and then you can compile the test program using your library - the
resulting 'tix' file will contain the library coverage reports. You
can link a HPC-built
Duncan Coutts talked a bit about this on Reddit here:
http://www.reddit.com/r/programming/comments/pfnkx/intel_details_hardware_transactional_memory/c3p4oq7
On Thu, Feb 9, 2012 at 12:43 PM, Ben midfi...@gmail.com wrote:
On Sun, Feb 19, 2012 at 6:01 PM, Tom Murphy amin...@gmail.com wrote:
0) Distributing non-Cocoa-built apps, even if you're approved by Apple
Do you just mean binaries that you expect users run under
/usr/local/bin or something, not app bundles? If that's the case, I
cannot say if the same
On Sun, Feb 19, 2012 at 8:19 PM, Tom Murphy amin...@gmail.com wrote:
Actually, what I was more concerned about was the ability to
distribute a full Mac application, with a GUI, made with a method
other than calling Haskell from Objective-C.
It seems that *none* of these applications
On Sun, Feb 19, 2012 at 8:39 PM, Tom Murphy amin...@gmail.com wrote:
On the other hand,
it's impossible for a software company to maintain a sense of
professionalism, when a user has to know a weird secret handshake to
disable what they may perceive as equivalent to antivirus software.
I'll
Manuel,
Thanks for the references and follow up. I had seen Kennith's posts
about the new command line tools for XCode, but didn't seen John
Gruber's take! Much appreciated.
On Tue, Feb 21, 2012 at 2:52 AM, Manuel M T Chakravarty
c...@cse.unsw.edu.au wrote:
Austin Seipp:
On Sun, Feb 19, 2012
It's not exactly hierarchical, but Groom most certainly should help
with getting much prettier output:
http://hackage.haskell.org/package/groom
On Tue, Mar 13, 2012 at 5:33 PM, Johan Tibell johan.tib...@gmail.com wrote:
Hi all,
The derived Show instance is useful, but I sometimes wish for
In this case it doesn't matter; while it isn't technically tail
recursive, GCC is very capable of transforming it into a direct loop
likely because it knows about the associative/commutative properties
of + so it's able to re-arrange the body as it sees fit since
combined, both calls are in 'tail
The reasoning is outlined in the user manual here:
http://www.haskell.org/ghc/docs/7.4.1/html/users_guide/safe-haskell.html#safe-inference
Basically, these modules will compile without error if they were to be
compiled with -XSafe enabled. Thus, they are safe-inferred. The check
does not
Hi,
Just a word of note: a while back, I decided to take up maintainership
of Vacuum and some associated stuff. In the process of doing this, I
realized that the ClosureType code in vacuum may not accurately model
reality depending on the GHC version. In particular, the definition of
ClosureType
7.2 for ghc 7.2 aso.
Best regards,
Rico Moorman
On Mon, Jul 2, 2012 at 12:04 PM, Austin Seipp mad@gmail.com wrote:
Hi,
Just a word of note: a while back, I decided to take up maintainership
of Vacuum and some associated stuff. In the process of doing this, I
realized
On Mon, Jul 2, 2012 at 6:56 AM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
If you've taken over maintainership, should we remove it from
haskell-pkg-janitors?
I haven't removed it from haskell-pkg-janitors because I haven't made
a release and the current package points there as the
On Mon, Jul 2, 2012 at 7:33 AM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
I'm OK with BSD for this. And I understand that copy-pasting
boilerplate could mess things up ;-)
I think I'll change it then, thanks :)
There is a 2999.13.* series of graphviz out, I haven't actually
What you are essentially asking for is a refinement on the type of
'BadFoo' in the function type, such that the argument is provably
always of a particular constructor.
The easiest way to encode this kind of property safely with Haskell
2010 as John suggested is to use phantom types and use the
1 - 100 of 108 matches
Mail list logo