Block parsing bug

[mainland]

Block parsing bug

[mchakravarty]

Did you declare 'CGRect' as a type name? If not, you need to write

[self.codeText addKeyboardPanningWithActionHandler:^(typename CGRect keyboardFrameInView) {
        /*
         */
    }];

Identifiers that are type names and those that are not are different syntactic categories in C. (We really should start slurping in header files to automatically get all defined names, but for the moment you need to do it manually.)

[mxswd]

Ok, putting the typename into the block param like that isn't working either.

[self.codeText addKeyboardPanningWithActionHandler:^(typename CGRect keyboardFrameInView) {
}];

Errors with:

parse error on `typename'

[mxswd]

For initializers:

typename NSArray *paths = NSSearchPathForDirectoriesInDomains(NSDocumentDirectory, NSUserDomainMask, YES);

Errors with:

expected ';' but got `NSArray'

[mchakravarty]

What quoter are you using?

Prelude Language.C.Quote.ObjC> [cunit|typename NSArray *paths = NSSearchPathForDirectoriesInDomains(NSDocumentDirectory, NSUserDomainMask, YES);|]
[DecDef (InitGroup (DeclSpec [] [] (Tnamed (Id "NSArray" ) [] ) ) [] [Init (Id "paths" ) (Ptr [] (DeclRoot ) ) Nothing (Just (ExpInitializer (FnCall (Var (Id "NSSearchPathForDirectoriesInDomains" ) ) [Var (Id "NSDocumentDirectory" ) ,Var (Id "NSUserDomainMask" ) ,Var (Id "YES" ) ] ) )) [] ] ) ]

[mchakravarty]

Also

Prelude Language.C.Quote.ObjC> [cexp|[self.codeText addKeyboardPanningWithActionHandler:^(typename CGRect keyboardFrameInView) { }] |]
ObjCMsg (ObjCRecvExp (Member (Var (Id "self" ) ) (Id "codeText" ) ) ) [ObjCArg (Just (Id "addKeyboardPanningWithActionHandler" )) (Just (BlockLit (BlockParam [Param (Just (Id "keyboardFrameInView" )) (DeclSpec [] [] (Tnamed (Id "CGRect" ) [] ) ) (DeclRoot ) ] ) [] [] )) ] [] 

[mxswd]

import qualified Language.C.Syntax as C
import qualified Language.C.Parser as P
import qualified Data.ByteString.Char8 as B
import Data.Loc

parseFile :: String -> IO [C.Definition]
parseFile s = do
    let exts = [C.ObjC] -- TODO: Add C.QInit when supported
    case P.parse exts [] P.parseUnit (B.pack s) start of
      Left err   -> error $ show err
      Right defs -> return defs
  where
    start :: Pos
    start = startPos "<>"

main = do
  x <- parseFile "typename NSArray *paths = NSSearchPathForDirectoriesInDomains(NSDocumentDirectory, NSUserDomainMask, YES);"
  print x

[mchakravarty]

Does it work for you if you use quasi quotes (as in my example) as opposed to invoking the parser explicitly?

[mxswd]

Yeah it does. Maybe I'm missing an extension?

[mainland]

typename is only permitted when using quasiquoting. The whole-file parser is only to be used with preprocessed files.

[mxswd]

Ah of course. Thanks.