@@ -48,6 +48,8 @@ toHeader = catMaybes . map go
49 go (CppVariableIntroduction _ _ (Just CppBooleanLiteral {})) =
49 go (CppVariableIntroduction _ _ (Just CppBooleanLiteral {})) =
51+ go (CppVariableIntroduction (name, _) _ (Just (CppLambda _ [] rty _))) =
52+ Just $ CppFunction name [] rty [] CppNoOp
51 -- Generate thunks for top-level values
53 -- Generate thunks for top-level values
52 go (CppVariableIntroduction (name, _) _ (Just _)) =
54 go (CppVariableIntroduction (name, _) _ (Just _)) =
53 Just $ CppVariableIntroduction (name, Just $ CppAny [CppConst]) [CppExtern] Nothing
55 Just $ CppVariableIntroduction (name, Just $ CppAny [CppConst]) [CppExtern] Nothing
@@ -109,6 +111,8 @@ toBody = catMaybes . map go
110 go (CppVariableIntroduction _ _ (Just CppBooleanLiteral {})) =
112 go (CppVariableIntroduction _ _ (Just CppBooleanLiteral {})) =
114+ go (CppVariableIntroduction (name, _) _ (Just (CppLambda _ [] rty body))) =
115+ Just $ CppFunction name [] rty [] body
112 -- Generate thunks for top-level values
116 -- Generate thunks for top-level values
113 go (CppVariableIntroduction (name, _) _ (Just cpp)) =
117 go (CppVariableIntroduction (name, _) _ (Just cpp)) =
114 Just $ CppVariableIntroduction (name, Just $ CppAny [CppConst]) [] (Just lambda)
118 Just $ CppVariableIntroduction (name, Just $ CppAny [CppConst]) [] (Just lambda)