aboutsummaryrefslogtreecommitdiff
path: root/main
diff options
context:
space:
mode:
authorjohnvg2002-06-17 10:45:16 +0000
committerjohnvg2002-06-17 10:45:16 +0000
commit6d29f201582d5ed6928c155510115dad452f83b6 (patch)
tree24336b74530cd9bc6a20b09a2ba17279e721790d /main
parentmoved _ to next line (diff)
removed hello and bye, replace testArgs by []
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1096 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'main')
-rw-r--r--main/cocl.icl9
1 files changed, 4 insertions, 5 deletions
diff --git a/main/cocl.icl b/main/cocl.icl
index 7dd6ce6..c9d8037 100644
--- a/main/cocl.icl
+++ b/main/cocl.icl
@@ -10,13 +10,11 @@ import coclmain
import frontend
import StdDebug
-// Start :: *World -> *World
+Start :: *World -> *World
Start world
- # world = trace_n "hello from cocl!\n" world
- # world
- = coclMain testArgs world
- = trace_n "bye from cocl!\n" world
+ = coclMain []/*testArgs*/ world
where
+ /*
testArgs
= [
// main module
@@ -79,3 +77,4 @@ Start world
[ stdenvDir
]
)
+ */