Re: Absolute begginer in haskell

2001-03-13 Thread Reuben Thomas
Welcome to Cygwin hell... $ ghc -o teste main.hs /usr/lib/gcc-lib/i686-pc-cygwin/gcc-2.95.2-9/../../../../i686-pc-cygwin/bin/ ld: cannot open mingw/crt2.o: No such file or directory collect2: ld returned 1 exit status I suspect you'll be wanting to use gcc-2.95.2-6 (which is the current

RE: Bug with implicit parameters?

2001-03-13 Thread Simon Peyton-Jones
Dead right. Good bug, thank you. It shouldn't be legal, but it shouldn't crash the compiler. We won't fix this in 4.08, but it's fixed in future releases Simon | -Original Message- | i seem to have stumbled onto a bug in ghc. | here is my system info: | | class (?imp :: Int) = C t

Research Assistant/PhD Vacancy

2001-03-13 Thread nipkow
TOOL SUPPORT FOR LOGICAL CALCULI Research Assistant/PhD Vacancy Technical University Munich The theorem proving group (http://www4.in.tum.de/~kleing/group/group.html) at the Technical University Munich is looking for a

Re: Contexts in Existential Types

2001-03-13 Thread Ashley Yakeley
At 2001-03-13 19:36, I wrote: Would it be appropriate for Haskell to be able to remember contexts in existential types? For instance, currently this does not work in Hugs: -- class Charable a where obtainChar :: a - Char instance Charable Char where obtainChar c = c data