Re: GHC-3.0 link error on HP

1998-02-18 Thread Sigbjorn Finne


Byron Cook writes:
 Hi, 
 
 im getting the following link error on an HP (uname -a = HP-UX dtthp237
 B.10.01 A 9000/770 2009624264 two-user license)
 
 /usr/ucb/ld: (Warning) Symbols named "PerformGC_wrapper" of incompatible
 types (such as CODE and DATA) were found in Env.o and AbsHLSpec.o. This
 may not be supported in future releases.

Could you compile Env.hs, AbsSpec.hs and ExceptionM.hs with
-keep-s-file-too, and tar up the resulting .s files, so that we could
have a look at what's coming out in the end? (No access to machines
running hpux here at Glasgow.)

Thanks,
--Sigbjorn



GHC-3.0 link error on HP

1998-02-18 Thread Byron Cook

Hi, 

im getting the following link error on an HP (uname -a = HP-UX dtthp237
B.10.01 A 9000/770 2009624264 two-user license)

/usr/ucb/ld: (Warning) Symbols named "PerformGC_wrapper" of incompatible
types (such as CODE and DATA) were found in Env.o and AbsHLSpec.o. This
may not be supported in future releases.
/usr/ucb/ld: (Warning) Symbols named "PerformGC_wrapper" of incompatible
types (such as CODE and DATA) were found in ExceptionM.o and Env.o. This
may not be supported in future releases.
/usr/ucb/ld: (Warning) Symbols named "PerformGC_wrapper" of incompatible
types (such as CODE and DATA) were found in NameM.o and Env.o. This may
not be supported in future releases.
/usr/ucb/ld: (Warning) Symbols named "PerformGC_wrapper" of incompatible
types (such as CODE and DATA) were found in ParseL.o and Env.o. This may
not be supported in future releases.
/usr/ucb/ld: (Warning) Symbols named "PerformGC_wrapper" of incompatible
types (such as CODE and DATA) were found in Parser.o and Env.o. This may
not be supported in future releases.
/usr/ucb/ld: (Warning) Symbols named "PerformGC_wrapper" of incompatible
types (such as CODE and DATA) were found in PrettyL.o and Env.o. This may
not be supported in future releases.
/usr/ucb/ld: (Warning) Symbols named "Ind_info" of incompatible types
(such as CODE and DATA) were found in
/idl/strategic/fv2/hlspec/ghc-3.0/lib/ghc-3.00/libHS.a(PrelBase__3.o) and
AbsSpec.o. This may not be supported in future releases.
/usr/ucb/ld: Unsatisfied symbols:
   PerformGC_wrapper (data)
   Ind_info (data)
collect2: ld returned 1 exit status

when i try to link ghc .o files with the command:
ghc -o prog *.o

any suggestions?




Re: Confusing error message

1998-02-18 Thread Manuel Chakravarty

  I encountered a confusing error message, which you can
  reproduce with 
  
type P a = Maybe a
  
instance Monad P where
  (=)  = error "foo"
  return = error "bar"
  
  I get 
  
bug.hs:5: `P' should have 1 argument, but has been given 0 .
 
 Would it be better if it said 
 
   Type synonym constructor P should have 1 argument,
   but has been given 0
 
 Haskell requires that type synonyms are never partially applied;
 that's what's being complained about here.
 
 If you did fully apply it, GHC 3.1 (without -fglasow-exts) would
 then complain about making an instance of a type synonym.
 At the moment, though, it trips over the mal-formed type expression first.

That's what I guessed, but I reckon that it may be a bit
difficult to spot for people who are not so familiar with
the details of constructor classes.  But, maybe it is too
much fuzz to check for this special situation explicitly.

I wonder whether it would be helpful to add a comment like

  (or if this is a instance declaration, type synonyms are
  not allowed)

to the message.

Manuel