DIJamner / InDependent

A gradual, dependently typed language
7 stars 1 forks source link

The compiler should have support for unsafe number conversion #10

Open DIJamner opened 9 years ago

DIJamner commented 9 years ago

The compiler should be able to convert from base library number structures to native language numbers. In most cases this requires unsafe conversions and is therefore not allowed by default. However, there should be a flag to enable this. This first relies upon the existence of base libraries.