Hi Chris,
It is my habit to compile the Setup.hs or Setup.lhs to setup with ghc
--make
Setup.hs -o setup.
The ./setup configure ... is working.
The ./setup build causes a segmentation fault. This is for every
project I
try (including ones with very default Setup.hs contents). The
Chris Kuklewicz:
I have not seen any announcement that GHC 6.8.x is working on OS X
Leopard running on PPC. I would be pleased to be corrected.
I have Christian Maeder's distribution of 6.8.2 for Tiger (as found on
the the GHC download page) running on my PowerBook G4 with Leopard.
No
Hi,
I tried to build GHC stable on my two computers, a PowerBook G4 and
a MacBook, both running 10.5.2. This is the first time I've ever
tried, so I'm somewhat clueless about a lot of it. I went with the
basic instructions (./configure; make) with no 'mk/build.mk' and no
configure options other
Hi,
Manuel M T Chakravarty:
I can't help you with the PPC, but on the MacBook try building with
make EXTRA_AR_ARGS=-s
It's a known bug with Cabal.
Thanks, Manuel, it builds now.
Afterwards, I ran 'make' in 'testsuite/tests/ghc-regress' and got this:
OVERALL SUMMARY for test run started
Norman Ramsey wrote:
At the time of the wonderful GHC Hackathon in Portland, where the GHC
API was first introduced to the public, I urged Simon PJ to consider
taking ghc --make and generalising it to support other languages.
I still think this would be a good project.
As well as supporting
Hi,
I have a module A that re-exports module B, and module B contains only class
instances. Since I'm using -Wall, I get this warning about module B
exporting nothing. Is there a way to disable this particular warning, since
it is unnecessary in this case? No mailing list messages or GHC
I have a module A that re-exports module B, and module B contains only
class
instances. Since I'm using -Wall, I get this warning about module B
exporting nothing. Is there a way to disable this particular warning,
since
it is unnecessary in this case? No mailing list messages or GHC
I have a module A that re-exports module B, and module B contains only
class
instances. Since I'm using -Wall, I get this warning about module B
exporting nothing. Is there a way to disable this particular warning,
since
it is unnecessary in this case? No mailing list messages or GHC
Isaac Dupree wrote:
Sean Leather wrote:
I have a module A that re-exports module B, and module B contains only
class
instances. Since I'm using -Wall, I get this warning about module B
exporting nothing. Is there a way to disable this particular warning,
since
it is unnecessary
Ross Paterson wrote:
On Thu, Aug 14, 2008 at 08:00:25PM +0200, Sean Leather wrote:
Well, the warning is right that you don't need to re-export module B:
instances are implicitly exported. So you could just remove the
export of
module B, unless there's a reason to export
Ross Paterson wrote:
On Fri, Aug 15, 2008 at 02:21:33PM +0200, Sean Leather wrote:
In my case, it does matter where instances are in scope. My library
requires orphan instances by design. If the programmer imports the
top-level module, then s/he gets a default set of instances
Ross Paterson wrote:
On Fri, Aug 15, 2008 at 03:09:16PM +0200, Sean Leather wrote:
Ross Paterson wrote:
With implicit import, it just doesn't work to have different
instances in
different places. Suppose two modules use your library in the
different
ways you envisage
Ross Paterson wrote:
On Fri, Aug 15, 2008 at 04:17:44PM +0200, Sean Leather wrote:
module A where
class A t where
a :: t
module B where
import A
instance A Int where
a = 0
a0 :: Int
a0 = a
module C where
import A
instance A Int where
a = 1
a1 :: Int
a1
Hi Matthijs,
This is a shameless plug for EMGM, a library for generic programming that
we've been working on at Utrecht.
| However, there are two issues bothering me still. The first is that the
| Core types (in particular CoreExpr) are not instances of Show. They are
| instances of
I queried (:t) the type of something in GHCi, and it told me the value
should have the constraint (a - a ~ T a) among others. When I tried to use
this in code, I got a malformed class assertion. So, I put parentheses
around the function type, ((a - a) ~ T a), and everybody is happy again. Is
there
On Tue, Oct 20, 2009 at 16:37, Simon Peyton-Jones wrote:
Question: is the template-hask...@haskell.org mailing list still useful?
My gut reaction: probably not.
* It has 250 subscribers compared to 850 for ghc-users.
* It has low traffic
* template-haskell is the only GHC-specific
On Thu, Nov 19, 2009 at 16:58, Sean Leather wrote:
I tried to submit a comment on #2530 and got this error.
Well, it works now, 1.5 hours later.
Sean
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org
Perhaps I don't quite get how this works, but when I :set
-fbreak-on-exception in GHCi, I get an exception using readFile. It reads
the entire file and then throws what appears to be an EOF exception.
Prelude readFile blah.txt
blah\nblah\nblah\nStopped at exception thrown
_exception ::
e =
On Fri, Nov 20, 2009 at 18:31, Jose Iborra wrote:
This is by design, -fbreak-on-exception breaks on any exception, be it
captured or not, even on library code.
Ah, that's what I missed. I would've guessed that it only breaks on uncaught
exceptions.
I am not sure how readFile is implemented
heh, the well known problem, i've seen it in Delphi. it even has a large
list of exceptions to be ignored, but i think that better way will be
to set this on a per-package and per-module basis
Yes, that might be a better idea. In general though, it sounds as if
-fbreak-on-error will be useful
Suppose I have a class C,
class C a where
type E a
c :: E a - a - a
a datatype T,
data T a = T a
and an instance of C for T
instance C (T a) where
type E (T a) = a
c x (T _) = T x
I would like to write a function such as f
f t@(T x) = c x t
without a type signature.
[mailto:
glasgow-haskell-users-
| boun...@haskell.org] On Behalf Of Sean Leather
| Sent: 18 January 2010 16:59
| To: GHC Users List
| Subject: Can't infer type (type family + element type)
|
| Suppose I have a class C,
|
| class C a where
|type E a
|c :: E
So we are now looking into the possibility of adding your own error
messages to GHC as our project. We have about 8 weeks to implement,
either all or some proof of concept. As such we are looking for
comments, ideas and suggestions. Is this doable in GHC?, or what is
needed.
For related
I would like to have several versions of ghc installed simultaneously,
on the handful of Ubuntu systems I work on. In the past, I have had
just a single version of ghc installed on each system, usually the
most recent stable generic Linux binary installation.
I just recently announced
Why not just use symbolic links? I too have multiple installations of ghc
(at the moment, only two), and I choose between them using a symbolic link:
book % ls -l /usr/local | grep ghc
lrwxr-xr-x 1 root wheel10 Jan 12 00:05 ghc - ghc-6.12.1
drwxr-xr-x 7 dave wheel 238 Dec 25
If I use :browse a module with GHC 6.12, it sometimes displays
garbage. Here is an example:
Prelude :browse Data.IP
data AddrRange a
= iproute-0.2.0:Data.IP.Range.AddrRange {addr :: a,
mask :: a,
mlen ::
2011/2/9 Simon Peyton-Jones:
Friends
Just a heads-up. Pedro is working on implementing Generic Defaults, as
described in his Haskell Symposium 2010 paper
www.dreixel.net/research/pdf/gdmh_nocolor.pdf
It will replace (and improve on) the Derivable type classes stuff in GHC
at the moment,
On Tue, Mar 1, 2011 at 11:09, Christian Maeder wrote:
Why are you talking about a 7.2.1 release [...]?
What important achievement (apart from the tickets listed) should I expect
from a 7.2.1 release compared to 7.0.2 (or 7.0.3)?
On Mon, Jun 6, 2011 at 16:47, Malcolm Wallace wrote:
The ghc team already bundle a copy of gcc in their Windows distribution,
precisely because it can be fiddly to get a working copy of gcc for that
platform otherwise. I wonder if they would consider the possibility of
shipping gcc on Mac
On Fri, Jun 10, 2011 at 03:15, Manuel M T Chakravarty wrote:
Ian Lynagh:
On Mon, Jun 06, 2011 at 03:47:57PM +0100, Malcolm Wallace wrote:
On 6 Jun 2011, at 13:49, Lyndon Maydwell wrote:
I would be fantastic if XCode wasn't a dependency. ...
Not to detract at all from the work of the
I would like to ask GHCi for the type that a type expression will evaluate
to, once all definitions of type synonyms and (when possible) type families
have been inlined.
It appears that I can do some part of this for type T by using :t undefined
:: T:
type family F a
type instance F Int = Bool
On Wed, Sep 21, 2011 at 04:00, Brent Yorgey wrote:
On Tue, Sep 20, 2011 at 04:29:21PM -0700, J. Garrett Morris wrote:
On Tue, Sep 20, 2011 at 3:44 PM, Simon Peyton-Jones wrote:
What should the GHCi command be *called*?
:simplify or :simplifytype. In GHCi at the moment, you could
Hi Simon,
*TF :kind F Int
F Int :: *
*TF :kind! F Int
F Int :: *
= Bool
Does this also work with plain ol' type synonyms? I just noticed that the
:t undefined :: T trick doesn't seem to work with type synonyms.
Thanks,
Sean
After many years, I have once again attempted to build GHC from source. The
experience went much easier than in the past.
This time, my system is running the now-old 10.5 (Leopard) using Xcode
3.1.4. I'm probably the only one who wants to build on 10.5, but I still
appreciate the fact that GHC
It seems like :kind is broken in the HEAD ghci:
*Main :kind Maybe
Top level:
Expecting an ordinary type, but found a type of kind * - *
In a type expected by the context: Maybe
*Main
Simon, could this be related to your change for :kind! ?
Regards,
Sean
On Tue, Nov 8, 2011 at 15:31, Daniel Fischer wrote:
Often this is because they compiled their programme without optimisations,
simply recompiling with -O or -O2 yields a decently performing programme.
So I wonder, should ghc compile with -O1 by default?
What would be the downsides?
On Thu, Dec 22, 2011 at 16:19, Brandon Allbery wrote:
On Thu, Dec 22, 2011 at 05:44, Conor McBride wrote:
under Leopard, and got this far
bash-3.2$ sudo ./configure
Password:
checking for path to top of build tree... dyld: unknown required load
command 0x8022
configure: error:
On Thu, Dec 22, 2011 at 22:25, Conor McBride wrote:
On 22 Dec 2011, at 16:08, Sean Leather wrote:
I've built it from source (ghc-7.4.0.20111219-src.tar.**bz2) on Leopard.
I'd be happy to contribute my build if somebody tells me what to do.
I had a crack at this and got quite warm
We're currently looking into so-called expression holes in GHC -- like the
type goals of Agda -- and we've run into a problem of understanding.
We have defined an expression, call it __ for now, for which we want to
find the type after a program is type-checked. In tcExpr (TcExpr.lhs), we
can see
On Thu, Jun 7, 2012 at 4:59 PM, Ian Lynagh wrote:
On Tue, Jun 05, 2012 at 03:07:09PM +0200, Soenke Hahn wrote:
If not, does that mean,
ghc-7.4.1 does not support OS X 10.5?
As far as I know, if you build GHC 7.4.1 on OS X 10.5 then it will work,
but I haven't tried it so I may be wrong.
Hi wren,
On Tue, Jun 5, 2012 at 7:32 AM, wren ng thornton wrote:
I'm working on creating some distribution bundles of GHC 7.4.1 and HP
2012.2.0.0 for OSX 10.5 to help rectify the lack of support on older Macs.
In building GHC I've run into a linking error in stage1:
ld: duplicate symbol
Hi Simon,
Thanks for all your work in getting TypeHoles into HEAD. We really
appreciate it.
I was playing around with HEAD today and wanted to share a few observations.
(1) One of the ideas we had was that a hole `_' would be like `undefined'
but with information about the type and bindings.
(I'm again starting a new thread to focus on this issue. It's easier to
track that way.)
On Thu, Oct 4, 2012 at 11:40 AM, Simon Peyton-Jones wrote:
There is also the small matter, in this example, of distinguishing which
`_' is which. The description works, but you have to think about it. I
We discovered that GHC and GHCi (7.4.1) accept promoted types without
specifying language extensions (and even when specifying -XHaskell98).
For example, promoted lists are accepted:
Prelude type T = [Int,Char]
Prelude :i T
type T = (:) * Int ((:) * Char ([] *))
-- Defined at interactive:2:6
On Thu, Dec 6, 2012 at 1:29 PM, Simon Peyton-Jones wrote:
My own understanding is this:
A GHC *user* is someone who uses GHC, but doesn't care how it is
implemented.
A GHC *developer* is someone who wants to work on GHC itself in some way.
The current mailing lists:
*
On Thu, Dec 6, 2012 at 5:55 PM, Ian Lynagh wrote:
On Thu, Dec 06, 2012 at 06:25:49PM +0200, Roman Cheplyaka wrote:
+1. I'd like to follow GHC development discussions, but getting all the
commits is too much.
I'm surprised by this, FWIW. I think skimming the commits is a good way
to get
On Sun, Dec 9, 2012 at 10:39 PM, Ian Lynagh wrote:
Please test as much as possible; bugs are much cheaper if we find them
before the release!
I tried to build the source tarball on Mac OS X 10.5.8. I used GHC 7.6.1,
which I also built myself (without any problem) and installed in
On Fri, Dec 14, 2012 at 10:47 PM, Ian Lynagh wrote:
On Fri, Dec 14, 2012 at 04:34:29PM -0500, Carter Schonwald wrote:
A related question I have is that I've some code that will map the
singleton Nats to Ints, and last time I looked into this/ had a chat on
the
ghc-users list, it sounded
48 matches
Mail list logo