format roc code

This commit is contained in:
Folkert 2023-03-13 23:06:40 +01:00
parent 3de3937553
commit 741abe9a6d
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C

View file

@ -5,14 +5,13 @@ platform "echo-in-rust"
imports []
provides [mainForHost]
# mainForHost : [StdoutWrite Str (({} -> Op) as Fx0), StderrWrite Str (({} -> Op) as Fx1), Done] as Op
mainForHost : [StdoutWrite Str ({} -> Op), StderrWrite Str ({} -> Op), Done] as Op
mainForHost = main
# mainForHost : { x: Str, y: {} -> Str }
# mainForHost =
# mainForHost =
# y = "foo"
#
#
# when main is
# _ -> { x: "bar", y: \{} -> y }