LightAndLight / ipso

A functional scripting language.
https://ipso.dev
17 stars 1 forks source link

Record types require too much indentation #365

Closed LightAndLight closed 1 year ago

LightAndLight commented 1 year ago

When I wrote a type signature like this:

parseUri : 
  String -> 
  (| 
    Object : { hash : String },
    Blob : { hash : String },
    Commit : { 
      hash : String,
      path : (|
        None : (),
        Tree : Array String,
        Parent : Array String
      |)
    },
    Tree : { hash : String },
    Error : String
  |)

I got an error:

error: expected one of: indent (>= 13)
   |
xx |       hash : String,
   |       ^

The type I wrote should be syntactically valid.