idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-28 19:13:02 +03:00
Code Issues Projects Releases Wiki Activity

[refc] Remove 'schemeCall' as it is not used anymore

Browse Source
This commit is contained in:
Kamil Shakirov 2020-10-21 16:57:05 +06:00
parent ccdfc363e3
commit 0b36a5fe3b
3 changed files with 2 additions and 23 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -247,9 +247,7 @@ cOp Crash [_, msg] = "idris2_crash(" ++ msg ++ ");"
cOp fn args = plainOp (show fn) (toList args)
data ExtPrim = SchemeCall
| NewIORef | ReadIORef | WriteIORef
data ExtPrim = NewIORef | ReadIORef | WriteIORef
| NewArray | ArrayGet | ArraySet
| GetField | SetField
| VoidElim
@ -260,7 +258,6 @@ data ExtPrim = SchemeCall
export
Show ExtPrim where
show SchemeCall = "schemeCall"
show NewIORef = "newIORef"
show ReadIORef = "readIORef"
show WriteIORef = "writeIORef"
@ -279,8 +276,7 @@ Show ExtPrim where
||| Match on a user given name to get the scheme primitive
toPrim : Name -> ExtPrim
toPrim pn@(NS _ n)
= cond [(n == UN "prim__schemeCall", SchemeCall),
(n == UN "prim__newIORef", NewIORef),
= cond [(n == UN "prim__newIORef", NewIORef),
(n == UN "prim__readIORef", ReadIORef),
(n == UN "prim__writeIORef", WriteIORef),
(n == UN "prim__newArray", NewArray),

14
support/refc/prim.c
View File

@ -188,20 +188,6 @@ Value *voidElim(Value *erased1, Value *erased2)
return NULL;
}
Value *schemeCall(
Value *v1, Value *_schemeFuncName, Value *_schemArgs, Value *_world)
{
Value_String *schemeFuncName = (Value_String *)_schemeFuncName;
if (!strcmp("blodwen-thread", schemeFuncName->str))
{
fprintf(stderr, "Multithreading not supported\n");
exit(-1);
}
printf("Scheme Call %s not supported\n", schemeFuncName->str);
exit(-1);
}
// Threads
// %foreign "scheme:blodwen-mutex"

3
support/refc/prim.h
View File

@ -31,10 +31,7 @@ Value *PrimIO_prim__nullAnyPtr(Value *);
Value *onCollect(Value *, Value *, Value *, Value *);
Value *onCollectAny(Value *, Value *, Value *, Value *);
// Scheme Calls intercept
Value *voidElim(Value *, Value *);
Value *schemeCall(Value *, Value *, Value *, Value *);
// Threads
Value *System_Concurrency_Raw_prim__mutexRelease(Value *, Value *);