typing/typer.ml · 6c9cf0404e2c5bd31d0993741ea6458c2f4acef9 · cduce / cduce · GitLab

Find file Blame History Permalink

[r2003-11-28 11:18:14 by szach] better error message while referencing an unregistered schema · 6c9cf040
Pietro Abate authored Jul 10, 2007
```
Original author: szach
Date: 2003-11-28 11:18:14+00:00
```
6c9cf040