I seem to recall some time ago the Simons asked on one of these lists
about uses people might have for GHC-as-library. It sounded really neat
to me, and I just kind of wonder if there is any motion on that front.
I'm thinking about hacking up a system to extract proof obligations into
Coq (http:/
On May 9, 2005, at 4:55 PM, Bennett Todd wrote:
2005-05-09T16:09:16 Daniel Carrera:
I think it should be if you want Haskell to grow in acceptance.
The first barrier that new potential users hit is the one that
causes most people to give up and move on to a different project.
That first barrier sho
On Mon, 2005-05-09 at 21:26 -0400, Mark Brooks wrote:
> I say this because I have been evaluating
> Haskell for use in my senior project. I need a stable and usable graphics
> toolkit for the project. While graphics toolkits for Haskell do exist, they
> are oftentimes either translations of ot
I think it should be if you want Haskell to grow in acceptance. The first
barrier that new potential users hit is the one that causes most people to
give up and move on to a different project. That first barrier should be
made as low as possible.
Without commenting on any of the other points rai
2005-05-09T16:09:16 Daniel Carrera:
> I think it should be if you want Haskell to grow in acceptance.
> The first barrier that new potential users hit is the one that
> causes most people to give up and move on to a different project.
> That first barrier should be made as low as possible.
This is
On 5/9/05, Daniel Carrera <[EMAIL PROTECTED]> wrote:
> I've been trying to learn Haskell.
Great... We are on the same boat :)
> I tried to compile GHC but it said taht it needed GHC to compile.
Yes, looks like GHC is a little picky to build, to say the least (i'm
working on OS X and i'm lucky,
On Mon, 2005-05-09 at 12:32 -0400, Daniel Carrera wrote:
> Duncan Coutts wrote:
>
> > This route is going to be your best bet. Find any binary version of ghc
> > that works on your Solaris and then from there you've broken the
> > GHC<->GHC dep cycle.
>
> Okay. Is there a version that's more like
> >> On 10 April 2005 14:20, I wrote:
> >>> Is someone aware of any efforts to port the GHC to GNU/Hurd?
> >>> If not, I'd like to give that a try.
I succeeded. :-)
I did the bootstrap using a ghc-6-4-branch checkout, dated
20050422T204743Z.
On Thu, Apr 21, 2005 at 10:44:18AM +0100, Simon Marlow
Duncan Coutts wrote:
This route is going to be your best bet. Find any binary version of ghc
that works on your Solaris and then from there you've broken the
GHC<->GHC dep cycle.
Okay. Is there a version that's more likely to work than others? Or
should I try them sequentially from most recent, th
On Mon, 2005-05-09 at 09:54 -0400, Daniel Carrera wrote:
> Hello,
>
> I've been trying to learn Haskell.
>
> Some software isn't user friendly. But I think that a compiler requiring
> itself to compile is actively user hostile. I've spent over a week
> trying to get GHC to work on my Solaris wo
Simon Marlow wrote:
It is possible to compile GHC without having GHC installed, there are
detailed instructions in the Building Guide. Indeed you found the
instructions, but gave up because the instructions talked about
"porting". So is that all you're complaining about?
No, you misunderstood. I
On 09 May 2005 16:03, Daniel Carrera wrote:
> robert dockins wrote:
>
>> Perhaps. Nonetheless it is common practice for compilers to be
>> written in the target language and to be compiled via bootstrapping.
>> Ever take a look at the GCC sources? You guessed it: C.
>
> Please don't confuse th
Daniel Carrera writes:
> It's not often that it takes me more than a week to
> compile a program.
You should have posted a short message to the list, asking
whether anyone happened to have a tar.gz archive with
Solaris binaries lying around that he can send you. I'm
willing to bet that would ha
On 10/05/2005, at 1:03 AM, Daniel Carrera wrote:
You can compile gcc with Sun's CC. You should be able to compile
ghc with nh98.
Unfortunately, GHC isn't written in standard Haskell 98: GHC's
written in Haskell 98 with GHC extensions, sometimes referred to as
"Glasgow Haskell". You can proba
Hi all,
I am having a question about the "The signature contexts in a mutually
recursive group should all be identical"-message. From what I understand
from previous posts on this subject is that this is not strictly
necessary, but is in the Haskell '98 specs, and that this error message
only o
robert dockins wrote:
Perhaps. Nonetheless it is common practice for compilers to be written
in the target language and to be compiled via bootstrapping. Ever take
a look at the GCC sources? You guessed it: C.
Please don't confuse the compiler being written in the target language
with the com
Well Robert Dockins gave you an excellent explanation.
You're just unlucky at the moment with 6.4. 6.2.2 is excellent -
for various reasons I've had to stick with it for completion of some
of my research.
>Having the compiler able to compile itself, yes. Making that the only
>way to compile it, t
Andrew Cheadle wrote:
:-p ok,ok, lots of people (but will they really continue to - we
dropped it from our labs long ago). Having said that, how many
people don't have access to a Windoze or Linux
I don't have access to Win or Linux. But that's besides the point. I
think it's reasonable to expect
robert dockins addresses this to -
Daniel Carrera wrote:
Hello,
I've been trying to learn Haskell.
...
At this point I decide that I'll teach people Python instead of
Haskell. I don't particularly like Python, but hey, it works.
Your choice, of course.
I'll say more. You may buy to your kids
Daniel Carrera wrote:
Hello,
I've been trying to learn Haskell.
Some software isn't user friendly. But I think that a compiler requiring
itself to compile is actively user hostile.
Perhaps. Nonetheless it is common practice for compilers to be written
in the target language and to be compiled vi
Daniel
While I'm sure many understand and sympathise with your pain I wonder if
you're being a little harsh.
I mean
who's really using Solaris these days?
:-p ok,ok, lots of people (but will they really continue to - we
dropped it from our labs long ago). Having said that, how many
people don'
Hello,
I've been trying to learn Haskell.
Some software isn't user friendly. But I think that a compiler requiring
itself to compile is actively user hostile. I've spent over a week
trying to get GHC to work on my Solaris workstation and I've concluded
that it just isn't going to happen.
I trie
Feature Requests item #1097471, was opened at 2005-01-07 05:55
Message generated for change (Comment added) made by juhp
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=358032&aid=1097471&group_id=8032
Category: None
Group: None
Status: Closed
Priority: 3
Submitted
Feature Requests item #1097471, was opened at 2005-01-07 05:55
Message generated for change (Comment added) made by juhp
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=358032&aid=1097471&group_id=8032
Category: None
Group: None
Status: Closed
Priority: 3
Submitted
Feature Requests item #1084122, was opened at 2004-12-13 10:54
Message generated for change (Comment added) made by juhp
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=358032&aid=1084122&group_id=8032
Category: None
Group: None
Status: Open
Priority: 5
Submitted By
Feature Requests item #1097471, was opened at 2005-01-07 05:55
Message generated for change (Comment added) made by juhp
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=358032&aid=1097471&group_id=8032
Category: None
Group: None
Status: Closed
Priority: 3
Submitted
Feature Requests item #1097471, was opened at 2005-01-07 05:55
Message generated for change (Comment added) made by juhp
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=358032&aid=1097471&group_id=8032
Category: None
Group: None
Status: Closed
Priority: 3
Submitted
27 matches
Mail list logo
