search

microsoft / knossos-ksc

Compiler with automatic differentiation
Other
45 stars 10 forks source link

bool should be (ks::)Bool? #937

Closed toelli-msft closed 3 years ago

toelli-msft commented 3 years ago

Should the return types be (capitalized) Bool?

https://github.com/microsoft/knossos-ksc/blob/333c2ec4ed53f2818810a902aea52b57b8f94ce3/src/runtime/knossos-prelude.h#L147-L148