aboutsummaryrefslogtreecommitdiffstats
path: root/src/repl.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/repl.cpp')
-rw-r--r--src/repl.cpp4
1 files changed, 3 insertions, 1 deletions
diff --git a/src/repl.cpp b/src/repl.cpp
index d4eed09..25da08a 100644
--- a/src/repl.cpp
+++ b/src/repl.cpp
@@ -103,7 +103,7 @@ compile(CEnv& cenv, const Code& parsed, Code& defs, bool& hasMain, const char* m
const Pass passes[] = {
{ resp_simplify, "-R" },
{ resp_lift, "-L" },
- { resp_depoly, "-D" },
+ //{ resp_depoly, "-D" },
{ NULL, NULL }
};
@@ -136,6 +136,8 @@ compile(CEnv& cenv, const Code& parsed, Code& defs, bool& hasMain, const char* m
if (call && (is_form(*i, "def-type")
|| (is_form(*i, "def") && is_form(call->frrst(), "fn")))) {
resp_flatten(cenv, defs, call);
+ } else if (call && is_form(*i, "prot")) {
+ defs.push_back(*i);
} else {
const ATuple* tup = (*i)->to_tuple();
if (!tup || !tup->empty()) {