From e5aaa59a63adaafb54d4845a06e16c4ef37c1b5f Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Fri, 5 Jun 2020 10:38:24 +0200 Subject: [PATCH] . --- test.icl | 21 +++++---------------- 1 file changed, 5 insertions(+), 16 deletions(-) diff --git a/test.icl b/test.icl index dddfbe1..13d4dd1 100644 --- a/test.icl +++ b/test.icl @@ -1,20 +1,9 @@ module test -import StdEnv +import iTasks -import graph_copy_with_names, symbols_in_program -import System.CommandLine +Start w = doTasks hello w -test :: !{#Symbol} a -> a -test symbols a - # (a, b, c) = copy_to_string_with_names a - # (a, r) = copy_from_string_with_names a b c symbols - = a - -polyid :: (A.a: a -> a) -> (Int, Bool) -polyid f = (f 42, f True) - -Start w - # ([argv0:_], w) = getCommandLine w - # (symbols, w) = accFiles (read_symbols argv0) w - = test symbols (polyid id) +hello :: Task String +hello = enterInformation [] <<@ Title "What is your name?" + >>? \n->viewInformation [] ("Hello " +++ n) <<@ Title "Hello" -- 2.20.1