search

aldorlang / aldor

The Aldor Programming Language
http://pippijn.github.io/aldor/
33 stars 11 forks source link

Pab/work branch #124

Closed pbroadbery closed 6 years ago

pbroadbery commented 6 years ago

Changes mostly around java exports, and making asy files smaller. Type system fixes as well

pbroadbery commented 6 years ago

Thanks - will work through your comments. Apologies for the patch bomb, but I wanted to fix some type inference stuff for fricas, and this was top of changes related to the intellij plugin since both required type system changes. Thus the rather large number of changes.

The java export stuff feels quite good as well.

pippijn commented 6 years ago

Feel free to merge this when ready.

pbroadbery commented 6 years ago

Merged, thanks for spotting the various issues - an extra pair of eyes is always welcome.