diff options
| author | Matthias Schiffer <mschiffer@universe-factory.net> | 2024-04-30 00:07:20 +0200 |
|---|---|---|
| committer | Matthias Schiffer <mschiffer@universe-factory.net> | 2024-04-30 00:15:43 +0200 |
| commit | 3d9d7fd594323d04f77c48ddc3ef2c2b6dc580b7 (patch) | |
| tree | 1a5edf19a43cee9ad2543ff55521bd549536e22e /examples | |
| parent | 29ff7f69c654b5f0d3ea5a9d34ea747fab1e2d3d (diff) | |
| download | rebel-main.tar rebel-main.zip | |
rebel-parse, rebel-lang: remove array length from typesmain
Tuples are sufficient for fixed-length data. For arrays, the small
increase in type safety is not worth the large increase in complexity -
both for the typechecker, and the usage of the language.
The Coerce parameter of unify() is preserved for now, as it may become
useful again for other types like sets.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions