mirror of
https://github.com/unisonweb/unison.git
synced 2024-11-04 01:03:36 +03:00
0031542faf
This is for consistency with the `cmark` style. Now the blocks we still pretty-print ourselves will match the bulk of them that `cmark` produces.
1.2 KiB
1.2 KiB
Given a test that depends on another definition,
foo n = n + 1
test> mynamespace.foo.test =
n = 2
if (foo n) == 2 then [ Ok "passed" ] else [ Fail "wat" ]
scratch/main> add
⍟ I've added these definitions:
foo : Nat -> Nat
mynamespace.foo.test : [Result]
if we change the type of the dependency, the test should show in the scratch file as a test watch.
foo n = "hello, world!"
Loading changes detected in scratch.u.
I found and typechecked these definitions in scratch.u. If you
do an `add` or `update`, here's how your codebase would
change:
⍟ These names already exist. You can `update` them to your
new definition:
foo : n -> Text
scratch/main> update
Okay, I'm searching the branch for code that needs to be
updated...
That's done. Now I'm making sure everything typechecks...
Typechecking failed. I've updated your scratch file with the
definitions that need fixing. Once the file is compiling, try
`update` again.
test> mynamespace.foo.test =
n = 2
if foo n == 2 then [Ok "passed"] else [Fail "wat"]
foo n = "hello, world!"