summaryrefslogtreecommitdiff
path: root/Language
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2021-09-24 22:49:44 +0200
committerTom Smeding <tom@tomsmeding.com>2021-09-24 22:49:44 +0200
commit070772f008bcb5edb63f3f2c2c5f10c4eb9cb008 (patch)
tree4b3278f339c140b17f7f2cc9d9bbcee83235526a /Language
parentf42d7f4562ea2e5c9ef634665952e38630f17ae4 (diff)
Potentially generate some code for Generate
Diffstat (limited to 'Language')
-rw-r--r--Language/C.hs5
1 files changed, 5 insertions, 0 deletions
diff --git a/Language/C.hs b/Language/C.hs
index 86250dd..35cf432 100644
--- a/Language/C.hs
+++ b/Language/C.hs
@@ -47,3 +47,8 @@ data Expr
| EPtrTo Expr
| ESizeOf Type
deriving (Show, Eq)
+
+
+fundefName :: FunDef -> Name
+fundefName (FunDef _ n _ _) = n
+fundefName (ProcDef n _ _) = n