Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Cobol/Test-Suite/CLBRY/     Datei vom 4.1.2008 mit Größe 82 B image not shown  

Quellcode-Bibliothek bug_15681.v   Sprache: Coq

 
  Ltac2

Definition foo{

Ltac2 ):=constr )java.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43

 Ltac2  (.

Ltac2 feed_constr_to_foo

Ltac2  feed_constr_to_foo:(fun nat) = a +). (* succeeds *)

Fail  feed_constr_to_foo:(1.

Definition nat_to_fun (n:nat) : nat -> nat := plus n.
Coercion nat_to_fun : nat >-> Funclass.

Fail Eval feed_constr_to_foo:(1).

99%


¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.3Bemerkung:  ¤

*© Formatika GbR, Deutschland




Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.