Logiweb(TM)

14.1 The origins of error messages

Prev Up Next Page 472 of 800 Search internet


The present chapter covers error messages and other messages which may arise when applying the lgc compiler to a source file.

The origin of an error message is the subsystem which generated the error message. The present chapter covers errors from the following origins:

lgwam
The Logiweb Abstract Machine as defined in lgwam.c.
test
Test case constructs as defined in base.lgs.
lgcio
The lgcio interface as defined in base.lgs.
lgc
The lgc compiler itself as define in lgc.lgs.
check
The Logiweb proof checker as defined in check.lgs.
Peano
Propositional calculus, first order predicate calculus, and Peano arithmetic as defined in Peano.lgs

Prev Up Next Page 472 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05