Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Haley Sapphie Owsianko
ACC-project
Commits
f59f255c
Commit
f59f255c
authored
Apr 13, 2021
by
Sapphie
Browse files
Remove print and undo changes to a test example
parent
9871602d
Changes
2
Hide whitespace changes
Inline
Side-by-side
compiler/src/l3/CPSValueRepresenter.scala
View file @
f59f255c
...
...
@@ -86,7 +86,6 @@ object CPSValueRepresenter extends (H.Tree => L.Tree) {
val
closureAllocInit
=
allocInitFun
(
funsAndVars
,
lastBody
)
val
res
=
L
.
LetF
(
funsAndVars
.
unzip3
.
_1
,
closureAllocInit
)
println
(
res
)
res
}
...
...
tests/stmt-defrec.l3
View file @
f59f255c
...
...
@@ -2,15 +2,15 @@
;; Test the "defrec" statement
;;
(@byte-write 67)
(@byte-write 67)
(defrec id (fun (x) (x)))
(id 1)
;;
(defrec succ (fun (x) (@+ x 1)))
;;
(@byte-write (succ 64))
;;
;;
(defrec fact (fun (x) (if (@= x 0) 1 (@* x (fact (@- x 1))))))
;;
(@byte-write (@- (fact 5) 54))
;;
;;
(defrec fact (fun (x) (@+ x 2)))
;;
(@byte-write (fact 65))
;;
(defrec id (fun (x) (x)))
;;
(id 1)
(defrec succ (fun (x) (@+ x 1)))
(@byte-write (succ 64))
(defrec fact (fun (x) (if (@= x 0) 1 (@* x (fact (@- x 1))))))
(@byte-write (@- (fact 5) 54))
(defrec fact (fun (x) (@+ x 2)))
(@byte-write (fact 65))
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment