Add Bool logic to Monomorpher

flix / flix

The Flix Programming Language

https://flix.dev/

Other

2.15k stars 151 forks source link

Add Bool logic to Monomorpher #8768

Open JonathanStarup opened 5 days ago

JonathanStarup commented 5 days ago

Right now we erase free bool type variables to AnyType and do not require ground formulas. is this a problem @mlutze? shouldn't we just handle them to avoid a pothole for some future programmer?

mlutze commented 5 days ago

Yeah, in principle we should handle them properly.

JonathanStarup commented 5 days ago

Okay, ill fix it after #8769