Re: Terminal does not reset correctly with System.Console.SimpleLineEditor

2004-11-07 Thread Malcolm Wallace
Einar Karttunen [EMAIL PROTECTED] writes: It appears that the console is not reset correctly with System.Console.SimpleLineEditor. The terminal does not echo characters until it is reset. The issue here is the order in which the library makes calls to hSetBuffering and system(stty icanon

typechecking too eager?

2004-11-07 Thread Keean Schupke
The following code should compile (If the constructor is valid, so is the function): data Test = Test (forall a . a) test a = Test a However this fails to compile with the following error: Test.hs:9:9: Inferred type is less polymorphic than expected Quantified type variable `a' escapes

Re: typechecking too eager?

2004-11-07 Thread Andres Loeh
Hi there, The following code should compile (If the constructor is valid, so is the function): data Test = Test (forall a . a) test a = Test a However this fails to compile with the following error: The current implementation of rank-n polymorphism (which is documented in the paper

Re: typechecking too eager?

2004-11-07 Thread Keean Schupke
So, does that mean that ideally we would like it to type check, but for implementation reasons it cannot easily be done without a type signature? I can use the type signature no problem. Keean. Andres Loeh wrote: Hi there, The following code should compile (If the constructor is valid, so is

foreign export stdcall on user-defined type and function

2004-11-07 Thread David Lo
Dear all, I'm new in haskell. I'm assigned to see that a piece of Haskell code need to be callable from C#. I find that I can convert Haskell to DLL using ghc --mk-dll. I find it is fine for simple function but for the following errors are reported. foreign export stdcall doComp :: Pattern -