Strictness information?

[Simon Peyton-Jones]

'V' means 'eValuates'.  So your function is strict in both arguments.
It's intended to be internal compiler stuff which is while it's not
properly documented, I'm afraid.

Simon

| -----Original Message-----
| From: Till D=F6rges [mailto:mai00dqr@informatik.uni-leipzig.de]=20
| Sent: 17 February 2002 12:44
| To: Glasgow-haskell-users@haskell.org
| Subject: Strictness information?
|=20
|=20
| Hi folks,
|=20
| during the struggle for speed of my program, I've tried to=20
| check the strictness of my functions, where most of the time=20
| is consumed. Unluckily the ghc documentation doesn't mention=20
| the strictness-types I found for the most part. :-(
|=20
| For the particular function in question it reads in the *.hi file:
|=20
| --- snip ---
| isSubPosnOf :: Posn -> Posn -> PrelBase.Bool {-## __A 2 __C=20
| __S VV __U (__inline_me (\ a2 :: Posn b :: Posn ->=20
| PrelBase.zaza (zddmzsze1 a2 b) (isPrefixOf b a2))) ##-};
| --- snap ---
|=20
| If I understand it correctly I must look at '__S VV', but=20
| what does V mean? (The doc only talks about L,S,E,P,U,A).
|=20
| Thanks -- Till
| _______________________________________________
| Glasgow-haskell-users mailing list=20
| Glasgow-haskell-users@haskell.org=20
| http://www.haskell.org/mailman/listinfo/glasgow-| haskell-users
|=20