unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-08-15 13:30:27 +03:00
Code Issues Projects Releases Wiki Activity
trunk
unison/unison-src/transcripts/fix1800.md
Chris Penner 5ca1eb3b8d Replace '.' references with scratch/main
2024-06-25 11:11:07 -07:00

1.3 KiB
Raw Permalink Blame History 

scratch/main> builtins.merge

printLine : Text ->{IO} ()
printLine msg =
  _ = putBytes.impl (stdHandle StdOut) (Text.toUtf8 (msg ++ "\n"))
  ()

-- An unannotated main function
main1 = '(printLine "\nhello world!")

-- Another variation
main2 _ = printLine "🌹"

-- An annotated main function
main3 : '{IO} ()
main3 _ = printLine "🦄 ☁️  🌈"

Testing a few variations here:

  • Should be able to run annotated and unannotated main functions in the current file.
  • Should be able to run annotated and unannotated main functions from the codebase.
scratch/main> run main1
scratch/main> run main2
scratch/main> run main3
scratch/main> add
scratch/main> rename.term main1 code.main1
scratch/main> rename.term main2 code.main2
scratch/main> rename.term main3 code.main3

The renaming just ensures that when running code.main1, it has to get that main from the codebase rather than the scratch file:

scratch/main> run code.main1
scratch/main> run code.main2
scratch/main> run code.main3

Now testing a few variations that should NOT typecheck.

main4 : Nat ->{IO} Nat
main4 n = n

main5 : Nat ->{IO} ()
main5 _ = ()

This shouldn't work since main4 and main5 don't have the right type.

scratch/main> run main4

scratch/main> run main5