win32 4.08.2 install question
While waiting for 5.00 for win32 I thought I'd get started with 4.08.2 - downloaded it today and installed it and the latest cygwin as per instructions. However: When following the "test the fruits of your labour" I invoke "ghc -o main main.hs" and get back a bash prompt and that's all. No files created, e.g., no main. Same for "ghc -c main.hs". Something trivial must be wrong with my setup. I've copied the ghc/bin/perl to cygwin/bin. No spaces in any directories (ghc is installed at c:\ghc). My mounted dirs look like this: C:\Cygwin\binmountDevice Directory Type Flagsc:\Cygwin\bin /usr/bin user textmodec:\Cygwin\etc /etc user textmodec:\Cygwin\lib /usr/lib user textmodec: / user textmode Anybody have an idea what's going on? I can't wait to get5.00 and its integral driver! -- Dave
Re: How to convert the type signature of a variable to a String?
Sun, 15 Apr 2001 14:20:01 +1000, Andrew J Bromage [EMAIL PROTECTED] pisze:
We know that the most general type of `id' is "a-a".
We assume there's a theoretical function:
get_the_function_type_of :: a - String
where a can be a function type. Now consider:
f :: (String - String) - String
f g = g (get_the_function_type_of g)
The question is: Should `f id' return "a-a" or "String-String"?
Inside f the variable g has type String-String. It doesn't matter
that the expression used to build this argument could be used on
another type too: the level of concreteness of the type is not a
part of the object having that type, but a property of the variable
through which we access it.
It would return "String-String" (assuming that
get_the_function_type_of was in some sense possible). Any other
overloaded function would be also used as for String-String instead of
reporting an ambiguity error, where using it for 'id' directly could
report an ambiguity error if the instance is not defined uniformly
for all types of function arguments and results but depends on a
particular choice of them.
In other words all instances of an overloaded function must agree on
the level to which they examine the type. If one of them doesn't look
at a fragment of the type (e.g. function argument), others can't too;
if one of them depends on them, the type must be determined in order
to make a usage unambiguous.
ghc has -fallow-overlapping-instances which relaxes this requirement.
It allows fallbacks: when a type doesn't fit to any instance, try
to use a more general one. It still doesn't make calls which don't
determine that type unambiguous, and doesn't allow to recognize the
fact that a variable is polymorphic. It has some strange properties,
e.g. importing a module (which defines some instances) can change a
valid program into another valid program with a different meaning.
--
__(" Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
\__/
^^ SYGNATURA ZASTPCZA
QRCZAK
___
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: The (Interactive) Glasgow Haskell Compiler -- version 5.00
"Julian Seward (Intl Vendor)" [EMAIL PROTECTED] wrote, The (Interactive) Glasgow Haskell Compiler -- version 5.00 We are pleased to announce a new major release of the Glasgow Haskell Compiler (GHC), version 5.00. The source distribution is freely available via the World-Wide Web and through anon. FTP, under a BSD-style license. See below for download details. The source tar ball misses the configure scripts (it has the `configure.in's, but the source tar ball should be autoconf'ed, shouldn't it?) Cheers, Manuel ___ Glasgow-haskell-users mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
solved! Fw: win32 4.08.2 install question
Found the problem in Sigbjørn Finne's FAQ at http://www.dcs.gla.ac.uk/~sof/ghc-win32-faq.html: I had no /bin, only a /usr/bin. I've gotten hello world to compile so I'm off and running. If 5.00 wasn'tswitching to a Haskell driver I'dsuggest updating the GHC installation on windows page with this FAQ. -- Dave $ mountDevice Directory Type Flagsc:\Cygwin\bin /bin user textmodec:\Cygwin\etc /etc user textmodec:\Cygwin\lib /usr/lib user textmodec: / user textmode - Original Message - From: David Bakin To: [EMAIL PROTECTED] Sent: Sunday, April 15, 2001 12:47 AM Subject: win32 4.08.2 install question While waiting for 5.00 for win32 I thought I'd get started with 4.08.2 - downloaded it today and installed it and the latest cygwin as per instructions. However: When following the "test the fruits of your labour" I invoke "ghc -o main main.hs" and get back a bash prompt and that's all. No files created, e.g., no main. Same for "ghc -c main.hs". Something trivial must be wrong with my setup. I've copied the ghc/bin/perl to cygwin/bin. No spaces in any directories (ghc is installed at c:\ghc). My mounted dirs look like this: C:\Cygwin\binmountDevice Directory Type Flagsc:\Cygwin\bin /usr/bin user textmodec:\Cygwin\etc /etc user textmodec:\Cygwin\lib /usr/lib user textmodec: / user textmode Anybody have an idea what's going on? I can't wait to get5.00 and its integral driver! -- Dave
Re: The (Interactive) Glasgow Haskell Compiler -- version 5.00
[EMAIL PROTECTED] (Marcin 'Qrczak' Kowalczyk) wrote, Mon, 16 Apr 2001 00:15:39 +1000, Manuel M. T. Chakravarty [EMAIL PROTECTED] pisze: The source tar ball misses the configure scripts (it has the `configure.in's, but the source tar ball should be autoconf'ed, shouldn't it?) BTW, IMHO 'make maintainer-clean' should not delete configure scripts (comments say that it doesn't, but it does). I agree. Manuel ___ Glasgow-haskell-users mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
