14.1 The origins of error messages
   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
| Page 472 of 800 |
| Search logiweb.eu |
Copyright © 2010
Klaus Grue,
GRD-2010-01-05