mirror of https://github.com/unisonweb/unison.git synced 2024-08-15 05:20:46 +03:00

Add a space before code block info strings

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.

2024-07-10 13:56:07 -06:00

1.7 KiB

Raw Permalink Blame History

Duplicate Term Detection

Trivial duplicate terms should be detected:

x = 1
x = 2


  Loading changes detected in scratch.u.

  ❗️
  
  I found multiple bindings with the name x:
      1 | x = 1
      2 | x = 2

Equivalent duplicate terms should be detected:

x = 1
x = 1


  Loading changes detected in scratch.u.

  ❗️
  
  I found multiple bindings with the name x:
      1 | x = 1
      2 | x = 1

Duplicates from record accessors/setters should be detected

structural type Record = {x: Nat, y: Nat}
Record.x = 1
Record.x.set = 2
Record.x.modify = 2


  Loading changes detected in scratch.u.

  ❗️
  
  I found multiple bindings with the name Record.x:
      1 | structural type Record = {x: Nat, y: Nat}
      2 | Record.x = 1
  
  
  I found multiple bindings with the name Record.x.modify:
      1 | structural type Record = {x: Nat, y: Nat}
      2 | Record.x = 1
      3 | Record.x.set = 2
      4 | Record.x.modify = 2
  
  
  I found multiple bindings with the name Record.x.set:
      1 | structural type Record = {x: Nat, y: Nat}
      2 | Record.x = 1
      3 | Record.x.set = 2

Duplicate terms and constructors should be detected:

structural type SumType = X

SumType.X = 1

structural ability AnAbility where
  thing : Nat -> ()

AnAbility.thing = 2


  Loading changes detected in scratch.u.

  ❗️
  
  I found multiple bindings with the name AnAbility.thing:
      6 |   thing : Nat -> ()
      7 | 
      8 | AnAbility.thing = 2
  
  
  I found multiple bindings with the name SumType.X:
      1 | structural type SumType = X
      2 | 
      3 | SumType.X = 1

1.7 KiB Raw Permalink Blame History

Duplicate Term Detection

1.7 KiB

Raw Permalink Blame History