Mikhail Vorobev comments

Repositories
Issues
Comments

Results 2 comments of


                                            Mikhail Vorobev

Refining with quantification over constants does not compile

Yes, you are right, type is widened. I think it is not a compiler bug then, it is expected behaviour. Type is widened to `Int` because the compiled code of...

feat(compiler): Compile aqua compiler to native library [fixes LNG-126]

GraalVM native-image dies for reasons unknown ``` com.oracle.svm.driver.NativeImage$NativeImageError: Image build request failed with exit status 143 ```