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