search

microsoft / knossos-ksc

Compiler with automatic differentiation
Other
45 stars 10 forks source link

Formalise ks types #930

Closed awf closed 3 years ago

awf commented 3 years ago

Previously we translated Integer in .ks source files to C++ int, which meant we couldn't easily change the bit depth if needed.

This change ennsures that ks types are distinguished from C++ types.

awf commented 3 years ago

I just made tuple -> Tuple too