Hi,
I was told on #haskell that I should bring this up here, to ask whether
this is a bug in ghc6 or otherwise explain this to me.
I’m trying to write the function addd which takes an arbitrary number
of Integer arguments and returns the sum. This code works:
-- Try 1
class More a where
Hi,
Am Dienstag, den 01.04.2008, 17:53 +0100 schrieb Claus Reinke:
'Integer - a' is more concrete, less general than 'i - a',
so it matches fewer types.
'1 :: Num a = a' is more general than 'Integer'.
|No instance for (More (t - Integer))
| arising from a use of `addd' at
Dear ghc developers,
I am currently rebuilding ghc-7.0.2 to upload some packaging changes.
Unfortunately, this had the effect of changing the package id of base,
which would require rebuilding every Haskell library.
In the times of ghc-6.12, rebuilding the compiler left the hashes
intact. Is
Hi,
Am Dienstag, den 05.04.2011, 18:51 +0200 schrieb Matthias Kilian:
On Tue, Apr 05, 2011 at 09:59:23PM +0530, Joachim Breitner wrote:
Also, the initial upload was built using ghc-6.12.1, while the upload
now is build with ghc-7.0.2. Given that it is a two-stage compiler, I
assume
Hi,
Am Freitag, den 08.04.2011, 22:00 +0200 schrieb Matthias Kilian:
On Wed, Apr 06, 2011 at 08:44:33PM +0200, Matthias Kilian wrote:
I still have to find my noticeses about wether cBooterVersion affects
more than only the ghc lib.
Did a quick test the other day; bootstrapping ghc-7.0.3
Hi,
Am Freitag, den 08.04.2011, 22:00 +0200 schrieb Matthias Kilian:
On Wed, Apr 06, 2011 at 08:44:33PM +0200, Matthias Kilian wrote:
I still have to find my noticeses about wether cBooterVersion affects
more than only the ghc lib.
Did a quick test the other day; bootstrapping ghc-7.0.3
Hi again,
Am Samstag, den 09.04.2011, 10:46 +0530 schrieb Joachim Breitner:
Am Freitag, den 08.04.2011, 22:00 +0200 schrieb Matthias Kilian:
On Wed, Apr 06, 2011 at 08:44:33PM +0200, Matthias Kilian wrote:
I still have to find my noticeses about wether cBooterVersion affects
more than
Hi,
Am Samstag, den 09.04.2011, 20:18 +0100 schrieb Simon Marlow:
That's right, the ABI hashes are not guaranteed to be stable, and in
practice do change unpredictably. While this doesn't affect
correctness, I realise it's a problem for you, and it's something we'd
like to fix. The case
Dear Joey,
strange observation... for more eyes looking at it, I’m replying with
full-quote to the GHC mailing list as well. (That list is
subscriber-only, AFAIK, in case you want to follow up there).
Am Mittwoch, den 01.06.2011, 19:09 -0400 schrieb Joey Hess:
I've noticed this problem with ld
Hi,
in Debian, we use the ghc-pkg ABI hashes to find out what packages we
need to rebuild when. So far, the system has worked great. But now
something unfortunate happened: Yesterday, I upgraded ghc from 7.0.3 to
7.0.4. The ABI hash of base and other libraries changed only on amd64
and
Dear Simon,
Am Mittwoch, den 13.07.2011, 09:11 +0100 schrieb Simon Marlow:
On 11/07/2011 21:56, Joachim Breitner wrote:
in Debian, we use the ghc-pkg ABI hashes to find out what packages we
need to rebuild when. So far, the system has worked great. But now
something unfortunate happened
Hi,
Am Mittwoch, den 13.07.2011, 14:09 +0200 schrieb Joachim Breitner:
Even if you do not plan to support modules across minor versions of ghc,
I’d like to get that into the hash. This would save us the trouble of
tracking which package was built with what version of ghc and the same
rebuild
Hi,
Am Freitag, den 29.07.2011, 19:21 +0100 schrieb Ian Lynagh:
Please test as much as possible; bugs are much cheaper if we find them
before the release!
not a bug, but still: Could we get this fix into the package:
http://trac.haskell.org/haddock/ticket/176 and maybe also this flag
Hi,
Am Freitag, den 05.08.2011, 09:46 +0100 schrieb Simon Marlow:
I don't like having to do this, but it reduces our testing surface (we
don't want to have to test against N different versions of libffi). I'm
quite happy for distros to build against their system libffi though, and
we
Dear GHC team,
I have uploaded 7.2.1-rc1 to Debian experimental. It build fine on i386,
amd64 and powerpc, but fails on the other architectures:
https://buildd.debian.org/status/package.php?p=ghcsuite=experimental
(„last log“ gives you the full build log)
The causes seem to be different. On
Hi,
kudos for the new release!
Am Dienstag, den 09.08.2011, 21:01 +0100 schrieb Ian Lynagh:
The 7.2 branch is intended to be more of a technology preview than
normal GHC stable branches;
I take it that means that distributions should not upload 7.2.1 to
stable releases, and stick to 7.0.4 in
Hi,
Am Mittwoch, den 24.08.2011, 12:44 +0200 schrieb Matthias Klose:
The question that has to be answered first is: Assume the libraries do
not depend on libffi themselves, and only ghc does. Now you update
libffi and ghc gets rebuilds, what will happen:
A) The haskell ABIs stay the
Hi Simon,
Am Donnerstag, den 25.08.2011, 10:58 +0100 schrieb Simon Marlow:
On 24/08/2011 13:12, Joachim Breitner wrote:
Am Mittwoch, den 24.08.2011, 12:44 +0200 schrieb Matthias Klose:
The question that has to be answered first is: Assume the libraries do
not depend on libffi themselves
Hi,
Am Dienstag, den 09.08.2011, 21:01 +0100 schrieb Ian Lynagh:
=
The (Interactive) Glasgow Haskell Compiler -- version 7.2.1
=
while better than rc1, there are
Hi,
Am Freitag, den 02.09.2011, 09:07 +0100 schrieb Simon Marlow:
On 01/09/2011 18:02, Evan Laforge wrote:
It's an interesting idea that I hadn't thought of. There would have to be
an atomic file system operation to commit a compiled module - getting
that
right could be a bit tricky
Hi,
Am Donnerstag, den 29.09.2011, 11:39 +0100 schrieb Simon Marlow:
I’m not sure if I got your conclusion: Do you expect problems if the RTS
and libraries were built against different versions of libffi, or not?
To answer your question: yes I would expect problems.
Thanks for your
Hi,
Am Dienstag, den 04.10.2011, 09:39 +0300 schrieb Roman Cheplyaka:
Suppose I want a foldl which is evaluated many times on the same
list but with different folding functions.
I used this pattern successfully in SAT-Britney, where I generate a huge
list quite quickly, and I don’t want this
Hi,
Am Dienstag, den 11.10.2011, 11:02 -0700 schrieb Iavor Diatchki:
The context is that I need to make a demo VM, which has a limited
amount of space, and I'd like to have GHC installed on the system but
the default GHC installation (~700MB) does not fit. The installation
does not need to
Hi Frodo,
If you happen to have a memory consumption graph somewhere on the screen
you can see that while testr does not need considerable amounts of
memory, testr' does. This can also be seen by ghci’s output.
The reason is that with testr we are building something like
True [thunk]
which then
Dear GHC team,
Ubuntu applies the following patch to the ghc package¹:
diff -pruN 7.0.4-8/aclocal.m4 7.0.4-8ubuntu1/aclocal.m4
--- 7.0.4-8/aclocal.m4 2011-10-31 16:22:09.0 +
+++ 7.0.4-8ubuntu1/aclocal.m4 2011-10-31 16:22:20.0 +
@@ -109,6 +109,10 @@
Hi Simon,
Am Mittwoch, den 23.11.2011, 10:12 + schrieb Simon Marlow:
It seems that this fix did not make it into the 7.2.2 release. Was that
intentional? What must happen for it to be included in the next release?
Same for the change here:
Hi,
Am Montag, den 12.12.2011, 15:37 -0500 schrieb wren ng thornton:
I've noticed that take and filter are good producers (and consumers) for
list fusion, but takeWhile, drop, and dropWhile are not. Is there any
reason for this discrepancy?
If not, would I need to go through the
Dear Wren,
Am Donnerstag, den 15.12.2011, 17:38 + schrieb Simon Peyton-Jones:
| Am Montag, den 12.12.2011, 15:37 -0500 schrieb wren ng thornton:
| I've noticed that take and filter are good producers (and consumers)
| for list fusion, but takeWhile, drop, and dropWhile are not. Is there
Hi,
Am Mittwoch, den 21.12.2011, 18:29 + schrieb Ian Lynagh:
Please test as much as possible; bugs are much cheaper if we find them
before the release!
the build system seems to be quite confused on arch/os-combinations
besides {i386,amd64}/linux. All these worked fine with 7.2.2:
Dear GHC team,
for your convenience, I have filed individual bugs about the build
errors:
Am Freitag, den 23.12.2011, 14:54 +0100 schrieb Joachim Breitner:
the build system seems to be quite confused on arch/os-combinations
besides {i386,amd64}/linux. All these worked fine with 7.2.2:
https
Dear GHC team,
I tried to fix these problems myself, and three of the bugs had more or
less trivial solutions (that hopefully are right):
http://hackage.haskell.org/trac/ghc/ticket/5733
http://hackage.haskell.org/trac/ghc/ticket/5735
http://hackage.haskell.org/trac/ghc/ticket/5734
However, this
Dear Michal,
Am Mittwoch, den 04.01.2012, 16:33 + schrieb Michal Konečný:
On Wednesday 04 January 2012 12:31:23 Joachim Breitner wrote:
I guess this means me... Indeed Debian has the policy to avoid modified
bundled libraries, if somehow possible. For example, we patch the build
system
Hi,
Am Mittwoch, den 04.01.2012, 20:50 +0100 schrieb Axel Simon:
On 04.01.2012, at 17:50, Joachim Breitner wrote:
BTW, Is there a way to get the linker to create two independent copies
of a library in one program space? Maybe if it is compiled as PIC
(random name dropping here)? That would
Hi,
Am Mittwoch, den 04.01.2012, 22:00 +0100 schrieb Joachim Breitner:
And would dlopen make a difference? RTLD_LOCAL sounds interesting...
it seems that some OSs provide a RTLD_PRIVATE which does exactly what we
need: http://uw714doc.sco.com/en/man/html.3C/dlopen.3C.html
But unfortunately
Hi,
Am Donnerstag, den 05.01.2012, 14:14 -0500 schrieb Brandon Allbery:
On Thu, Jan 5, 2012 at 13:53, Joachim Breitner nome...@debian.org
wrote:
(But I am really wondering why the linker cannot do something
that has
the same effect as objcopy --prefix-symbols
Hi,
Am Donnerstag, den 05.01.2012, 16:21 -0500 schrieb Brandon Allbery:
In any case, I am starting to approach the point of so will Debian
allow ghc to remain compatible with non-Linux?, since so far I'm
getting the distinct impression that solutions that work on Linux are
all that matter.
Dear GHC-Team,
to improve the quality of Haskell on Debian started to package the GHC
testsuite in a package of its own, and will upload it to Debian so that
it runs on all architectures and catches possible architecture-dependent
bugs there.
Using the released testsuite for 7.0.4 with that
Dear GHC team (esp. Simon and Ian),
thanks for fixing the exotic-architecture-build-errors in time for
7.4.1, everything compiles smoothly now:
https://buildd.debian.org/status/package.php?p=ghcsuite=experimental
(Well, arm* and mips* are not done yet, as they need more than one day,
but the
Hello,
while I agree that operators are usually more useful als type
constructors than as type variables, I’m wondering if it is future-proof
to completely get rid of a possibility for infix type variables. With
the type class system getting stronger and stronger, would this not mean
that there
Hi,
Am Donnerstag, den 19.01.2012, 07:11 -0500 schrieb Matthew Farkas-Dyck:
On 19/01/2012, Joachim Breitner m...@joachim-breitner.de wrote:
(I have no good idea, but here is at least one: A dot '.' as the first
character indicates a type variable; compared to a ':' this is a
non
Dear Laurent,
I’m one of the Debian maintainers of the main Haskell compiler GHC. GHC
itself has little resources to maintain GHC on exotic architectures, but
Debian tries hard to provide a Haskell ecosystem on these. It would help
a lot if there were GHC buildbots on these architectures, and I
Dear interested parties :-),
GHC 7.4.1 started to ship and expose the binary library, version
0.5.0.3. On hackage is binary-0.5.1.0. In Debian, we try to provide one
version of each library, so we have to decide:
* Use the version provided by GHC and drop the independent binary
package (as we
Hi,
Am Mittwoch, den 08.02.2012, 11:24 +0100 schrieb Joachim Breitner:
Dear interested parties :-),
GHC 7.4.1 started to ship and expose the binary library, version
0.5.0.3. On hackage is binary-0.5.1.0. In Debian, we try to provide one
version of each library, so we have to decide
Hi Laurent,
Am Mittwoch, den 08.02.2012, 17:55 +0100 schrieb Laurent GUERBY:
On Tue, 2012-02-07 at 22:34 +0100, Joachim Breitner wrote:
Dear Laurent,
I’m one of the Debian maintainers of the main Haskell compiler GHC. GHC
itself has little resources to maintain GHC on exotic
Hi,
Am Donnerstag, den 08.03.2012, 23:12 -0500 schrieb Edward Kmett:
But I can only pass unboxed types to foreign prim.
Is this an intrinsic limitation or just an artifact of the use cases
that have presented themselves to date?
funny, I just stumbled over this two days ago as well. In my
Hi Jens,
Am Sonntag, den 22.04.2012, 17:19 +0900 schrieb Jens Petersen:
Anyway thoughts on how to proceed?
the error message looks as if you are actually building on what Debian
calls armhf, with hard floating point support. According to the Debian
changelog:
ghc (7.4.1-2) unstable;
Hi,
Am Dienstag, den 24.04.2012, 19:50 +0900 schrieb Jens Petersen:
- debian/patches/armhf_llvm_abi: Pass -float-abi=hard to llc on armhf if
__ARM_PCS_VFP is defined (needs to be preprocessed for this)
- debian/rules: Define __ARM_PCS_VFP on armhf for the above patch.
you
Hi,
Am Mittwoch, den 25.04.2012, 11:15 +0300 schrieb Yitzchak Gale:
The only reason I don't like using OverloadedStrings
for typing string literals as Text and ByteString
is that when you turn on OverloadedStrings, you turn
it on for all types, not just Text and ByteString.
I don't want to
Hi,
Am Mittwoch, den 25.04.2012, 21:57 +0100 schrieb Joachim Breitner:
Am Mittwoch, den 25.04.2012, 11:15 +0300 schrieb Yitzchak Gale:
The only reason I don't like using OverloadedStrings
for typing string literals as Text and ByteString
is that when you turn on OverloadedStrings, you turn
Hi,
Am Freitag, den 25.05.2012, 14:26 -0400 schrieb Mark Conway Wirt:
(I'm starting to think that this issue may not be related to
Haskell, as the problem arises so inconsistently -- sometimes the
code runs, sometimes it bombs out early. I haven't rebooted the
computer in a month or so, maybe
Hi,
as I’m involved with the Debian packaging I can probably answer a few of
your questions.
Am Samstag, den 02.06.2012, 00:01 +1000 schrieb Tim Cuthbertson:
For an example, lets use ansi-terminal [1] (and assume we're building
it on a unix host)
ansi-terminal depends on `base` and `unix`
Hi,
Am Freitag, den 08.06.2012, 08:55 +0100 schrieb Chris Dornan:
I would like to get rid of them soon on my distro (and no doubt the Debian
people would like their packages to be warning free too).
actually in Debian it is quite common to install the -dev package, but
not the -doc packages.
not about to appear anywhere else, but I have not given up
hope yet :-)
--
Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter
http://pp.info.uni-karlsruhe.de/~breitner
signature.asc
Description: This is a digitally signed message part
to annotate thunks as non-updateable, and how to carry that
information to the stg phase.
Greetings,
Joachim
--
Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter
http://pp.info.uni-karlsruhe.de/~breitner
signature.asc
Description: This is a digitally signed message part
Hi,
I am preparing a talk about the details of how data and programs look in
memory in Haskell (well, GHC). When explaining the memory consumption of
a large String, I wanted to show the effect of short-int-replacement
that happens in
http://hackage.haskell.org/trac/ghc/browser/rts/sm/Evac.c#L550
Hi,
Am Freitag, den 31.08.2012, 13:14 +0100 schrieb Simon Marlow:
Note that the GC does evacuate the closures, as the pointers change. Why
are these not replaced by the static ones here?
Probably because GHCi has a dynamically loaded copy of the base package,
so the pointer comparisons
Hi,
Am Montag, den 08.10.2012, 12:08 +0100 schrieb Simon Marlow:
On 01/10/2012 13:00, Ganesh Sittampalam wrote:
On 01/10/2012 12:05, Simon Marlow wrote:
This probably means that you have packages installed in your ~/.cabal
from a 32-bit GHC and you're using a 64-bit one, or vice-versa.
Hi,
Am Dienstag, den 27.11.2012, 14:52 + schrieb Ian Lynagh:
The various issues are described in a wiki page here:
http://hackage.haskell.org/trac/ghc/wiki/DynamicByDefault
If you have a few minutes to read it then we'd be glad to hear your
feedback, to help us in making our
Am Mittwoch, den 28.11.2012, 16:14 +0900 schrieb Jens Petersen:
On 28 November 2012 08:28, Joachim Breitner nome...@debian.org wrote:
Open question: What should GHC on Debian do when building binaries,
given that all libraries are likely available in both ways – shared or
static. Shared
Hi,
Am Dienstag, den 27.11.2012, 21:57 -0500 schrieb Tyson Whitehead:
I was so excited for a bit thinking that this would finally mean that
Debian would move to a dynamic system. Every haskell binary being 10s
of MBs (e.g., pandoc = 25MB executable) makes it look kind of bad.
its not like
Hi,
Am Mittwoch, den 28.11.2012, 11:35 -0500 schrieb Tyson Whitehead:
I was left with the impression that we were going to have this back in
2010 just as soon as squeeze got out the door... :)
It seems that noone cared enough about that, but any help is welcome.
Two things to do:
Hi,
Am Freitag, den 30.11.2012, 12:28 + schrieb Simon Marlow:
Static by default, GHCi is dynamic:
* fast code and compiler
* GHCi bugs are fixed, no maintenance problems
* binaries not broken by library updates
* we have to build packages twice in Cabal (but can improve GHC to
Dear Michał,
Am Sonntag, den 02.12.2012, 22:44 +0100 schrieb Michał J. Gajda:
On 12/02/2012 09:20 PM, Joachim Breitner wrote:
I noticed that Ubuntu, as well as Debian and original packages come
without some variants of threaded debugging binaries.
A recent change added of printing a stack
Hi,
I built GHC 7.6.2-rc1 for Debian. Unfortunately, we have this:
Control files of package ghc-haddock: lines which differ (wdiff format)
---
Depends: ghc (= [-7.6.1-3),-] {+7.6.1.20121207-1),+} libc6 (= 2.11), libffi5
(=
Dear Ian,
Am Mittwoch, den 12.12.2012, 00:52 + schrieb Ian Lynagh:
Won't you have to rebuild everything anyway, due to the GHC version
number in the .hi files changing?
good point; let me add a bit of information about the Debian
infrastructure: There are two ways of rebuilding stuff.
Hi Simon,
Am Mittwoch, den 12.12.2012, 12:15 +0100 schrieb Simon Hengel:
On Wed, Dec 12, 2012 at 12:20:35AM +0100, Joachim Breitner wrote:
there really a change to the on-disk format of the .haddock files?
Yes, the on-disk format changed, hence the interface version was bumped
from 21
Hi,
Am Mittwoch, den 09.01.2013, 21:01 -0500 schrieb Stephen Paul Weber:
Somebody claiming to be jug...@lavabit.com wrote:
I would like to port GHC to mips64el. I have never tried
cross-building before. So I will probably post more questions later.
Awesome. I have a MIPS-based netbook
Hi,
Am Montag, den 14.01.2013, 18:09 + schrieb Simon Peyton-Jones:
I’d appreciate
·A sense of whether you care. Does this matter?
·Improvements to the design I propose
I do care (but that is no news, given my pestering on #2110 :-)) and
obviously I am happy that things
Hi,
I am experimenting with rewrite rules, but found that they do not fire
as often as I wanted them. Here is a small example:
module MapId where
myMap f [] = []
myMap f (x:xs) = f x : myMap f xs
{-# RULES map id myMap id = id #-}
{-#
Hi,
Am Dienstag, den 22.01.2013, 21:39 -0800 schrieb David Terei:
ghc/hschooks.c:36:0:
error: conflicting types for ‘StackOverflowHook’
oh, is GHC about to have a feature where, upon a compiler error, it will
ask the user „would you like me to ask on stack overflow about this for
Hi,
one remedy to the problem could be better infrastructure:
* More automated test-building of packages on hackage (including
test suites) with various GHC releases, and better display of
the results. This way, library authors would not have to
manually build their
Hi,
Am Montag, den 11.02.2013, 22:31 + schrieb Simon Peyton-Jones:
No, they track things we call “releases”. Very well, maybe we should
call them “previews” instead, and only dignify it as a “release” when,
and only when a preview is picked by HP as worthy of incorporation in
the next
Hi,
Am Mittwoch, den 13.02.2013, 11:34 +0200 schrieb Roman Cheplyaka:
It would be great to have a portable base, without any GHC-specific
stuff in it. After all, modules like Control.Monad or Data.Foldable
are pure Haskell2010.
while you are considering to split base, please also consider
Hi,
Am Mittwoch, den 13.02.2013, 13:58 + schrieb Ian Lynagh:
If we go this route, then we would probably want to end up without a
package called 'base', and then to make a new package called 'base'
that just re-exports modules from all the new packages.
can you transparently re-export a
Hi,
I have started a wikipage with the list of all modules from base, for a
first round of shuffling, grouping and brainstorming:
http://hackage.haskell.org/trac/ghc/wiki/SplitBase
Am Mittwoch, den 13.02.2013, 18:09 + schrieb Ian Lynagh:
On Wed, Feb 13, 2013 at 06:28:22PM +0100, Joachim
Hi,
Am Donnerstag, den 14.02.2013, 02:21 + schrieb Ian Lynagh:
On Wed, Feb 13, 2013 at 07:32:06PM +0100, Joachim Breitner wrote:
I have started a wikipage with the list of all modules from base,
for a
first round of shuffling, grouping and brainstorming:
http
Hi,
I made a little progress after crippling GHC.Fingerprint:
The package at
https://github.com/nomeata/packages-base/tree/base-pure
(Branch base-pure) builds and contains just these modules:
./Control/Applicative.hs
./Control/Arrow.hs
./Control/Category.hs
./Control/Monad/Fix.hs
Hi,
Am Donnerstag, den 14.02.2013, 13:19 -0800 schrieb Johan Tibell:
That's great. I'm curious I was under the impression that it was hard
to split out a pure subset as functions might call 'error' (e.g. due
to incomplete pattern matches) and that would pull in the whole I/O
subsystem. How
Hi,
Am Donnerstag, den 14.02.2013, 21:41 -0500 schrieb brandon s allbery
kf8nh:
On Thursday, February 14, 2013 at 8:14 PM, Johan Tibell wrote:
On Thu, Feb 14, 2013 at 2:53 PM, Joachim Breitner
m...@joachim-breitner.de wrote:
I don't think having FFI far down the stack is a problem
Hi,
more progress: On top of base-pure, I created base-io involving GHC/IO
and everything required to build it (which pulled in ST, some of Foreign
and unfortunately some stuff related to Handles and Devices, because it
is mentioned in IOException). This is the list of modules:
Hi,
Am Freitag, den 15.02.2013, 14:50 + schrieb Simon Marlow:
On 15/02/13 12:22, Joachim Breitner wrote:
Hi,
more progress: On top of base-pure, I created base-io involving GHC/IO
and everything required to build it (which pulled in ST, some of Foreign
and unfortunately some stuff
Hi,
Am Freitag, den 15.02.2013, 23:00 +0100 schrieb Joachim Breitner:
Am Freitag, den 15.02.2013, 14:50 + schrieb Simon Marlow:
On 15/02/13 12:22, Joachim Breitner wrote:
more progress: On top of base-pure, I created base-io involving GHC/IO
and everything required to build it (which
Hi,
Am Mittwoch, den 20.02.2013, 14:57 +0100 schrieb Joachim Breitner:
I’m still stuck at the problem of separating the definition of IO and
Monad IO from all file related stuff, which is prevented by the Maybe
Handle field in the IOError data type.
re-reading „An Extensible Dynamically-Typed
Hi,
Am Donnerstag, den 21.02.2013, 09:42 + schrieb Simon Marlow:
The trick is indeed neat, but only if it is possible to make IOFail
completely invisible. If it isn't possible to make it completely
invisible, then I would prefer IOFail to be a first-class exception type
without the
Hi,
another status report about my base-splitting experiment:
The list of packages has grown to
* base-pure: Basic stuff without `IO`, `Foreign` or floating point
arithmetic.
* base-st: The `ST` monad, uses base-pure.
* base-array: Arrays, uses base-st.
* base-float: Floating point
Hi,
Am Freitag, den 22.02.2013, 11:38 -0800 schrieb Johan Tibell:
In addition, I don't think we want to say that e.g. pure data
structures can't depend on the FFI. While their current implementation
might not use the FFI, what if we want to use it in the future. We'd
have to reshuffle the
Hi,
Am Samstag, den 23.02.2013, 10:27 + schrieb Simon Peyton-Jones:
I’d like to be very clear about goals, though. I have not been
following this thread closely enough, but is there a Wiki page that
explains what the goals of the base-package break-up is?
I added a Goals section to
Hi,
Am Montag, den 25.02.2013, 11:25 -0800 schrieb Johan Tibell:
1. I'd like to have text Handles use the Text type and binary Handles
use the ByteString type. Right now we have this somewhat awkward setup
where the I/O APIs are spread out and bundled with pure types.
Splitting base would
Hi,
Am Dienstag, den 26.02.2013, 10:08 + schrieb Simon Peyton-Jones:
I think it would be vv helpful to have all these goals articulated on
the wiki page.
http://hackage.haskell.org/trac/ghc/wiki/SplitBase
well, all the goals are there (or are they not sufficiently well
Hi,
Am Montag, den 11.03.2013, 23:45 + schrieb Simon Peyton-Jones:
| I don’t feel in the position to actually make a call here, or even to cast
a vote with
| confidence, but I’m happy to continue summarizing the discussion until a
| consensus is found. If there is more discussion,
Hi,
Am Dienstag, den 12.03.2013, 14:35 + schrieb Ian Lynagh:
I think we should avoid getting bogged down in one small detail at this
stage. If we make the bulk of the changes now then we still have a few
months to polish the result before it gets effectively frozen by being
released.
I’m
Hi,
Am Mittwoch, den 13.03.2013, 14:04 + schrieb Simon Peyton-Jones:
Your follow-on remarks (appended below) about which implicit Prelude
you get if you (say) import only `base-pure` are well-taken, but they
apply equally to (B). Worth adding a section to the Wiki page to
discuss this?
Hi,
Am Samstag, den 20.04.2013, 13:03 -0700 schrieb Edward Z. Yang:
I don't seem to get the leak on latest GHC head. Running the program
in GC debug mode in 7.6.2 is quite telling; the program is allocating
*a lot* of megablocks. We probably fixed it though?
it’s confirmed that it is fixed
Hi,
Am Sonntag, den 21.04.2013, 14:23 +0100 schrieb Ian Lynagh:
=
The (Interactive) Glasgow Haskell Compiler -- version 7.6.3
=
The GHC Team is pleased to
Hi,
this is related to
http://hackage.haskell.org/trac/ghc/wiki/NewtypeWrappers#Proposal3.
I tried to hack up a little prototype of this, and this “works” now:
import GHC.NT
newtype Age = Age Int deriving Show
ageNT :: NT Age Int
ageNT = createNT
as the Proxy data constructor is
in scope.
Greetings,
Joachim
--
Joachim Breitner
e-Mail: m...@joachim-breitner.de
Homepage: http://www.joachim-breitner.de
ICQ#: 74513189
Jabber-ID: nome...@joachim-breitner.de
signature.asc
Description: This is a digitally signed message part
Hi,
Am Dienstag, den 02.07.2013, 16:28 + schrieb Simon Peyton-Jones:
| I also noticed a problem with my logic for creating the NT-lifting
| function. Suppose
| data C a = MkC (Foo a)
| Just having the constructors of C in scope is not sufficient
| to safely provide
| NT a b -
Hi,
Am Dienstag, den 02.07.2013, 12:56 -0500 schrieb Nicolas Frisby:
For my light experimentation, I have recovered these two values from
the ModGuts that all plugins receive. Hopefully someone will shout out
if there's pitfalls to avoid.
* The mg_rdr_env field is of type GlobalRdrEnv.
Hi again,
Am Mittwoch, den 03.07.2013, 10:01 +0200 schrieb Joachim Breitner:
Am Dienstag, den 02.07.2013, 16:28 + schrieb Simon Peyton-Jones:
| I also noticed a problem with my logic for creating the NT-lifting
| function. Suppose
| data C a = MkC (Foo a)
| Just having
Hi,
small update: I generalized the code at
https://github.com/nomeata/nt-coerce/blob/9349dd3/GHC/NT/Plugin.hs
a bit, it is now able to handle to create NT-values for unwarpping
arbitrary newtypes and for lifting across type constructors. It does so
unconditionally, i.e. does _not_ yet check
1 - 100 of 168 matches
Mail list logo