Update headerparse to use ConcreteNameTys

This commit is contained in:
scottolsen 2020-05-04 12:53:52 -04:00
parent 8dbdb73c1a
commit 3a1a39f496

View File

@ -173,7 +173,7 @@ cTypeToCarpType ("long", 0) = LongTy
cTypeToCarpType ("double", 0) = DoubleTy
cTypeToCarpType ("float", 0) = FloatTy
cTypeToCarpType ("void", 0) = UnitTy
cTypeToCarpType (s, 0) = (StructTy s [])
cTypeToCarpType (s, 0) = (StructTy (ConcreteNameTy s) [])
cTypeToCarpType (x, stars) = (PointerTy (cTypeToCarpType (x, stars - 1)))
identifierChar :: Parsec.Parsec String () Char