products/sources/formale Sprachen/Coq/test-suite/output/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: mirabelle.ML   Sprache: SML

Haftungsausschluß.out KontaktHaskell {Haskell[354] Fortran[581] CS[609]}diese Dinge liegen außhalb unserer Verantwortung

The command has indeed failed with message:
unit: Not a projection.
The command has indeed failed with message:
unit: Not a projection.
The command has indeed failed with message:
This record contains fields of both t and t'.
The command has indeed failed with message:
unit: Not a projection.
The command has indeed failed with message:
This record defines several times the field foo.
The command has indeed failed with message:
This record defines several times the field unit.
The command has indeed failed with message:
unit: Not a projection of inductive t.

[ Seitenstruktur0.80Drucken  ]