src/evalConst.mli · 9f34e8040f791bfba87ea947e89a94e09559cf24 · verimag / synchrone / lustre-v6 · GitLab

Snippets Groups Projects

gricad-gitlab sera indisponible mardi 08/04/2025 entre 12h00 et 13h30 pour une opération de maintenance.

17 years ago
10fb4a48
Plug the type checking of equations. It seems to work, apart from iterators · 10fb4a48
Erwan Jahier authored 17 years ago
```
and anonymous structures. I've even found some type errors in the non-reg files!
```
10fb4a48

History
Plug the type checking of equations. It seems to work, apart from iterators
Erwan Jahier authored 17 years ago
```
and anonymous structures. I've even found some type errors in the non-reg files!
```

evalConst.mli 2.65 KiB