Skip to content

Commit

Permalink
fix
Browse files Browse the repository at this point in the history
  • Loading branch information
vidsinghal committed Feb 9, 2024
1 parent 660d4e8 commit fa243a3
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions gibbon-compiler/src/Gibbon/Passes/Cursorize.hs
Original file line number Diff line number Diff line change
Expand Up @@ -59,14 +59,14 @@ becomes
Leaf -> let n = readScalar "Int" (lin + 1)
wt = writeTag lout Leaf
wi = writeInt wt (n+1)
in (lin + 9, (lout, wi))
in (end_rin, end_rout, lin + 9, (lout, wi))
Node -> ...
Every packed input becomes a read cursor. And it takes additional output cursors
for every packed type in the return value. Every packed return value becomes a
(Cursor,Cursor) i.e (start,end). And it returns additional end_of_read cursors
if the functions "traverses" it's input (more details in the paper).
-}


Expand Down

0 comments on commit fa243a3

Please sign in to comment.