search

DenialAdams / roland

Roland programming language
https://www.brick.codes/roland
Apache License 2.0
46 stars 0 forks source link

Constant folding warnings come in pretty late and we could get spurious warnings when combined with monomorphization #99

Open DenialAdams opened 1 year ago

DenialAdams commented 1 year ago

Maybe it's better if we run constant folding before monomorphization and just accept we will miss some chances

DenialAdams commented 1 year ago

Maybe it's better if we run constant folding before monomorphization and just accept we will miss some chances

Well, we need to fold builtins, but maybe we could turn off warnings on the second pass

DenialAdams commented 1 month ago

Maybe it's better if we run constant folding before monomorphization and just accept we will miss some chances

Monomorphization is now a pre-requisite for type checking, so this is no longer possible