src/tokenType.ml · a4611cf86cab2fca17056a7eb28c7d5da9fce5f7 · POTTIER Francois / menhir · GitLab

Mentions légales du service

Exceptional GitLab maintenance is scheduled for September 18, 2025. The service will be unavailable between 5:00 and 7:00 pm. Please do not work on the platform until an announcement indicates that maintenance is complete.

Oct 05, 2015
a4611cf8
Always generate a definition of the [token] type, either as ADT or as alias. · a4611cf8
POTTIER Francois authored Oct 05, 2015
```
This fixes the bug where --table and --external-tokens did not work together.
```
a4611cf8
Always generate a definition of the [token] type, either as ADT or as alias.
POTTIER Francois authored Oct 05, 2015
```
This fixes the bug where --table and --external-tokens did not work together.
```