" FILE. . . . . c:/cygwin/home/hak/hlt/src/hlt/language/design/READ.ME "
" EDIT BY . . . Hassan Ait-Kaci "
" ON MACHINE. . Hp-Dv7 "
" STARTED ON. . Wed Jun 20 14:26:19 2012 "

" Last modified on Sat May 11 06:50:50 2019 by hak "

[NB: This will make more sense after reading http://hassan-ait-kaci.net/pdf/hak-opb.pdf]

This directory is split into four logical units that comprise the
hlt.language.design.* packages:

   Package hlt.language.design.kernel

	contains the classes defining the kernel language expressions
	and their sanitizer and compiler;

   Package hlt.language.design.types

	contains the classes defining the types and the typechecker,
	and the symbol table entries

   Package hlt.language.design.instructions

	contains the classes defining the abstract machine intructions
	based on an abstract interface for a runtime system;

   Package hlt.language.design.backend

	contains the classes defining the runtime system.

Some kernel classes import the types and base packages, and so do some
of the backend's runtime; some classes in base import types; the classes
in types involved in type-checking import the kernel package.

	  --------------<---------------
	 /                              \
      kernel --<--->-- types --<-->--instructions -->-- backend
                          \                               /
	                   ------------->-----------------