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: ssrmatching_plugin.mlpack   Sprache: Unknown

Untersuchungsergebnis.out Download desText {Text[72] Latech[114] Haskell[166]}zum Wurzelverzeichnis wechseln

File "stdin", line 10, characters 0-28:
Warning:
New coercion path [ac; cd] : A >-> D is ambiguous with existing 
[ab; bd] : A >-> D. [ambiguous-paths,typechecker]
[ab] : A >-> B
[ab; bd] : A >-> D
[ac] : A >-> C
[bd] : B >-> D
[cd] : C >-> D
[B_A] : B >-> A
[C_A] : C >-> A
[D_B] : D >-> B
[D_A] : D >-> A
[D_C] : D >-> C
[A'_A] : A' >-> A
[B_A'] : B >-> A'
[B_A'; A'_A] : B >-> A
[C_A'] : C >-> A'
[C_A'; A'_A] : C >-> A
[D_B; B_A'] : D >-> A'
[D_A] : D >-> A
[D_B] : D >-> B
[D_C] : D >-> C
File "stdin", line 103, characters 0-86:
Warning:
New coercion path [D_C; C_A'] : D >-> A' is ambiguous with existing 
[D_B; B_A'] : D >-> A'. [ambiguous-paths,typechecker]
[A'_A] : A' >-> A
[B_A'] : B >-> A'
[B_A'; A'_A] : B >-> A
[C_A'] : C >-> A'
[C_A'; A'_A] : C >-> A
[D_B; B_A'] : D >-> A'
[D_A] : D >-> A
[D_B] : D >-> B
[D_C] : D >-> C

[ zur Elbe Produktseite wechseln0.188Quellennavigators  ]