Add a `Data` constraint and apply it where needed

google-research / dex-lang

Research language for array processing in the Haskell/ML family

BSD 3-Clause "New" or "Revised" License

1.58k stars 107 forks source link

Closed axch closed 1 year ago

axch commented 1 year ago

Makes progress on Issue #1150; fixes #609.

Other, more minor uses for Data remain unannotated (e.g., uninitialized_value)

axch commented 1 year ago

Updated to finish the nitpicks I know how to finish. Now I think this fixes #1150.