edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-11-24 04:43:25 +03:00
Code Issues Projects Releases Wiki Activity

Correction to setField syntax for Gambit

Browse Source
This commit is contained in:
Abdelhakim Qbaich 2020-04-24 20:49:24 -04:00
parent 4dcef32f53
commit f049146d46
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Compiler/Scheme/Gambit.idr
View File

@ -63,7 +63,7 @@ mutual
gambitPrim i GetField [NmPrimVal _ (Str s), _, _, struct,
NmPrimVal _ (Str fld), _]
= do structsc <- schExp gambitPrim gambitString 0 struct
pure $ "(" ++ s ++ "-" ++ fld ++ " " ++ structsc ++ ")" -- FIXME
pure $ "(" ++ s ++ "-" ++ fld ++ " " ++ structsc ++ ")" -- XXX
gambitPrim i GetField [_,_,_,_,_,_]
= pure "(error \"bad getField\")"
gambitPrim i SetField [NmPrimVal _ (Str s), _, _, struct,
@ -71,7 +71,7 @@ mutual
= do structsc <- schExp gambitPrim gambitString 0 struct
valsc <- schExp gambitPrim gambitString 0 val
pure $ mkWorld $
"(set-" ++ s ++ "-" ++ fld ++ "! " ++ structsc ++ " " ++ valsc ++ ")" -- FIXME
"(" ++ s ++ "-" ++ fld ++ "-set! " ++ structsc ++ " " ++ valsc ++ ")" -- XXX
gambitPrim i SetField [_,_,_,_,_,_,_,_]
= pure "(error \"bad setField\")"
gambitPrim i SysCodegen []