unisonweb/unison

Issues

• Intermittent Docs `display` and `docs-to-html` output failures

  #5506 opened 25 days ago by rlmark
  0

• incorporate ucm crash messages into transcript output?

  #5502 opened a month ago by aryairani
  1

• createDirectory inconsistency between runtimes

  #5501 opened a month ago by ceedubs
  0

• toBase64UrlUnpadded doesn't use the URL variant in scheme runtime

  #5504 opened a month ago by ceedubs
  0

• crash when `add`ing a term that depends on watch expression not already in codebase

  #5503 opened a month ago by aryairani
  0

• `run` with a return type that's not in the codebase can cause a crash that mentions kind inference

  #5448 opened a month ago by aryairani
  0

• `mergetool`: provide absolute path to `$MERGED`

  #5455 opened 2 months ago by aryairani
  0

• `Unison.Runtime.ANF.internalBug` output not reflected in transcript output

  #5497 opened a month ago by aryairani
  2

• display can omit local definitions and show hash references

  #5496 opened a month ago by ceedubs
  1

• transcripts: don’t require tags to be in specific order

  #5494 opened a month ago by sellout
  0

• "namespace" pragma problem re under-edit term names

  #5485 opened a month ago by kylegoetz
  1

• Namespace directive breaks idempotency check for unique types

  #5489 opened a month ago by SystemFw
  0

• How does the pretty printer decide to qualify names?

  #5490 opened a month ago by SystemFw
  2

• `use` parsing is weird?

  #5487 opened a month ago by aryairani
  2

• `test.io` doesn't like un-`add`-ed terms

  #5471 opened a month ago by dfreeman
  2

• Update ignores watch expressions

  #5484 opened a month ago by ChrisPenner
  0

• transcripts: make running “non-destructive”

  #5482 opened a month ago by sellout
  0

• write merge tool / diff tool docs

  #5481 opened a month ago by aryairani
  1

• why is `move` slow?

  #5476 opened a month ago by aryairani
  1

• `update` renders typecheckedunisonfile without leading `.`

  #5427 opened 2 months ago by aryairani
  1

• io.test doesn't handle ambiguity well

  #5478 opened a month ago by ceedubs
  2

• tab completion should work on suffixified names

  #5477 opened a month ago by aryairani
  0

• `move.term` should move its doc too

  #5475 opened a month ago by aryairani
  0

• Missing closing parentheses are not always handled as errors

  #5473 opened a month ago by daniel-szarkowicz
  1

• alias.type creates broken type

  #5467 opened a month ago by ChrisPenner
  1

• `use` statements can sometimes erroneously capture local variables

  #5464 opened a month ago by mitchellwrosen
  0

• consider making merge process more stateful? / better output?

  #5456 opened 2 months ago by aryairani
  0

• `delete.namespace` reportedly flags dependents in `lib` (why?)

  #5446 opened 2 months ago by aryairani
  4

• Kind inference exception

  #5453 opened 2 months ago by etorreborre
  0

• Improve rendering of functions in pipelines

  #5451 opened 2 months ago by SystemFw
  0

• `typeof` command to just print the type of a term in ucm without printing the body and cluttering the terminal

  #5445 opened 2 months ago by aryairani
  1

• a `merge.abort` command which deletes the branch and pops you back; (same as `branch.delete <merge branch>`)

  #5444 opened 2 months ago by aryairani
  0

• type errors can be wrong-kinded

  #5440 opened 2 months ago by ceedubs
  2

• TermParser source code has example Unison code that isn't valid

  #5441 opened 2 months ago by kylegoetz
  0

• Function type inferred with additional generic ability parameters when recursing

  #5421 opened 3 months ago by bbarker
  1

• `knn-search-demo` doesn't round-trip

  #5436 opened 2 months ago by aryairani
  0

• foldless edit doesn't handle numbered arg inputs correctly

  #5435 opened 2 months ago by ceedubs
  1

• Weird parse/print issue to investigate

  #5433 opened 2 months ago by mitchellwrosen
  3

• `run` says "multiple matching refs" when there are zero

  #5430 opened 2 months ago by aryairani
  0

• Strange ucm -> update -> scratch file behavior

  #5429 opened 2 months ago by kylegoetz
  0

• Wrongful "update" prompt / EffectConstructorHadMultipleEffects

  #5428 opened 2 months ago by Baccata
  0

• compile.native does not work with relative file paths with at least one directory

  #5426 opened 2 months ago by fwip
  0

• Forward declarations in terms are reordered by UCM

  #5425 opened 3 months ago by rlmark
  0

• Enhancement: be able to write docs in a library that does not have base installed

  #5422 opened 3 months ago by kylegoetz
  1

• Variable capture during pattern matching

  #5419 opened 3 months ago by dolio
  0

• lsp unused binding warning shown on wrong line

  #5418 opened 3 months ago by aryairani
  0

• support multi-word arguments in `run` command

  #5417 opened 3 months ago by aryairani
  0

• use clauses below pretty-printed term does not parse, but use clauses above does parse

  #5412 opened 3 months ago by kylegoetz
  1

• pretty-printed types that take one line per identifier are no good

  #5413 opened 3 months ago by aryairani
  1

• Kind error using a phantom type variable for abilities

  #5410 opened 3 months ago by ceedubs
  0