Script started on Sat Sep 12 17:39:28 1998
koud@spock>ls

BExpInput.c	FunctionInput.h	SingleSub.c	ZDBInput.h	ar
BExpInput.h	Globals.h	SingleSub.h	ZFun.c		boolos
BoolExp.c	Input.c		StrucInput.c	ZFun.h		buf
BoolExp.h	Input.h		StrucInput.h	ZFunTree.c	compile
Cond.c		List.c		Structure.c	ZFunTree.h	crap.c
Cond.h		List.h		Structure.h	ZFunction.c	crap.c~
Constructor.c	List1.c		Sub.c		ZFunction.h	crap.h
Constructor.h	List1.h		Sub.h		ZParameter.c	crap1.c
Constructor2.c	ListIt.c	System.c	ZParameter.h	crap1.c~
Constructor2.h	ListIt.h	System.h	ZRule.c		defs1
DB.c		Main.c		Term.c		ZRule.h		duh
DB.h		Main.h		Term.h		ZRuleInp.c	g++
DB1.c		Name.c		TermInput.c	ZRuleInp.h	half
DB1.h		Name.h		TermInput.h	ZSingleSub.c	job
DBInput.c	Name2.c		Test.c		ZSingleSub.h	makefile
DBInput.h	Name2.h		Tree		ZStructure.c	newdefs
DM		OldDefs		VPArray.c	ZStructure.h	plus
Defs		OldMakeFile	VPArray.h	ZSub.c		remake
Defs.h		OldSub.c	VPArrayTest.c	ZSub.h		s
Error.c		OldTermInput.c	ZBoolExp.c	ZTerm.c		s1
Error.h		Parameter.c	ZBoolExp.h	ZTerm.h		script
Fun.c		Parameter.h	ZCond.c		ZTermInput.c	struc
Fun.h		Rule.c		ZCond.h		ZTermInput.h	tel
FunTree.c	Rule.h		ZConstructor.c	Znotes		temps.c
FunTree.h	RuleInp.c	ZConstructor.h	Ztemps.c	typescript
Function.c	RuleInp.h	ZDB.c		a		wall
Function.h	Selector.c	ZDB.h		a.out
FunctionInput.c	Selector.h	ZDBInput.c	ai
koud@spock>more duh

 







structure atom(index:number):sexpr 
          nil:sexpr
          cons(car:sexpr,cdr:sexpr):sexpr.



     
   
koud@spock>a.out

koud@spock>ai

ai: Permission denied.
koud@spock>ls

BExpInput.c	FunctionInput.h	SingleSub.c	ZDBInput.h	ar
BExpInput.h	Globals.h	SingleSub.h	ZFun.c		boolos
BoolExp.c	Input.c		StrucInput.c	ZFun.h		buf
BoolExp.h	Input.h		StrucInput.h	ZFunTree.c	compile
Cond.c		List.c		Structure.c	ZFunTree.h	crap.c
Cond.h		List.h		Structure.h	ZFunction.c	crap.c~
Constructor.c	List1.c		Sub.c		ZFunction.h	crap.h
Constructor.h	List1.h		Sub.h		ZParameter.c	crap1.c
Constructor2.c	ListIt.c	System.c	ZParameter.h	crap1.c~
Constructor2.h	ListIt.h	System.h	ZRule.c		defs1
DB.c		Main.c		Term.c		ZRule.h		duh
DB.h		Main.h		Term.h		ZRuleInp.c	g++
DB1.c		Name.c		TermInput.c	ZRuleInp.h	half
DB1.h		Name.h		TermInput.h	ZSingleSub.c	job
DBInput.c	Name2.c		Test.c		ZSingleSub.h	makefile
DBInput.h	Name2.h		Tree		ZStructure.c	newdefs
DM		OldDefs		VPArray.c	ZStructure.h	plus
Defs		OldMakeFile	VPArray.h	ZSub.c		remake
Defs.h		OldSub.c	VPArrayTest.c	ZSub.h		s
Error.c		OldTermInput.c	ZBoolExp.c	ZTerm.c		s1
Error.h		Parameter.c	ZBoolExp.h	ZTerm.h		script
Fun.c		Parameter.h	ZCond.c		ZTermInput.c	struc
Fun.h		Rule.c		ZCond.h		ZTermInput.h	tel
FunTree.c	Rule.h		ZConstructor.c	Znotes		temps.c
FunTree.h	RuleInp.c	ZConstructor.h	Ztemps.c	typescript
Function.c	RuleInp.h	ZDB.c		a		wall
Function.h	Selector.c	ZDB.h		a.out
FunctionInput.c	Selector.h	ZDBInput.c	ai
koud@spock>wall


^C

koud@spock>ls

BExpInput.c	FunctionInput.h	SingleSub.c	ZDBInput.h	ar
BExpInput.h	Globals.h	SingleSub.h	ZFun.c		boolos
BoolExp.c	Input.c		StrucInput.c	ZFun.h		buf
BoolExp.h	Input.h		StrucInput.h	ZFunTree.c	compile
Cond.c		List.c		Structure.c	ZFunTree.h	crap.c
Cond.h		List.h		Structure.h	ZFunction.c	crap.c~
Constructor.c	List1.c		Sub.c		ZFunction.h	crap.h
Constructor.h	List1.h		Sub.h		ZParameter.c	crap1.c
Constructor2.c	ListIt.c	System.c	ZParameter.h	crap1.c~
Constructor2.h	ListIt.h	System.h	ZRule.c		defs1
DB.c		Main.c		Term.c		ZRule.h		duh
DB.h		Main.h		Term.h		ZRuleInp.c	g++
DB1.c		Name.c		TermInput.c	ZRuleInp.h	half
DB1.h		Name.h		TermInput.h	ZSingleSub.c	job
DBInput.c	Name2.c		Test.c		ZSingleSub.h	makefile
DBInput.h	Name2.h		Tree		ZStructure.c	newdefs
DM		OldDefs		VPArray.c	ZStructure.h	plus
Defs		OldMakeFile	VPArray.h	ZSub.c		remake
Defs.h		OldSub.c	VPArrayTest.c	ZSub.h		s
Error.c		OldTermInput.c	ZBoolExp.c	ZTerm.c		s1
Error.h		Parameter.c	ZBoolExp.h	ZTerm.h		script
Fun.c		Parameter.h	ZCond.c		ZTermInput.c	struc
Fun.h		Rule.c		ZCond.h		ZTermInput.h	tel
FunTree.c	Rule.h		ZConstructor.c	Znotes		temps.c
FunTree.h	RuleInp.c	ZConstructor.h	Ztemps.c	typescript
Function.c	RuleInp.h	ZDB.c		a		wall
Function.h	Selector.c	ZDB.h		a.out
FunctionInput.c	Selector.h	ZDBInput.c	ai
koud@spock>
[Kkoud@spock>lswall



^C

koud@spock>

koud@spock>

koud@spock>c

[H[2Jkoud@spock>

koud@spock>ls

BExpInput.c	FunTree.c	OldSub.c	TermInput.h	ZParameter.h	compile
BExpInput.h	FunTree.h	OldTermInput.c	Test.c		ZRule.c		crap.c
BoolExp.c	Function.c	Parameter.c	Tree		ZRule.h		crap.c~
BoolExp.h	Function.h	Parameter.h	VPArray.c	ZRuleInp.c	crap.h
Cond.c		FunctionInput.c	Rule.c		VPArray.h	ZRuleInp.h	crap1.c
Cond.h		FunctionInput.h	Rule.h		VPArrayTest.c	ZSingleSub.c	crap1.c~
Constructor.c	Globals.h	RuleInp.c	ZBoolExp.c	ZSingleSub.h	defs1
Constructor.h	Input.c		RuleInp.h	ZBoolExp.h	ZStructure.c	duh
Constructor2.c	Input.h		Selector.c	ZCond.c		ZStructure.h	g++
Constructor2.h	List.c		Selector.h	ZCond.h		ZSub.c		half
DB.c		List.h		SingleSub.c	ZConstructor.c	ZSub.h		job
DB.h		List1.c		SingleSub.h	ZConstructor.h	ZTerm.c		makefile
DB1.c		List1.h		StrucInput.c	ZDB.c		ZTerm.h		newdefs
DB1.h		ListIt.c	StrucInput.h	ZDB.h		ZTermInput.c	plus
DBInput.c	ListIt.h	Structure.c	ZDBInput.c	ZTermInput.h	remake
DBInput.h	Main.c		Structure.h	ZDBInput.h	Znotes		s
DM		Main.h		Sub.c		ZFun.c		Ztemps.c	s1
Defs		Name.c		Sub.h		ZFun.h		a		script
Defs.h		Name.h		System.c	ZFunTree.c	a.out		struc
Error.c		Name2.c		System.h	ZFunTree.h	ai		tel
Error.h		Name2.h		Term.c		ZFunction.c	ar		temps.c
Fun.c		OldDefs		Term.h		ZFunction.h	boolos		typescript
Fun.h		OldMakeFile	TermInput.c	ZParameter.c	buf		wall
koud@spock>moer compile

moer: Command not found.
koud@spock>more compile

For templates:

g++ -c -fno-implicit-templates temps.c

For others:

g++ -o new FunctionInput.o
Structure.o Selector.o Constructor.o Fun.o 
Function.o FunTree.o Term.o TermInput.o BoolExp.o BExpInput.o temps.o Error.o
Parameter.o Cond.o StrucInput.o Name.o

koud@spock>remake

g++ -c Term.c
Constructor.h: In method `void Constructor::AddSelector(const class Selector *)':
In file included from Structure.h:14,
                 from Term.h:8,
                 from Term.c:1:
Constructor.h:60: bad argument 1 for function `void List<Selector *>::Append(class Selector *const &)' (type was const class Selector *)
Structure.h: In method `void Structure::AddConstructor(const class Constructor *)':
In file included from Term.h:8,
                 from Term.c:1:
Structure.h:33: bad argument 1 for function `void List<Constructor *>::Append(class Constructor *const &)' (type was const class Constructor *)
Term.h: In method `class Term * Term::GetNthSubterm(int) const':
In file included from Term.c:1:
Term.h:92: warning: ANSI C++ forbids implicit conversion from `void *' in return
Function.h: In method `void Function::AppendParam(const class Parameter *)':
In file included from TermInput.h:7,
                 from Sub.h:5,
                 from Term.c:3:
Function.h:40: bad argument 1 for function `void List<Parameter *>::Append(class Parameter *const &)' (type was const class Parameter *)
Function.h: In method `void Function::AppendCond(const class Cond *)':
Function.h:44: bad argument 1 for function `void List<Cond *>::Append(class Cond *const &)' (type was const class Cond *)
Term.c: In method `class Structure * Term::IsGroundObject()':
Term.c:268: warning: ANSI C++ forbids implicit conversion from `void *' in return
Term.c: In method `class Term * Term::Evaluate(class Structure *&)':
Term.c:344: warning: ANSI C++ forbids implicit conversion from `void *' in return
g++ -c TermInput.c
Constructor.h: In method `void Constructor::AddSelector(const class Selector *)':
In file included from Structure.h:14,
                 from Term.h:8,
                 from TermInput.h:4,
                 from TermInput.c:1:
Constructor.h:60: bad argument 1 for function `void List<Selector *>::Append(class Selector *const &)' (type was const class Selector *)
Structure.h: In method `void Structure::AddConstructor(const class Constructor *)':
In file included from Term.h:8,
                 from TermInput.h:4,
                 from TermInput.c:1:
Structure.h:33: bad argument 1 for function `void List<Constructor *>::Append(class Constructor *const &)' (type was const class Constructor *)
Term.h: In method `class Term * Term::GetNthSubterm(int) const':
In file included from TermInput.h:4,
                 from TermInput.c:1:
Term.h:92: warning: ANSI C++ forbids implicit conversion from `void *' in return
Function.h: In method `void Function::AppendParam(const class Parameter *)':
In file included from TermInput.h:7,
                 from TermInput.c:1:
Function.h:40: bad argument 1 for function `void List<Parameter *>::Append(class Parameter *const &)' (type was const class Parameter *)
Function.h: In method `void Function::AppendCond(const class Cond *)':
Function.h:44: bad argument 1 for function `void List<Cond *>::Append(class Cond *const &)' (type was const class Cond *)
TermInput.c: In method `class Term * Term_Input::ParseTerm()':
TermInput.c:75: warning: initialization of non-const `char *&' from rvalue `char *'
TermInput.c:52: warning: in passing argument 2 of `Term_Input::Match(Term_Input::TokenType, char *&, const char *)'
g++ -c BoolExp.c
Constructor.h: In method `void Constructor::AddSelector(const class Selector *)':
In file included from Structure.h:14,
                 from Term.h:8,
                 from BoolExp.h:8,
                 from BoolExp.c:1:
Constructor.h:60: bad argument 1 for function `void List<Selector *>::Append(class Selector *const &)' (type was const class Selector *)
Structure.h: In method `void Structure::AddConstructor(const class Constructor *)':
In file included from Term.h:8,
                 from BoolExp.h:8,
                 from BoolExp.c:1:
Structure.h:33: bad argument 1 for function `void List<Constructor *>::Append(class Constructor *const &)' (type was const class Constructor *)
Term.h: In method `class Term * Term::GetNthSubterm(int) const':
In file included from BoolExp.h:8,
                 from BoolExp.c:1:
Term.h:92: warning: ANSI C++ forbids implicit conversion from `void *' in return
g++ -c BExpInput.c
Constructor.h: In method `void Constructor::AddSelector(const class Selector *)':
In file included from Structure.h:14,
                 from Term.h:8,
                 from BoolExp.h:8,
                 from BExpInput.h:5,
                 from BExpInput.c:1:
Constructor.h:60: bad argument 1 for function `void List<Selector *>::Append(class Selector *const &)' (type was const class Selector *)
Structure.h: In method `void Structure::AddConstructor(const class Constructor *)':
In file included from Term.h:8,
                 from BoolExp.h:8,
                 from BExpInput.h:5,
                 from BExpInput.c:1:
Structure.h:33: bad argument 1 for function `void List<Constructor *>::Append(class Constructor *const &)' (type was const class Constructor *)
Term.h: In method `class Term * Term::GetNthSubterm(int) const':
In file included from BoolExp.h:8,
                 from BExpInput.h:5,
                 from BExpInput.c:1:
Term.h:92: warning: ANSI C++ forbids implicit conversion from `void *' in return
Function.h: In method `void Function::AppendParam(const class Parameter *)':
In file included from TermInput.h:7,
                 from BExpInput.h:6,
                 from BExpInput.c:1:
Function.h:40: bad argument 1 for function `void List<Parameter *>::Append(class Parameter *const &)' (type was const class Parameter *)
Function.h: In method `void Function::AppendCond(const class Cond *)':
Function.h:44: bad argument 1 for function `void List<Cond *>::Append(class Cond *const &)' (type was const class Cond *)
BExpInput.c: In method `class BoolExp * BExp_Input::P()':
BExpInput.c:130: warning: initialization of non-const `char *&' from rvalue `char *'
BExpInput.c:55: warning: in passing argument 2 of `BExp_Input::Match(BExp_Input::TokenType, char *&, const char *)'
g++ -c Constructor.c
Constructor.h: In method `void Constructor::AddSelector(const class Selector *)':
In file included from Constructor.c:2:
Constructor.h:60: bad argument 1 for function `void List<Selector *>::Append(class Selector *const &)' (type was const class Selector *)
g++ -c Selector.c
g++ -c Structure.c
Constructor.h: In method `void Constructor::AddSelector(const class Selector *)':
In file included from Structure.h:14,
                 from Structure.c:5:
Constructor.h:60: bad argument 1 for function `void List<Selector *>::Append(class Selector *const &)' (type was const class Selector *)
Structure.h: In method `void Structure::AddConstructor(const class Constructor *)':
In file included from Structure.c:5:
Structure.h:33: bad argument 1 for function `void List<Constructor *>::Append(class Constructor *const &)' (type was const class Constructor *)
g++ -c StrucInput.c
Constructor.h: In method `void Constructor::AddSelector(const class Selector *)':
In file included from StrucInput.h:5,
                 from StrucInput.c:1:
Constructor.h:60: bad argument 1 for function `void List<Selector *>::Append(class Selector *const &)' (type was const class Selector *)
Structure.h: In method `void Structure::AddConstructor(const class Constructor *)':
In file included from StrucInput.h:6,
                 from StrucInput.c:1:
Structure.h:33: bad argument 1 for function `void List<Constructor *>::Append(class Constructor *const &)' (type was const class Constructor *)
StrucInput.c: In method `void Struc_Input::Parse()':
StrucInput.c:26: warning: initialization of non-const `char *&' from rvalue `char *'
StrucInput.h:33: warning: in passing argument 2 of `Struc_Input::Match(Struc_Input::TokenType, char *&, const char *)'
StrucInput.c:28: warning: initialization of non-const `char *&' from rvalue `char *'
StrucInput.h:33: warning: in passing argument 2 of `Struc_Input::Match(Struc_Input::TokenType, char *&, const char *)'
StrucInput.c:29: warning: initialization of non-const `char *&' from rvalue `char *'
StrucInput.h:33: warning: in passing argument 2 of `Struc_Input::Match(Struc_Input::TokenType, char *&, const char *)'
StrucInput.c: In method `class Constructor * Struc_Input::ParseCon(char *&)':
StrucInput.c:94: warning: initialization of non-const `char *&' from rvalue `char *'
StrucInput.h:33: warning: in passing argument 2 of `Struc_Input::Match(Struc_Input::TokenType, char *&, const char *)'
StrucInput.c:97: warning: initialization of non-const `char *&' from rvalue `char *'
StrucInput.h:33: warning: in passing argument 2 of `Struc_Input::Match(Struc_Input::TokenType, char *&, const char *)'
StrucInput.c:98: warning: initialization of non-const `char *&' from rvalue `char *'
StrucInput.h:33: warning: in passing argument 2 of `Struc_Input::Match(Struc_Input::TokenType, char *&, const char *)'
StrucInput.c: In method `class Selector * Struc_Input::ParseSelec(int &)':
StrucInput.c:124: warning: initialization of non-const `char *&' from rvalue `char *'
StrucInput.h:33: warning: in passing argument 2 of `Struc_Input::Match(Struc_Input::TokenType, char *&, const char *)'
g++ -c Parameter.c
Constructor.h: In method `void Constructor::AddSelector(const class Selector *)':
In file included from Structure.h:14,
                 from Parameter.h:7,
                 from Parameter.c:1:
Constructor.h:60: bad argument 1 for function `void List<Selector *>::Append(class Selector *const &)' (type was const class Selector *)
Structure.h: In method `void Structure::AddConstructor(const class Constructor *)':
In file included from Parameter.h:7,
                 from Parameter.c:1:
Structure.h:33: bad argument 1 for function `void List<Constructor *>::Append(class Constructor *const &)' (type was const class Constructor *)
g++ -c Cond.c




Constructor.h: In method `void Constructor::AddSelector(const class Selector *)':
In file included from Structure.h:14,
                 from Term.h:8,
                 from Cond.h:4,
                 from Cond.c:1:
Constructor.h:60: bad argument 1 for function `void List<Selector *>::Append(class Selector *const &)' (type was const class Selector *)

Structure.h: In me