Re: FFI, -O .hi files

[Sven Panne]

Simon Peyton-Jones wrote:
 [...]
 a) to make the worker a NOINLINE thing, so it never got inlined
 anywhere
 b) allow it to be inlined freely in its own module, but then not
 export the inlining of any function that now has an embedded ccall.

It's a little bit hard to decide between a) and b), because it will
probably depend on the actual code which one is the better solution.
I'm leaning towards a), but this more a feeling than anything else.
Anyway, this is only the second best choice IMHO.

 c) leave it as it is

Bad!

 d) make it command-line-flag controllable
 But GHC has too many command line flags already. [...]

Granted, but we already have a very suitable one (SimonM, Sigbjorn,
don't read any further! ;-) :  -funfold-casms-in-hi-file

Cheers,
   Sven
-- 
Sven PanneTel.: +49/89/2178-2235
LMU, Institut fuer Informatik FAX : +49/89/2178-2211
LFE Programmier- und Modellierungssprachen  Oettingenstr. 67
mailto:[EMAIL PROTECTED]D-80538 Muenchen
http://www.informatik.uni-muenchen.de/~Sven.Panne

Profiling.h in the attic

[George Russell]

==fptools== gmake boot --no-print-directory -r;
 in /usr/local/pub-bkb/ghc/fptools/ghc/includes

gmake[2]: *** No rule to make target `Profiling.h', needed by `mkNativeHdr.o'.  Stop.
gmake[1]: *** [boot] Error 1
gmake: *** [boot] Error 1
/usr/local/pub-bkb/ghc/fptools cd ghc/includes
/usr/local/pub-bkb/ghc/fptools/ghc/includes cvs status Profiling.h
===
File: no file Profiling.h   Status: Up-to-date

   Working revision:No entry for Profiling.h
   Repository revision: 1.10/cvs/fptools/ghc/includes/Attic/Profiling.h,v

RE: Profiling.h in the attic

[Simon Marlow]

 ==fptools== gmake boot --no-print-directory -r;
  in /usr/local/pub-bkb/ghc/fptools/ghc/includes
 --
 --
 gmake[2]: *** No rule to make target `Profiling.h', needed by 
 `mkNativeHdr.o'.  Stop.
 gmake[1]: *** [boot] Error 1
 gmake: *** [boot] Error 1
 /usr/local/pub-bkb/ghc/fptools cd ghc/includes
 /usr/local/pub-bkb/ghc/fptools/ghc/includes cvs status Profiling.h
 ===
 File: no file Profiling.h   Status: Up-to-date
 
Working revision:No entry for Profiling.h
Repository revision: 1.10
 /cvs/fptools/ghc/includes/Attic/Profiling.h,v

Yes, I removed Profiling.h from ghc/includes and added it to ghc/rts.  You
might need to 'make boot' in ghc/includes and/or make sure there are no
dangling links left (if you're using separate build/src trees).

Cheers, 
Simon

Re: Profiling.h in the attic

[George Russell]

Simon Marlow wrote:
 Yes, I removed Profiling.h from ghc/includes and added it to ghc/rts.  You
 might need to 'make boot'
Actually it was gmake boot that was falling over.  However I seem to have
fixed that by doing "gmake depend" in ghc/includes (the .depend file contained
the obsolete reference to Profiling.h), though I don't yet understand
exactly what's going on.  (Surely regenerating .depend is gmake boot's job??)

RE: Profiling.h in the attic

[Simon Marlow]

 Simon Marlow wrote:
  Yes, I removed Profiling.h from ghc/includes and added it 
 to ghc/rts.  You
  might need to 'make boot'
 Actually it was gmake boot that was falling over.  However I 
 seem to have
 fixed that by doing "gmake depend" in ghc/includes (the 
 .depend file contained
 the obsolete reference to Profiling.h), though I don't yet understand
 exactly what's going on.  (Surely regenerating .depend is 
 gmake boot's job??)

I've seen it get stuck when a file goes away sometimes.  Not sure why this
happens, though.  Removing .depend and doing a 'make boot' usually fixes it.

Cheers,
Simon