diff --git a/src/Compiler/RefC/RefC.idr b/src/Compiler/RefC/RefC.idr index 9dfdcbb4b..0c342c65a 100644 --- a/src/Compiler/RefC/RefC.idr +++ b/src/Compiler/RefC/RefC.idr @@ -814,7 +814,7 @@ emitFDef funcName ((varType, varName, varCFType) :: xs) = do data CLang = CLangC | CLangRefC extractValue : (cLang : CLang) -> (cfType:CFType) -> (varName:String) -> String -extractValue _ CFUnit varName = "void" +extractValue _ CFUnit varName = "NULL" extractValue _ CFInt varName = "((Value_Int64*)" ++ varName ++ ")->i64" extractValue _ CFInt8 varName = "((Value_Int8*)" ++ varName ++ ")->i8" extractValue _ CFInt16 varName = "((Value_Int16*)" ++ varName ++ ")->i16"