@@ -48,6 +48,8 @@ toHeader = catMaybes . map go
4848 Nothing
4949 go (CppVariableIntroduction _ _ (Just CppBooleanLiteral {})) =
5050 Nothing
51+ go (CppVariableIntroduction (name, _) _ (Just (CppLambda _ [] rty _))) =
52+ Just $ CppFunction name [] rty [] CppNoOp
5153 -- Generate thunks for top-level values
5254 go (CppVariableIntroduction (name, _) _ (Just _)) =
5355 Just $ CppVariableIntroduction (name, Just $ CppAny [CppConst]) [CppExtern] Nothing
@@ -109,6 +111,8 @@ toBody = catMaybes . map go
109111 Nothing
110112 go (CppVariableIntroduction _ _ (Just CppBooleanLiteral {})) =
111113 Nothing
114+ go (CppVariableIntroduction (name, _) _ (Just (CppLambda _ [] rty body))) =
115+ Just $ CppFunction name [] rty [] body
112116 -- Generate thunks for top-level values
113117 go (CppVariableIntroduction (name, _) _ (Just cpp)) =
114118 Just $ CppVariableIntroduction (name, Just $ CppAny [CppConst]) [] (Just lambda)