case statement with arms that return or discard look like they will produce incorrect type information

cbaggers / varjo

Lisp to GLSL Language Translator

BSD 2-Clause "Simplified" License

223 stars 23 forks source link

case statement with arms that return or discard look like they will produce incorrect type information #216

Open cbaggers opened 6 years ago

cbaggers commented 6 years ago

open src/vari.cl/special-operators/case.lisp
look at the compute-conditional-type-set function
the (= num-terminated 1) looks wrong

At first glace I think we want to remove the types of the terminating branches and then carry on as usual (generating the or type in the clause below)

cbaggers commented 6 years ago

fix is in master

cbaggers commented 6 years ago

I closed the wrong ticket