Typeable and 'forall' in data constructors

2004-04-21 Thread Akos Korosmezey
I am tying to write a Term class with function application: data (Typeable a) => Term a = Const a | LVar Int | forall b. Typeable b => App (Term (b -> a)) (Term b) | Lam (Term a) Because 'forall' is present, ghc refuses to deri

RE: GHC 6.2.1 compilation fails when compiling FFI code with -pro f or -O2

2004-04-21 Thread Bayley, Alistair
Sorry for the stupidity... just found the -I option... Although it is a bit frustrating when an FFI program that used to compile stops when you add supposedly "harmless" options such as -O or -prof. Might be worth adding a section to the FFI section of the manual about using the -I flag when compi

GHC 6.2.1 compilation fails when compiling FFI code with -prof or -O2

2004-04-21 Thread Bayley, Alistair
I have an FFI program which compiles fine with GHC 6.2.1 under standard compilation options (i.e. no optimisation etc), but not with -O2 or -prof. With -prof/-O2 GHC compiles via C, and this seems to be causing the problem. With -prof I get these error messages: Compiling Database.Oracle.OCIFunct

Re: "undefined references" when using package

2004-04-21 Thread Jan Christiansen
On Sunday 18 April 2004 21:36, Sven Panne wrote: > > All these undefined references ("zi" => ".") seem to be within your own > package "CHD", but guessing what goes wrong exactly is a bit hard without > further information. A complete log of what you are doing might help, a > tar file including you