Commit cb0cea48 authored by John van Groningen's avatar John van Groningen
Browse files

removed hello and bye, replace testArgs by []

parent 8f6d5c54
......@@ -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
]
)
*/
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment