idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-09 21:01:12 +03:00
Code Issues Projects Releases Wiki Activity

Add RefC foreign closure support

Browse Source
This commit is contained in:
Robert Wright 2021-05-17 14:28:46 +01:00 committed by G. Allais
parent cd3906645b
commit 58a321ca9c
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Compiler/RefC/RefC.idr
View File

@ -775,8 +775,7 @@ extractValue CFPtr varName = "((Value_Pointer*)" ++ varName ++ ")->p"
extractValue CFGCPtr varName = "((Value_GCPointer*)" ++ varName ++ ")->p->p"
extractValue CFBuffer varName = "((Value_Buffer*)" ++ varName ++ ")->buffer"
extractValue CFWorld varName = "(Value_World*)" ++ varName
extractValue (CFFun x y) varName = assert_total $ idris_crash ("INTERNAL ERROR: Function pointer not implemented: " ++ varName)
-- not really total but this way this internal error does not contaminate everything else
extractValue (CFFun x y) varName = "(Value_Closure*)" ++ varName
extractValue (CFIORes x) varName = extractValue x varName
extractValue (CFStruct x xs) varName = assert_total $ idris_crash ("INTERNAL ERROR: Struct access not implemented: " ++ varName)
-- not really total but this way this internal error does not contaminate everything else