HigherOrderCO / Kind

A modern proof language
https://higherorderco.com
MIT License
3.58k stars 142 forks source link

Wrong compilation of generated names in Kindelia Backend #491

Closed algebraic-dev closed 1 year ago

algebraic-dev commented 1 year ago
#keep
Test (n: U60) : U60
Test n = 
  let state = Pair.new "Teste" 0
  match Pair state {
    new => 
      match String state.fst {
        nil => 
          1
        cons => 
          2
      }
  }

Is throwing an error "Invalid variable name for Kindelia"