diff options
Diffstat (limited to 'examples/greeting.ts')
| -rw-r--r-- | examples/greeting.ts | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/examples/greeting.ts b/examples/greeting.ts index ac59151..20ed4fe 100644 --- a/examples/greeting.ts +++ b/examples/greeting.ts @@ -1,14 +1,11 @@ -import { PutString, Bind, Kind1, ReadLine, Seq } from '../stdlib' +import { PutString, Bind, Kind1, ReadLine, Seq, PutStringLn } from '../stdlib' interface GreetK extends Kind1<string> { - return: Seq<[ - PutString<"Hello, ">, - PutString<`${this['input']}\n`> - ]>, + return: Seq<[PutString<'Hello, '>, PutString<`${this['input']}\n`>]> } export type main = [ - PutString<"Your name? ">, - Bind<ReadLine, GreetK>, + PutStringLn<'Greetotron 6000 initializing...'>, + PutString<'Your name? '>, + Bind<ReadLine, GreetK> ] - |