search

Barnard-PL-Labs / tsltools

Library and tools for the TSL specification format
Other
7 stars 4 forks source link

Nonsense Error #66

Closed w14 closed 11 months ago

w14 commented 11 months ago

I don't need this to work, but I'm being responsible and noting errors.

Error:

"Type Error" (line 3, column 22 - 27):
expecting expression of type: int
but found expression of type: int

Reproduce:

  1. Pull repo
  2. make
  3. ./tslsynth --js [filename]

where the filename contains:

always guarantee {
    true -> [y <- y + 1] || [y <- 0];
}
w14 commented 11 months ago

The new command is tsl synthesize