MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Warnings for pattern matching." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Code reuse through polymorphic variants
by Jacques Garrigue — 2000 — In Workshop on Foundations of Software Engineering
…. Warning: this pattern-matching is not exhaustive. Here is an example of a value that is not matched: Conc…
Cited by 26 (3 self) – Add To MetaCart

CSL 102; Introduction to Computer Science
by Out Ocaml S, Eep Sen
…’ | ’b’ -> ’B’| ’c’ -> ’C’ ;; Warning: this pattern-matching is not exhaustive. Here is an example…
Add To MetaCart

found at the ENTCS Macro Home Page.
by Horatiu Cirstea B, Germain Faure A, Claude Kirchner B
… to the previous definitions of car and cdr with: Warning: this pattern-matching is not exhaustive. Here…
Add To MetaCart

Repairing Type Errors in Functional Programs
by Bruce James McAdam — 2001
…, in contrast to warning messages which do not prevent compilation (e.g. a warning that pattern matching…
Cited by 6 (1 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB