ooc-960509

[jnzimmer@informatik.uni-kl.de]

ChangeLog Apr 30 to May 9:

Wed May  8 11:37:38 1996  Juergen Zimmermann  <jnzimmer@informatik.uni-kl.de>

	* optimizers/ConstPropagation.Mod:
	(SkipRegionsWithMerge) Fixed bug with region which was second operand
	of loop-merge skipped.

Tue May  7 14:49:17 1996  Michael van Acken  <acken@informatik.uni-kl.de>

	* frontend/doc/SymbolFile.ebnf:
	Added module flags to symbol file header.

	* frontend/doc/Errors.lst:
	Added messages for improper use of foreign types.

	* frontend/Attributes.Mod, frontend/ParseDecl.Mod, frontend/ParseExpr.Mod, frontend/ParseStatm.Mod:
	Changed code generation and semantic checks to handle non-Oberon types
	and objects.

	* frontend/SymbolTable.Mod (ParamsMatch):
	Calls StdTypes.ParamMatchExt to extend test for
	matching parameters by back-end specific criteria (like parameter
	locations, calling convention, special parameters).

	* frontend/Scanner.Mod:
	Introduced global variable `allowUnderscore'.  If set, then `_' is a
	legal character for identifiers.

	* frontend/Opcode.Mod (PassPerReference): Moved to module StdTypes.

	Extended specs of opcode `string-copy' to deal with non-Oberon
	destination whose length isn't known.

	* frontend/Data.Mod:
	Added various flags for Objects and Structs to model non-standard
	types introduced when interfacing to foreign (i.e. C) code.

	* backend/ansi-c/Build.Mod, backend/ansi-c/CodeGen.Mod, backend/ansi-c/FileData.Mod, backend/ansi-c/GenDecl.Mod, backend/ansi-c/StdTypes.Mod, backend/ansi-c/SystemFlags.Mod, backend/ansi-c/oo2c.Mod:
	Snapshot.  INTERFACE files can be compiled; `make all' on the
	full oo2c sources compiles (both for Oberon-2 and the generated
	C declarations) without errors; not a single statement is
	translated, though

	* frontend/SymbolFile.Mod (Write, Read):
	Added module flags to symbol file.
	(ReadObject): Set flag `objIsParameter' when reading C-style rest
	parameter.

Mon May  6 20:29:22 1996  Michael van Acken  <acken@informatik.uni-kl.de>

	* backend/demo/StdTypes.Mod:
	Added predicates ParamsMatchExt and PassPerReference.  See sources for
	specs.

	* tools/oob.Mod: Fixed init of Error module.

Wed May  1 06:13:54 1996  Michael van Acken  <acken@informatik.uni-kl.de>

	* backend/ansi-c/GenInclude.Mod: Initial revision

	* frontend/ParseStatm.Mod (RegisterSideEffects): Fixed last bugfix.


  -- Juergen Zimmermann