Skip to content

Instantly share code, notes, and snippets.

@aryairani
Created November 15, 2023 23:51
Show Gist options
  • Save aryairani/2561cb1d18798febff5c6c963094240e to your computer and use it in GitHub Desktop.
Save aryairani/2561cb1d18798febff5c6c963094240e to your computer and use it in GitHub Desktop.
.> project.create bugreport
bugreport/main> pull @unison/json/releases/1.0.2 lib.json_1_0_2
success : '{Decoder} Text
success =
  array.at 0 (object.at "success" (object.at "authorizeduser" Decoder.text))
.> project.create bugreport

  🎉 I've created the project bugreport.

  I'll now fetch the latest version of the base Unison
  library...

  Downloaded 12618 entities.

  🎨 Type `ui` to explore this project's code in your browser.
  🔭 Discover libraries at https://share.unison-lang.org
  📖 Use `help-topic projects` to learn more about projects.
  
  Write your first Unison code with UCM:
  
    1. Open scratch.u.
    2. Write some Unison code and save the file.
    3. In UCM, type `add` to save it to your new project.
  
  🎉 🥳 Happy coding!

bugreport/main> pull @unison/json/releases/1.0.2 lib.json_1_0_2

  Downloaded 694 entities.

  ✅
  
  Successfully pulled into lib.json_1_0_2, which was empty.

success : '{Decoder} Text
success =
  array.at 0 (object.at "success" (object.at "authorizeduser" Decoder.text))

  I found and typechecked these definitions in scratch.u. If you
  do an `add` or `update`, here's how your codebase would
  change:
  
    ⍟ These new definitions are ok to `add`:
    
      success : '{Decoder} Text

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment