GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2025-01-05 21:23:22 +03:00
Code Issues Projects Releases Wiki Activity

Merge branch 'master' of github.com:GaloisInc/macaw

Browse Source
This commit is contained in:
Joe Hendrix 2017-11-22 14:08:49 -08:00
commit e0417a09a1
No known key found for this signature in database
GPG Key ID: 8DFA5FF784098C4F
3 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
x86/support/macaw-x86-support.cabal
View File

@ -10,7 +10,7 @@ executable make_bsd_syscalls
build-depends:
base >= 4,
bytestring,
language-c <= 0.5.0,
language-c >= 0.6,
lens,
pretty,
containers,
@ -23,7 +23,7 @@ executable make_linux_syscalls
build-depends:
base >= 4,
bytestring,
language-c <= 0.5.0,
language-c >= 0.6,
lens,
pretty,
containers,

2
x86/support/make_bsd_syscalls/Main.hs
View File

@ -144,7 +144,7 @@ typeToArgType typ =
PtrType _ _ _ -> WordArgType
ArrayType _ _ _ _ -> WordArgType
FunctionType _ _ -> unhandled
TypeDefType (TypeDefRef _ (Just typ) _) _ _ -> typeToArgType typ
TypeDefType (TypeDefRef _ typ _) _ _ -> typeToArgType typ
where
unhandled = error ("Unhandled type: " ++ show (pretty typ))

2
x86/support/make_linux_syscalls/Main.hs
View File

@ -113,7 +113,7 @@ typeToArgType typ =
PtrType _ _ _ -> WordArgType
ArrayType _ _ _ _ -> WordArgType
FunctionType _ _ -> unhandled
TypeDefType (TypeDefRef _ (Just typ) _) _ _ -> typeToArgType typ
TypeDefType (TypeDefRef _ typ _) _ _ -> typeToArgType typ
where
unhandled = error ("Unhandled type: " ++ show (pretty typ))