carp-lang/Carp
1
1
Fork 0
mirror of https://github.com/carp-lang/Carp.git synced 2024-11-04 01:25:04 +03:00
Code Issues Projects Releases Wiki Activity

Can parse C pointers now.

Browse Source
This commit is contained in:
Erik Svedäng 2018-02-27 11:00:39 +01:00
parent cfd918c8c6
commit a7fa295074
2 changed files with 24 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
examples/parse_me.h
View File

@ -13,4 +13,5 @@ vector2 middle(vector2 p1, vector2 p2);
// Pointers are also useful to parse
void gah(int *x);
char *blah(int *x, float *y);
void dah(int *x, float* y);
char *blah(int *x, float* y);

36
headerparse/Main.hs
View File

@ -42,7 +42,9 @@ parseHeaderFile path src =
functionPrototype :: Parsec.Parsec String () [XObj]
functionPrototype = do Parsec.many spaceOrTab
returnTypeString <- Parsec.many1 identifierChar
Parsec.many spaceOrTab
stars1 <- stars
Parsec.many1 spaceOrTab
stars2 <- stars
name <- Parsec.many1 identifierChar
Parsec.many spaceOrTab
Parsec.char '('
@ -53,16 +55,21 @@ parseHeaderFile path src =
Parsec.many spaceOrTab
return [XObj (Lst [ (XObj (Sym (SymPath [] "register") Symbol) Nothing Nothing)
, (XObj (Sym (SymPath [] name) Symbol) Nothing Nothing)
, toTypeXObj argTypeStrings returnTypeString
, toTypeXObj argTypeStrings (returnTypeString, length stars1 + length stars2)
]) Nothing Nothing]
arg :: Parsec.Parsec String () String
arg :: Parsec.Parsec String () (String, Int)
arg = do Parsec.many spaceOrTab
argTypeAsString <- Parsec.many1 identifierChar
stars1 <- stars
Parsec.many1 spaceOrTab
stars2 <- stars
_ <- Parsec.many1 identifierChar
Parsec.many spaceOrTab
return argTypeAsString
return (argTypeAsString, length stars1 + length stars2)
stars :: Parsec.Parsec String () String
stars = Parsec.many (Parsec.char '*')
identifierChar :: Parsec.Parsec String () Char
identifierChar = Parsec.choice [Parsec.letter, Parsec.digit, Parsec.char '_']
@ -75,19 +82,20 @@ parseHeaderFile path src =
return []
--return [(XObj (Str ("DISCARDED: " ++ discardedLine)) Nothing Nothing)]
toTypeXObj :: [String] -> String -> XObj
toTypeXObj :: [(String, Int)] -> (String, Int) -> XObj
toTypeXObj argTypeStrings returnTypeString =
(XObj (Lst [ (XObj (Sym (SymPath [] "λ") Symbol) Nothing Nothing)
, (XObj (Arr (map (tyToXObj . cTypeToCarpType) argTypeStrings)) Nothing Nothing)
, (XObj (Sym (SymPath [] (show (cTypeToCarpType returnTypeString))) Symbol) Nothing Nothing)
]) Nothing Nothing)
cTypeToCarpType :: String -> Ty
cTypeToCarpType "char" = CharTy
cTypeToCarpType "int" = IntTy
cTypeToCarpType "bool" = BoolTy
cTypeToCarpType "long" = LongTy
cTypeToCarpType "double" = DoubleTy
cTypeToCarpType "float" = FloatTy
cTypeToCarpType "void" = UnitTy
cTypeToCarpType s = (StructTy s [])
cTypeToCarpType :: (String, Int) -> Ty
cTypeToCarpType ("char", 0) = CharTy
cTypeToCarpType ("int", 0) = IntTy
cTypeToCarpType ("bool", 0) = BoolTy
cTypeToCarpType ("long", 0) = LongTy
cTypeToCarpType ("double", 0) = DoubleTy
cTypeToCarpType ("float", 0) = FloatTy
cTypeToCarpType ("void", 0) = UnitTy
cTypeToCarpType (s, 0) = (StructTy s [])
cTypeToCarpType (x, stars) = (PointerTy (cTypeToCarpType (x, stars - 1)))