unison/unison-src/transcripts/error-messages.output.md

This file contains programs with parse errors and type errors, for visual inspection of error message quality and to check for regressions or changes to error reporting.

Parse errors

Some basic errors of literals.

Floating point literals

x = 1. -- missing some digits after the decimal

  Loading changes detected in scratch.u.

  This number isn't valid syntax: 
  
      1 | x = 1. -- missing some digits after the decimal
  
  I was expecting some digits after the `.` , for example: `1.0`
  or `1.1e37`.

x = 1e -- missing an exponent

  Loading changes detected in scratch.u.

  This number isn't valid syntax: 
  
      1 | x = 1e -- missing an exponent
  
  I was expecting some digits for the exponent, for example:
  `1e37`.

x = 1e- -- missing an exponent

  Loading changes detected in scratch.u.

  This number isn't valid syntax: 
  
      1 | x = 1e- -- missing an exponent
  
  I was expecting some digits for the exponent, for example:
  `1e-37`.

x = 1E+ -- missing an exponent

  Loading changes detected in scratch.u.

  This number isn't valid syntax: 
  
      1 | x = 1E+ -- missing an exponent
  
  I was expecting some digits for the exponent, for example:
  `1e+37`.

Hex, octal, and bytes literals

x = 0xoogabooga -- invalid hex chars

  Loading changes detected in scratch.u.

  This number isn't valid syntax: 
  
      1 | x = 0xoogabooga -- invalid hex chars
  
  I was expecting only hexidecimal characters (one of
  0123456789abcdefABCDEF) after the 0x.

x = 0o987654321 -- 9 and 8 are not valid octal char

  Loading changes detected in scratch.u.

  This number isn't valid syntax: 
  
      1 | x = 0o987654321 -- 9 and 8 are not valid octal char
  
  I was expecting only octal characters (one of 01234567) after
  the 0o.

x = 0xsf -- odd number of hex chars in a bytes literal

  Loading changes detected in scratch.u.

  This bytes literal isn't valid syntax: 0xsf
  
      1 | x = 0xsf -- odd number of hex chars in a bytes literal
  
  I was expecting an even number of hexidecimal characters (one
  of 0123456789abcdefABCDEF) after the 0xs.

x = 0xsnotvalidhexchars -- invalid hex chars in a bytes literal

  Loading changes detected in scratch.u.

  This bytes literal isn't valid syntax: 0xsnotvalidhexchars
  
      1 | x = 0xsnotvalidhexchars -- invalid hex chars in a bytes literal
  
  I was expecting an even number of hexidecimal characters (one
  of 0123456789abcdefABCDEF) after the 0xs.

Layout errors

foo = else -- not matching if

  Loading changes detected in scratch.u.

  I found a closing 'else' here without a matching 'then'.
  
      1 | foo = else -- not matching if
  

foo = then -- unclosed

  Loading changes detected in scratch.u.

  I found a closing 'then' here without a matching 'if'.
  
      1 | foo = then -- unclosed
  

foo = with -- unclosed

  Loading changes detected in scratch.u.

  I found a closing 'with' here without a matching 'handle' or 'match'.
  
      1 | foo = with -- unclosed
  

Matching

-- No cases
foo = match 1 with

  Loading changes detected in scratch.u.

    😶
    
    I expected some patterns after a match / with or cases but I
    didn't find any.
    
        2 | foo = match 1 with
    

foo = match 1 with
  2 -- no right-hand-side

  Loading changes detected in scratch.u.

  I got confused here:
  
      3 | 
  
  I was surprised to find an end of section here.
  I was expecting one of these instead:
  
  * ","
  * case match
  * pattern guard

-- Mismatched arities
foo = cases
  1, 2 -> ()
  3 -> ()

  Loading changes detected in scratch.u.

    😶
    
    Not all the branches of this pattern matching have the same
    number of arguments. I was assuming they'd all have 2
    arguments (based on the previous patterns) but this one has
    1 arguments:
        4 |   3 -> ()
    

-- Missing a '->'
x = match Some a with
      None -> 
        1
      Some _
        2

  Loading changes detected in scratch.u.

  I got confused here:
  
      7 | 
  
  I was surprised to find an end of section here.
  I was expecting one of these instead:
  
  * ","
  * blank
  * case match
  * false
  * pattern guard
  * true

-- Missing patterns
x = match Some a with
      None -> 1
           -> 2
           -> 3

  Loading changes detected in scratch.u.

  I got confused here:
  
      4 |            -> 2
  
  
  I was surprised to find a -> here.
  I was expecting one of these instead:
  
  * end of input
  * newline or semicolon

-- Guards following an unguarded case
x = match Some a with
      None     -> 1
        | true -> 2

  Loading changes detected in scratch.u.

  I got confused here:
  
      4 |         | true -> 2
  
  
  I was surprised to find a '|' here.
  I was expecting one of these instead:
  
  * end of input
  * newline or semicolon

Watches

-- Empty watch
>

  Loading changes detected in scratch.u.

  I expected a non-empty watch expression and not just ">"
  
      2 | >
  

Keywords

use.keyword.in.namespace = 1

  Loading changes detected in scratch.u.

  The identifier `namespace` used here is a reserved keyword: 
  
      1 | use.keyword.in.namespace = 1
  
  You can avoid this problem either by renaming the identifier
  or wrapping it in backticks (like `namespace` ).

-- reserved operator
a ! b = 1

  Loading changes detected in scratch.u.

  This looks like the start of an expression here 
  
      2 | a ! b = 1
  
  but at the file top-level, I expect one of the following:
  
    - A binding, like a = 42 OR
                      a : Nat
                      a = 42
    - A watch expression, like > a + 1
    - An `ability` declaration, like unique ability Foo where ...
    - A `type` declaration, like structural type Optional a = None | Some a