search

Feldspar / feldspar-language

The goal of the Feldspar project is to define a high-level language that allows description of high-performance digital signal processing algorithms.
Other
45 stars 3 forks source link

Reduce contexts in Op #453

Closed pjonsson closed 4 years ago

pjonsson commented 4 years ago

Other classes often imply Type a, there are for example no instances of Num a where a is not in Type in Feldspar. Remove the Type a in Op on those classes, except for the two places where it is currently required for SizeProp.