#include "std.h"
#include "parser.h"
#include "config.h"

static const double PI=3.1415926535897932384626433832795;

using namespace CG;

void Parser::fail( const char *fmt,... ){
	char buf[256];
	va_list args;
	va_start( args,fmt );
	vsprintf( buf,fmt,args );
	source_info=toker->sourceInfo();
	::fail( buf );
}

int Parser::curr(){
	return toker->curr();
}

int Parser::next(){
	return toker->next();
}

string Parser::text(){
	return toker->text();
}

bstring Parser::wtext(){
	if( toker->curr()==T_STRINGCONST ) return unescapeString( toker->wtext() );
	return toker->wtext();
}

void Parser::exp( int n ){
	fail( "Expecting %s but encountered %s",Toker::toString(n).c_str(),Toker::toString(curr()).c_str() );
}

void Parser::exp( string t ){
	fail( "Expecting %s but encountered %s",t.c_str(),Toker::toString(curr()).c_str() );
}

string Parser::parse( int n ){
	if( curr()!=n ) exp(n);
	string t=text();
	next();return t;
}

bool Parser::cparse( int n ){
	if( curr()!=n ) return false;
	next();return true;
}

bool Parser::pub(){
	return pub_ && block==mainFun;
}

void Parser::emitDebugInfo(){
	if( !block->debug_on ) return;
	DebugInfoStm *t=new DebugInfoStm;
	t->source_info=source_info;
	block->emit(t);
}

void Parser::emit( Stm *t,bool debugInfo ){
	if( debugInfo ) emitDebugInfo();
	t->source_info=source_info;
	block->emit(t);
}

void Parser::decl( Decl *d ){
	block->decl(d);
	if( pub() ) publish( d );
}

Type *Parser::parseLitType( Type *ty ){
	switch( curr() ){
	case '%':next();return cparse('%') ? Type::int64 : Type::int32;
	case '#':next();return cparse('#') ? Type::float64 : Type::float32;
	case '!':next();return Type::float64;
	case ':':next();break;
	default:return ty;
	}
	switch( curr() ){
	case T_BYTE:next();return Type::int8;
	case T_SHORT:next();return Type::int16;
	case T_INT:next();return Type::int32;
	case T_LONG:next();return Type::int64;
	case T_FLOAT:next();return Type::float32;
	case T_DOUBLE:next();return Type::float64;
	}
	fail( "Expecting literal type" );
	return 0;
}

Val *Parser::parseLitVal(){
	Val *v;
	Type *ty;
	switch( curr() ){
	case T_INTCONST:
		v=new Val( toint(text()) );
		ty=Type::int32;
		break;
	case T_FLOATCONST:
		v=new Val( tofloat(text()) );
		ty=Type::float32;
		break;
	default:
		exp( "integer or floating point literal value" );
	}
	next();
	ty=parseLitType( ty );
	return v->cast( ty );
}

CGExp *Parser::parseLitExp( Type *ty ){
	int sign=0;
	for(;;){
		if( cparse('+') ){
		}else if( cparse('-') ){
			sign=sign ? -sign : -1;
		}else{
			break;
		}
	}
	Val *v;
	switch( curr() ){
	case T_INTCONST:{
		int64 n=toint(text());
		if( sign<0 ) n=-n;
		v=new Val( n );
		next();
		break;
		}
	case T_FLOATCONST:{
		double n=tofloat(text());
		if( sign<0 ) n=-n;
		v=new Val( n );
		next();
		break;
		}
	case T_STRINGCONST:{
		if( sign ) exp( "Numeric or string literal value" );
		v=new Val( parseBString() );
		break;
		}
	default:
		exp( "Numeric or string literal value" );
	}
	ty=parseLitType( ty );
	v=v->cast( ty );
	return v->cg_exp;
}

string Parser::parseString(){
	string t=parse(T_STRINGCONST);
	return t.substr(1,t.size()-2);
}

bstring Parser::parseBString(){
	if( curr()!=T_STRINGCONST ) exp(T_STRINGCONST);
	bstring t=wtext();next();
	return t.substr(1,t.size()-2);
}

string Parser::parseIdent(){
	if( !import_nest ) return parse(T_IDENT);
	switch( curr() ){
	case T_OBJECT:case T_STRING:case T_NEW:case T_DELETE:case T_IDENT:
		break;
	default:
		fail( "Invalid import identifier: %s",Toker::toString(curr()).c_str() );
	}
	string id=text();
	next();
	return id;
}

string Parser::parseClassName(){
	string id=parseIdent();
	while( cparse('.') ) id+='.'+parseIdent();
	return id;
}

string Parser::parseModuleName(){
	string id=parseIdent();
	while( cparse('.') ) id+='.'+parseIdent();
	return tolower(id);
}

static void ass( bool t ){
	if( !t ) fail( "Error in import file" );
}

CGExp *Parser::parseCGExp(){

	int sgn=1;
	if( cparse('-') ) sgn=-1;

	if( curr()==T_INTCONST || curr()==T_FLOATCONST ){
		Val *v=parseLitVal();
		CGLit *t=v->cg_exp->lit();
		if( t->type==CG_INT64 ) return lit( sgn * t->int_value );
		if( t->type==CG_FLOAT64 ) return lit( sgn * t->float_value );
		if( t->type==CG_INT32 ) return lit( sgn * int(t->int_value ) );
		if( t->type==CG_FLOAT32 ) return lit( sgn * float(t->float_value) );
		assert(0);
	}else if( curr()==T_STRINGCONST ){
		return sym(parseString(),CG_IMPORT);
	}else if( cparse('$') ){
		return (new Val(parseBString()))->cg_exp;
	}
	
	string id=parseIdent();

	if( id=="nan" ){
		double zero=0.0;
		if( cparse('#') ) return lit( float(0.0/zero) );
		if( cparse('!') ) return lit( double(0.0/zero) );
		fail( "Nan error" );
	}
	if( id=="inf" ){
		double zero=0.0;
		if( cparse('#') ) return lit( float(sgn/zero) );
		if( cparse('!') ) return lit( double(sgn/zero) );
		fail( "Inf error" );
	}

	int ty=CG_INT32;
	if( cparse(':') ){
		string t=parseIdent();
		switch(t[0]){
		case 'b':ty=CG_INT8;break;
		case 's':ty=CG_INT16;break;
		case 'i':ty=CG_INT32;break;
		case 'l':ty=CG_INT64;break;
		case 'p':ty=CG_PTR;break;
		case 'f':ty=CG_FLOAT32;break;
		case 'd':ty=CG_FLOAT64;break;
		default:fail( "Unrecognized intermediate code data type" );
		}
	}

	parse('(');
	CGExp *exp=0;

	if( id=="mem" ){
		exp=parseCGExp();
		int n=0;
		if( curr()!=')' ){
			parse(',');
			n=parseLitVal()->cg_exp->lit()->int_value;
		}
		exp=CG::mem(ty,exp,n);
	}else{
		fail( "Unrecognized intermediate code expression" );
	}
	
	parse(')');
	return exp;
}

Decl *Parser::parseImportDecl(){
	string id=parseIdent();
	Type  *ty=parseType();
	CGExp *cg=cparse(T_EQ) ? parseCGExp() : 0;
	return new Decl( id,ty,cg );
}

int Parser::parseCallConv(){

	if( curr()!=T_STRINGCONST ) return default_call_conv;
	
	string t=tolower(parseString());
	
	if( t=="c" ) return CG_CDECL;
	if( t=="blitz" ) return CG_CDECL;
	if( t=="os" ) t=env_platform;
	if( t=="macos" ) return CG_CDECL;
	if( t=="linux" ) return CG_CDECL;
	if( t=="win32" ) return CG_STDCALL;
	
	fail( "Unrecognized calling convention '%s'",t.c_str() );
	return 0;
}

void Parser::parseExtern(){
	next();
	
	++extern_nest;

	int call_conv=default_call_conv;
	default_call_conv=parseCallConv();
	
	while( !cparse(T_ENDEXTERN) ){
		source_info=toker->sourceInfo();
		if( cparse('\n') ){
		}else if( curr()==T_CONST ){
			parseConstDecls();
		}else if( cparse(T_GLOBAL) ){
			do{
				string id=parseIdent();
				Type *ty=parseRefType();
				CGExp *cg=cparse(T_EQ) ? parseCGExp() : 0;
				emit( new ExternDeclStm(T_GLOBAL,id,ty,cg,pub()),false );
			}while( cparse(',') );
		}else if( cparse(T_FUNCTION) ){
			do{
				string id=parseIdent();
				ExpSeq *defs=new ExpSeq();
				fun_defaults=defs;
				FunType *ty=parseType()->funType();
				fun_defaults=0;
				if( !ty ) exp( "function type" );
				CGExp *cg=cparse(T_EQ) ? parseCGExp() : 0;
				Decl *d=new FunDecl( id,ty,cg,block,defs );
				decl(d);
			}while( cparse(',') );
		}else if( cparse(T_TYPE) ){
			string id=parseIdent(),super_id;
			if( cparse(T_EXTENDS) ) super_id=parseIdent();
			ClassType *class_ty=new ClassType( super_id,block,ClassType::EXTERN );
			while( !cparse(T_ENDTYPE) ){
				if( cparse('\n') ){
				}else if( cparse(T_FIELD) ){
					do{
						string id=parseIdent();
						Type *ty=parseRefType();
						class_ty->fields.push_back( new Decl(id,ty,0) );
					}while( cparse(',') );
				}else if( cparse(T_METHOD) ){
					string id=parseIdent();
					ExpSeq *defs=new ExpSeq();
					fun_defaults=defs;
					FunType *ty=parseType()->funType();
					fun_defaults=0;
					if( !ty ) exp( "method type" );
					ty->attrs|=FunType::METHOD;
					CGExp *cg=cparse(T_EQ) ? parseCGExp() : 0;
					Decl *d=new FunDecl( id,ty,cg,block,defs );
					class_ty->methods.push_back( d );
/*
					string id=parseIdent();
					FunType *ty=parseType()->funType();
					if( !ty ) exp( "method type" );
					ty->attrs|=FunType::METHOD;
					class_ty->methods.push_back( new Decl(id,ty,0) );
*/
				}else{
					exp( "field or method declaration" );
				}
			}
			decl( new Decl(id,class_ty,lit0) );
		}else{
			fail( "Syntax error in extern block - expecting Const, Global, Function or Type declaration" );
		}
	}
	default_call_conv=call_conv;
	
	--extern_nest;
}

Type *Parser::parseBaseType(){
	Scope *scope=block;

	if( import_module ) scope=import_module;
	
	switch( curr() ){
	case '!':next();return Type::float64;
	case '$':next();return Type::stringObject;
	case '@':if( next()!='@' ) return Type::int8;
		next();return Type::int16;
	case '%':if( next()!='%' ) return Type::int32;
		next();return Type::int64;
	case '#':if( next()!='#' ) return Type::float32;
		next();return Type::float64;
	case T_CSTRING:
		next();return Type::c_string;
	case T_WSTRING:
		next();return Type::w_string;
	case ':':
		switch( next() ){
		case T_BYTE:next();return Type::int8;
		case T_SHORT:next();return Type::int16;
		case T_INT:next();return Type::int32;
		case T_LONG:next();return Type::int64;
		case T_FLOAT:next();return Type::float32;
		case T_DOUBLE:next();return Type::float64;
		case T_OBJECT:next();return Type::objectObject;
		case T_STRING:next();return Type::stringObject;
		case T_IDENT:return new ObjectType( parseClassName(),scope );
		}
		exp(T_IDENT);
	case '^':
		if( import_nest ){
			next();
			string super_name=cparse(T_NULL) ? "" : parseClassName();
			parse('{');
		
			ClassType *ty=new ClassType( super_name,scope );
		
			while( !cparse('}') ){
				if( cparse('\n') ){
				}else if( curr()=='+' || curr()=='-' ){
					int tok=curr();next();
					Decl *d=parseImportDecl();
					FunType *f=d->val->type->funType();ass( !!f );
					if( tok=='-' ) f->attrs|=FunType::METHOD;
					ty->methods.push_back(d);
				}else if( cparse('.') ){
					Decl *d=parseImportDecl();
					ass( !d->val->cg_exp );
					ty->fields.push_back(d);
				}else{
					Decl *d=parseImportDecl();
					ass( !!d->val->cg_exp );
					ty->decls.push_back(d);
				}
			}
			if( curr()==T_IDENT ){
				string id=tolower(parseIdent());
				if( id.find('a')!=string::npos ) ty->attrs|=ClassType::ABSTRACT;
				if( id.find('f')!=string::npos ) ty->attrs|=ClassType::FINAL;
				if( id.find('e')!=string::npos ) ty->attrs|=ClassType::EXTERN;
			}
			return ty;
		}
		break;
	}
	return Type::int32;
}

FunType *Parser::parseFunType( Type *ty ){
	
	parse('(');
	
	FunType *fun=new FunType(ty);
	fun->call_conv=default_call_conv;
	
	if( !cparse(')') ){
		do{
			CGExp *cg=0;
	
			string id=parseIdent();
			
			ExpSeq *tmp_defaults=fun_defaults;
			fun_defaults=0;
			Type *ty=parseType();
			fun_defaults=tmp_defaults;
			
			if( cparse(T_VAR) ) ty=new VarType(ty);
			
			if( fun_defaults ){
				if( cparse(T_EQ) ) fun_defaults->push_back( parseExp() );
				else fun_defaults->push_back(0);
			}else if( cparse(T_EQ) ){
				if( !import_nest ){
					fail( "Function argument defaults can only be specified in function declaration" );
//					cg=parseLitExp( ty );
				}else{
					cg=parseCGExp();
				}
			}
			fun->args.push_back( new Decl(id,ty,cg) );
		}while( cparse(',') );
		parse(')');
	}
	if( import_nest ){
		if( curr()==T_IDENT ){
			string id=tolower(parseIdent());
			if( id.find('a')!=string::npos ) fun->attrs|=FunType::ABSTRACT;
			if( id.find('f')!=string::npos ) fun->attrs|=FunType::FINAL;
			if( id.find('s')!=string::npos ) fun->call_conv=CG_STDCALL;
		}
	}else if( curr()==T_STRINGCONST ){
		fun->call_conv=parseCallConv();
	}
	return fun;
}

int Parser::arrayDeclDims( string t ){
	assert( t.size()>1 && t[0]=='[' && t[t.size()-1]==']' );
	int n=1;
	for( int i=1;i<t.size()-1;++i ){
		if( t[i]==',' ) ++n;
	}
	return n;
}

Type *Parser::parseType(){

	Type *ty;
	
	if( strictMode>1 && !import_nest ){
		FunType *fun;
		switch( curr() ){
		case '(':
			fun=parseFunType( Type::int32 );
			fun->attrs|=FunType::VOIDFUN;
			ty=fun;
			break;
		case '%':case ':':
			ty=parseBaseType();
			break;
		default:
			ty=parseBaseType();
			if( ty==Type::int32 ) fail( "Missing type specifier" );
		}
	}else{
		ty=parseBaseType();
	}
	
	for(;;){
		if( curr()=='(' ){
			if( fun_defaults ){
				for( int i=0;i<fun_defaults->size();++i ){
					if( (*fun_defaults)[i] ){
						fail( "Illegal default function parameter" );
					}
				}
				fun_defaults->clear();
			}
			ty=parseFunType(ty);
			continue;
		}

		if( ty->cstringType() || ty->wstringType() ) break;

		if( curr()==T_ARRAYDECL ){
			if( !import_nest ) ty=new RefType(ty);
			ArrayType *arr=new ArrayType( ty,arrayDeclDims( text() ) );//text().size()-1 );
			next();
			ty=arr;
		}else if( import_nest && cparse('&') ){
			ty=new RefType(ty);
		}else if( import_nest && cparse('*') ){
			ty=new PtrType(ty);
		}else if( cparse(T_PTR) ){
			ty=new PtrType( ty );
		}else{
			break;
		}
	}
	return ty;
}

RefType *Parser::parseRefType(){
	Type *ty=parseType();
	if( ty->cstringType() || ty->wstringType() ) fail( "Illegal variable type" );
	return new RefType( ty );
}

Exp *Parser::parseCastExp( Type *ty ){
	for(;;){
		if( curr()==T_ARRAYDECL ){
			ty=new ArrayType( new RefType( ty ),arrayDeclDims( text() ) );
			next();
		}else if( cparse(T_PTR) ){
			ty=new PtrType(ty);
		}else{
			break;
		}
	}
	if( curr()=='(' ){
		return parsePostExp( new CastExp( ty,parsePriExp() ) );
	}
	return new CastExp( ty,parsePreExp() );
}

Exp *Parser::parseIdentExp(){
	string id=parseIdent();
	Type *ty=0;
	switch( curr() ){
	case '@':case '%':case '#':case '!':case '$':case ':':ty=parseBaseType();break;
	}
	return new IdentExp(id,ty);
}

ArrayExp *Parser::parseArrayExp( Type *ty ){
	parse('[');
	ArrayExp *exp=new ArrayExp(ty);
	do{
		exp->dims.push_back( parseExp() );
	}while(cparse(','));
	parse(']');
	return exp;
}

Exp *Parser::parseArrayDataExp(){
	parse('[');
	if( cparse(']') ) return new NullExp();
	ArrayDataExp *e=new ArrayDataExp();
	do{
		e->exps.push_back( parseExp() );
	}while( cparse(',') );
	parse(']');
	return e;
}

Exp *Parser::parseNewExp(){
	Type *t=0;
	switch( curr() ){
	case T_BYTE:t=Type::int8;break;
	case T_SHORT:t=Type::int16;break;
	case T_INT:t=Type::int32;break;
	case T_LONG:t=Type::int64;break;
	case T_FLOAT:t=Type::float32;break;
	case T_DOUBLE:t=Type::float64;break;
	case T_STRING:t=Type::stringObject;break;
	case T_OBJECT:t=Type::objectObject;break;
	}
	if( t ){
		next();
	}else{
		Exp *e=parsePriExp();
		if( curr()!=T_ARRAYDECL && curr()!=T_PTR && curr()!='[' ){
			return new NewExp(e);
		}
		IdentExp *id=dynamic_cast<IdentExp*>(e);
		if( !id ) fail( "Expecting element type" );
		t=new ObjectType( id->ident,block );
	}
	for(;;){
		if( curr()==T_ARRAYDECL ){
			t=new ArrayType( t,arrayDeclDims( text() ) );
			next();
		}else if( cparse(T_PTR) ){
			t=new PtrType( t );
		}else{
			break;
		}
	}
	parse('[');
	ArrayExp *exp=new ArrayExp(t);
	do{
		exp->dims.push_back( parseExp() );
	}while(cparse(','));
	parse(']');
	return exp;
}

Exp *Parser::parsePriExp(){

	int t;
	Type *ty;
	Exp *e=0,*lhs,*rhs;

	//Yuck! This extremely nasty hack allows for 'bracketless' fun invocation by statements...
	if( primary ){
		e=primary;
		primary=0;
		return e;
	}
	
	switch( int op=curr() ){
	case '(':
		next();
		e=parseExp();
		parse(')');
		return e;
	case '[':
		return parseArrayDataExp();
	case T_IDENT:
		return parseIdentExp();
	case T_INTCONST:case T_FLOATCONST:
		return new ValExp( parseLitVal() );
	case T_STRINGCONST:
		return new ValExp( new Val(parseBString()) );
	case T_TRUE:
		next();return new ValExp( new Val(1) );
	case T_FALSE:
		next();return new ValExp( new Val(0) );
	case T_PI:
		next();return new ValExp( new Val((double)PI) );
	case T_NULL:
		next();return new NullExp();
	case T_SELF:
		next();return new SelfExp();
	case T_SUPER:
		next();return new SuperExp();
	case T_NEW:
		next();return parseNewExp();
	case T_LEN:
	case T_CHR:
	case T_ASC:
	case T_INCBINPTR:
	case T_INCBINLEN:
		ty=0;
		switch( next() ){
		case '@':case '%':case '#':case '!':case '$':case ':':
			if( op!=T_VARPTR ) ty=parseBaseType();
			break;
		}
		return new IntrinsicExp( op,ty,parsePriExp() );
	case '.':
		next();return new GlobalExp( parseIdent() );
	case T_MIN:case T_MAX:
		t=curr();next();
		parse('(');lhs=parseExp();parse(',');rhs=parseExp();parse(')');
		return new ArithExp( t,lhs,rhs );
	}
	exp( "expression" );
	return 0;
}

Exp *Parser::parsePostExp( Exp *t ){
	if( !t ) t=parsePriExp();
	for(;;){
		if( cparse('.') ){
			t=new MemberExp( t,parsePriExp() );
		}else if( cparse('(') ){
			InvokeExp *i=new InvokeExp(t);
			if( !cparse(')') ){
				do{
					if( curr()==',' ) i->seq.push_back(0);
					else i->seq.push_back(parseExp());
				}while( cparse(',') );
				parse(')');
			}
			t=i;
		}else if( cparse('[') ){
			int c=curr();
			if( c==T_DOTDOT ){
				if( next()==']' ) t=new SliceExp(c,t,0,0);
				else t=new SliceExp(c,t,0,parseExp());
			}else{
				Exp *e=parseExp();
				int c=curr();
				if( c==T_DOTDOT ){
					if( next()==']' ) t=new SliceExp(c,t,e,0);
					else t=new SliceExp(c,t,e,parseExp());
				}else{
					IndexExp *i=new IndexExp(t);
					i->seq.push_back(e);
					while( cparse(',') ) i->seq.push_back(parseExp());
					t=i;
				}
			}
			parse(']');
		}else if( curr()==T_ARRAYDECL || curr()==T_PTR ){
			IdentExp *e=dynamic_cast<IdentExp*>(t);
			if( !e ) fail( "Expecting identifier" );
			ObjectType *ty=new ObjectType( e->ident,block );
			t=parseCastExp(ty);
		}else{
			return t;
		}
	}
}

Exp *Parser::parsePreExp(){
	Type *ty;
	if( primary ) return parsePostExp();
	switch( int op=curr() ){
	case T_NOT:
		next();return new NotExp( parsePreExp() );
	case '-':case '+':case '~':case T_ABS:case T_SGN:
		next();return new UnaryExp( op,parsePreExp() );
	case T_SIZEOF:
	case T_VARPTR:
		ty=0;
		switch( next() ){
		case '@':case '%':case '#':case '!':case '$':case ':':
			if( op!=T_VARPTR ) ty=parseBaseType();
			break;
		}
		return new IntrinsicExp( op,ty,parsePostExp() );
	case T_BYTE:
		next();return parseCastExp( Type::int8 );
	case T_SHORT:
		next();return parseCastExp( Type::int16 );
	case T_INT:
		next();return parseCastExp( Type::int32 );
	case T_LONG:
		next();return parseCastExp( Type::int64 );
	case T_FLOAT:
		next();return parseCastExp( Type::float32 );
	case T_DOUBLE:
		next();return parseCastExp( Type::float64 );
	case T_STRING:
		if( next()=='.' ) return parsePostExp( new ValExp(Type::stringClass) );
		return parseCastExp( Type::stringObject );
	case T_OBJECT:
		if( next()=='.' ) return parsePostExp( new ValExp(Type::objectClass) );
		return parseCastExp( Type::objectObject );
	}
	
	return parsePostExp();
}

Exp *Parser::parsePowExp(){
	Exp *t=parsePreExp();
	for(;;){
		switch( int op=curr() ){
		case '^':
			next();
			t=new ArithExp( op,t,parsePreExp() );
			break;
		default:
			return t;
		}
	}
}

Exp *Parser::parseFactExp(){
	Exp *t=parsePowExp();
	for(;;){
		switch( int op=curr() ){
		case '*':case '/':case T_MOD:
			next();
			t=new ArithExp( op,t,parsePowExp() );
			break;
		case T_SHL:case T_SHR:case T_SAR:
			next();
			t=new BitwiseExp( op,t,parsePowExp() );
			break;
		default:
			return t;
		}
	}
}

Exp *Parser::parseTermExp(){
	Exp *t=parseFactExp();
	for(;;){
		switch( int op=curr() ){
		case '+':case '-':
			next();
			t=new ArithExp( op,t,parseFactExp() );
			break;
		default:
			return t;
		}
	}
}

Exp *Parser::parseBitwiseExp(){
	Exp *t=parseTermExp();
	for(;;){
		switch( int op=curr() ){
		case '&':case '|':case '~':
			next();
			t=new BitwiseExp( op,t,parseTermExp() );
			break;
		default:
			return t;
		}
	}
}

Exp *Parser::parseCmpExp(){
	Exp *t=parseBitwiseExp();
	for(;;){
		switch( int op=curr() ){
		case T_LT:case T_EQ:case T_GT:case T_LE:case T_GE:case T_NE:
			next();
			t=new CmpExp( op,t,parseBitwiseExp() );
			break;
		default:
			return t;
		}
	}
}

Exp *Parser::parseShortCircExp(){
	Exp *t=parseCmpExp();
	for(;;){
		switch( int op=curr() ){
		case T_AND:case T_OR:
			next();
			t=new ShortCircExp( op,t,parseCmpExp() );
			break;
		default:
			return t;
		}
	}
}

Exp *Parser::parseExp(){
	Exp *e=parseShortCircExp();
	return e;
}

string Parser::parseMetaData(){
	if( !cparse('{') ) return "";
	
	string meta;
	
	while( curr()==T_IDENT ){
		string id=parseIdent(),t;
		if( cparse( T_EQ ) ){
			switch( curr() ){
			case T_INTCONST:
			case T_FLOATCONST:
			case T_STRINGCONST:
				t=text();
				next();
				break;
			default:
				fail( "Meta data must be literal constant" );
			}
		}else{
			t="1";
		}
		if( meta.size() ) meta+=" ";
		meta+=id+"="+t;
	}
	
	parse( '}' );
	return meta;
}

void Parser::addMetaData( const vector<Decl*> &decls ){
	string meta=parseMetaData();
	for( vector<Decl*>::const_iterator it=decls.begin();it!=decls.end();++it ){
		(*it)->setMetaData( meta );
	}
}

Decl *Parser::parseInitDecl( Exp **init ){
	string id=parseIdent();
	Type *ty=parseRefType();
	Exp *_init=0;
	if( cparse(T_EQ) ){
		_init=parseExp();
	}else if( cparse('[') ){
		ArrayExp *exp=new ArrayExp(ty);
		do{
			exp->dims.push_back( parseExp() );
		}while( cparse(',') );
		parse(']');
		ty=new RefType( new ArrayType(ty,exp->dims.size()) );
		_init=exp;
	}else{
		_init=new NullExp();
	}
	*init=_init;
	return new Decl( id,ty,0 );
}

void Parser::parseLocalDecls(){
	next();
	emitDebugInfo();
	
	vector<Decl*> decls;

	do{
		Exp *e;
		Decl *d=parseInitDecl( &e );
		decls.push_back( d );
		emit( new LocalDeclStm(d->ident,d->val->type,e),false );
	}while( cparse(',') );
	
	addMetaData( decls );
}

void Parser::parseGlobalDecls(){
	next();
	emitDebugInfo();
	
	vector<Decl*> decls;
	
	do{
		Exp *e;
		Decl *d=parseInitDecl( &e );
		decls.push_back( d );
		emit( new GlobalDeclStm(d->ident,d->val->type,e,pub()),false );
	}while( cparse(',') );

	addMetaData( decls );
}

void Parser::parseConstDecls(){
	next();
	
	vector<Decl*> decls;
	
	do{
		string id=parseIdent();
		Type *ty=parseType();
		if( !cparse(T_EQ) ) fail( "Constants must be initialized" );
		Decl *d=new ConstDecl( id,ty,block,parseExp() );
		decls.push_back( d );
		decl( d );
	}while( cparse(',') );
	
	addMetaData( decls );
}

void Parser::parseTypeDecl(){
	next();
	
	string id=parseIdent();
	string super_name=cparse(T_EXTENDS) ? parseClassName() : "Object";
	
	int attrs=0;
	if( cparse(T_FINAL) ){
		attrs=ClassType::FINAL;
	}else if( cparse(T_ABSTRACT) ){
		attrs=ClassType::ABSTRACT;
	}
	
	string meta=parseMetaData();
	
	if( !pub() ) attrs|=ClassType::PRIVATE;
	
	ClassType *class_type=new ClassType( super_name,block,attrs );
	
	ClassBlock *class_block=new ClassBlock( block,id,class_type );
	
	class_block->class_decl->setMetaData( meta );
	
	block=class_block;
	while( !cparse(T_ENDTYPE) ){
		source_info=toker->sourceInfo();
		switch( curr() ){
		case '\n':case ';':next();break;
		case T_FIELD:parseFieldDecls();break;
		case T_CONST:parseConstDecls();break;
		case T_GLOBAL:parseGlobalDecls();break;
		case T_METHOD:parseFunDecl( FunType::METHOD );break;
		case T_FUNCTION:parseFunDecl( 0 );break;
		default:fail( "Syntax error in user defined type declaration" );
		}
	}
	block=block->outer;
	
}

void Parser::parseFieldDecls(){
	next();

	ClassBlock *class_block=dynamic_cast<ClassBlock*>(block);
	if( !class_block ) fail( "Field declarations must appear within a Type declaration" );
	ClassType *class_type=class_block->type;

	Block *t_block=block;
	block=class_block->field_ctors;

	emitDebugInfo();
	
	vector<Decl*> decls;
	
	do{
		Exp *e;
		Decl *d=parseInitDecl( &e );
		emit( new FieldDeclStm(d->ident,d->val->type,e),false );
		class_type->fields.push_back( d );
		decls.push_back( d );
	}while( cparse(',') );

	addMetaData( decls );

	block=t_block;
}

void Parser::parseFunDecl( int attrs ){
	next();

	bool method=!!(attrs & FunType::METHOD);
	
	ClassBlock *class_block=dynamic_cast<ClassBlock*>(block);
	ClassType *class_type=class_block ? class_block->type : 0;

	if( method && !class_block ) fail( "Methods must appear within a type" );
	
	string id;
	Block *fun_block=0;

	if( cparse(T_NEW) ){
		id="New";
		if( !method ) fail( "New must be a method" );

		fun_block=class_block->ctor_new;
		if( !fun_block ) fail( "New method already defined" );

		class_block->ctor_new=0;
	}else if( cparse(T_DELETE) ){
		id="Delete";
		if( !method ) fail( "Delete must be a method" );
		
		class_block->makeDtor();
		
		fun_block=class_block->dtor_delete;
		if( !fun_block ) fail( "Delete method already defined" );
		
		class_block->dtor_delete=0;
	}else{
		id=parseIdent();
	}
	
	ExpSeq *defs=new ExpSeq();
	fun_defaults=defs;
	FunType *ty=parseType()->funType();
	fun_defaults=0;
	
	if( !ty ) fail( "Expecting function type" );
	
	if( ty->return_type->cstringType() || ty->return_type->wstringType() ) fail( "Illegal function return type" );

	int i;
	for( i=0;i<ty->args.size();++i ){
		Type *t=ty->args[i]->val->type;
		if( t->cstringType() || t->wstringType() ) fail( "Illegal function parameter type" );
	}

	bool noDebug=false;
	
	if( cparse( T_NODEBUG ) ) noDebug=true;
	
	if( cparse( T_FINAL ) ){
		if( !class_block ){
			fail( "Final cannot be used with global functions" );
		}
		attrs|=FunType::FINAL;
	}else if( cparse( T_ABSTRACT ) ){
		if( !class_block ){
			fail( "Abstract cannot be used with global functions" );
		}
		if( class_type->attrs & ClassType::FINAL ){
			fail( "Abstract methods cannot appear in final types" );
		}
		attrs|=FunType::ABSTRACT;
	}else if( method && (class_type->attrs & ClassType::FINAL) ){
		attrs|=FunType::FINAL;
	}

	if( cparse( T_NODEBUG ) ) noDebug=true;
	
	ty->attrs|=attrs;
	
	string meta=parseMetaData();
	
	if( attrs & FunType::ABSTRACT ){
		FunDecl *decl=new FunDecl(id,ty,sym("brl_blitz_NullMethodError",CG_IMPORT),block,defs);
		class_type->methods.push_back( decl );
		decl->setMetaData( meta );
		return;
	}
	
	if( !fun_block ){
		bool pub=method || class_block || this->pub();
		FunBlock *t=new FunBlock( block,id,ty,pub,defs );
		t->fun_decl->setMetaData( meta );
		fun_block=t;
	}
	
	if( noDebug ) fun_block->debug_on=false;
	
	parseStms( fun_block,method ? T_ENDMETHOD : T_ENDFUNCTION );
}

static bool isExpOp( int t ){
	switch( t ){
	case '&':case '|':case '~':
	case '+':case '-':case '*':case '/':case T_MOD:case '^':
	case T_LT:case T_GT:case T_LE:case T_GE:case T_EQ:case T_NE:
	case T_AND:case T_OR:case T_SHL:case T_SHR:case T_SAR:
		return true;
	}
	return false;
}

void Parser::parseExpStm(){

	Exp *e=parsePreExp();
	
	if( cparse(T_EQ) ){
		emit( new AssignStm(e,parseExp()),true );
		return;
	}
	
	int op=0;
	switch( curr() ){
	case T_ADDASSIGN:case T_SUBASSIGN:case T_MULASSIGN:case T_DIVASSIGN:case T_MODASSIGN:
	case T_ORASSIGN:case T_ANDASSIGN:case T_XORASSIGN:case T_SHLASSIGN:case T_SHRASSIGN:case T_SARASSIGN:
		op=curr();next();break;
	}
	if( op ){
		emit( new OpAssignStm(op,e,parseExp()),true );
		return;
	}
	
	if( dynamic_cast<NewExp*>(e) ){
		emit( new EvalStm(e),true );
		return;
	}
	
	InvokeExp *t=dynamic_cast<InvokeExp*>(e);
	bool more=false;
	
	if( !t ){
		t=new InvokeExp(e);
		more=curr()!=';' && curr()!='\n' && curr()!=EOF;
	}else if( t->seq.size()==1 ){
		if( isExpOp(curr()) ){
			primary=t->seq[0];
			t->seq[0]=parseExp();
		}
		more=cparse(',');
	}
	if( more ){
		do{
			if( curr()==',' ) t->seq.push_back(0);
			else t->seq.push_back( parseExp() );
		}while( cparse(',') );
	}
	emit( new EvalStm(t),true );
}

void Parser::parseIfStm( int t_term ){
	source_info=toker->sourceInfo();
	next();

	Exp *e=parseExp();
	cparse( T_THEN );
	
	int term=t_term ? t_term : (curr()=='\n' ? T_ENDIF : '\n');

	IfStm *stm=new IfStm( e,0,0 );
	emit( stm,true );

	int t;
	block=stm->then_block=new Block( block );
	for(;;){
		t=curr();
		if( t==term || t==T_ELSE || t==T_ELSEIF ) break;
		parseStm();
	}
	block=block->outer;

	if( t!=term ){
		block=stm->else_block=new Block( block );
		if( t==T_ELSE ){
			if( next()==T_IF ){
				parseIfStm( term );
			}else{
				while( curr()!=term ) parseStm();
			}
		}else{
			//t==T_ELSEIF
			parseIfStm( term );
		}
		block=block->outer;
	}

	if( !t_term && term==T_ENDIF ) next();
}

void Parser::parseLoopCtrlStm(){
	int toke=curr();
	string lab;
	if( next()==T_IDENT ) lab=parseIdent();
	emit( new LoopCtrlStm( toke,lab ),true );
}

void Parser::parseForStm(){
	next();
	
	LoopBlock *loop_block=new LoopBlock( block,loopLabel );
	loopLabel="";
	
	Exp *var;
	if( cparse(T_LOCAL) ){
		string id=parseIdent();
		Type *ty=parseRefType();
		var=new LocalDeclExp( id,ty,loop_block );
	}else{
		var=parsePostExp();
	}
	if( !cparse(T_EQ) ) exp( "assignment" );
	
	if( cparse(T_EACHIN) ){
		Exp *coll=parseExp();
		emit( new ForEachStm( var,coll,loop_block ),true );
		parseStms( loop_block,T_NEXT );
		return;
	}

	Exp *init=parseExp();
	bool until;
	if( cparse(T_TO) ) until=false;
	else if( cparse(T_UNTIL) ) until=true;
	else fail( "Expecting 'To' or 'Until'" );
	Exp *to=parseExp();
	Exp *step=cparse(T_STEP) ? parseExp() : 0;
	emit( new ForStm( var,init,to,step,loop_block,until ),true );
	parseStms( loop_block,T_NEXT );
}

void Parser::parseWhileStm(){
	next();

	LoopBlock *loop_block=new LoopBlock( block,loopLabel );
	loopLabel="";

	emit( new WhileStm( parseExp(),loop_block),true );

	parseStms( loop_block,T_WEND );
}

void Parser::parseRepeatStm(){
	next();

	LoopBlock *loop_block=new LoopBlock( block,loopLabel );
	loopLabel="";

	block=loop_block;
	while( curr()!=T_UNTIL && curr()!=T_FOREVER ){
		parseStm();
	}
	source_info=toker->sourceInfo();
	int c=curr();next();
	block=block->outer;

	Exp *e=(c==T_UNTIL) ? parseExp() : 0;

	emit( new RepeatStm(e,loop_block),true );
}

void Parser::parseTryStm(){
	next();
	
	TryStm *try_stm=new TryStm( new Block(block) );
	emit( try_stm,true );
	
	block=try_stm->block;
	while( curr()!=T_CATCH && curr()!=T_ENDTRY ){
		parseStm();
	}
	block=block->outer;
	
	while( cparse(T_CATCH) ){
		TryCatch *t=new TryCatch( new Block(block) );
		try_stm->catches.push_back( t );
		
		t->ident=parseIdent();
		t->type=parseType();
		
		block=t->block;
		while( curr()!=T_CATCH && curr()!=T_ENDTRY ){
			parseStm();
		}
		block=block->outer;
	}
	parse( T_ENDTRY );
}

void Parser::parseThrowStm(){
	next();
	emit( new ThrowStm(parseExp()),true );
}

void Parser::parseSelectStm(){
	next();

	SelectStm *sel=new SelectStm( parseExp() );
	emit( sel,true );

	while( cparse('\n') ){}
	
	source_info=toker->sourceInfo();
	while( cparse(T_CASE) ){
		SelCase *t_case=new SelCase( new Block( block ) );
		t_case->source_info=source_info;
		sel->cases.push_back( t_case );

		do{
			t_case->exps.push_back( parseExp() );
		}while( cparse(',') );
		
		block=t_case->block;
		while( curr()!=T_CASE && curr()!=T__DEFAULT && curr()!=T_ENDSELECT ){
			parseStm();
		}
		source_info=toker->sourceInfo();
		block=block->outer;
	}
	
	if( cparse(T__DEFAULT) ){
		sel->_default=new Block( block );

		block=sel->_default;
		while( curr()!=T_ENDSELECT ){
			parseStm();
		}
		block=block->outer;
	}

	parse( T_ENDSELECT );
}

void Parser::parseReturnStm(){
	next();
	Exp *exp=0;
	if( curr()!=';' && curr()!='\n' && curr()!=EOF ) exp=parseExp();
	emit( new ReturnStm(exp),true );
}

void Parser::parseDeleteStm(){
	next();
	Exp *exp=parseExp();
	emit( new DeleteStm(exp),true );
}

void Parser::parseAccess(){
	switch( curr() ){
	case T_PUBLIC:pub_=true;break;
	case T_PRIVATE:pub_=false;break;
	default:assert(0);
	}
	next();
}

void Parser::parseLabelStm(){
	next();
	string id=parseIdent();
	if( strictMode ){
		while( cparse('\n') ){}
		switch( curr() ){
		case T_FOR:case T_WHILE:case T_REPEAT:case T_DEFDATA:
			break;
		default:
			fail( "Labels must appear before a loop or DefData statement" );
		}
		if( curr()!=T_DEFDATA ){
			loopLabel=id;
			return;
		}
	}
	if( block->fun_block->labels.count(id) ) fail( "Duplicate label '%s'",id.c_str() );
	CGSym *goto_sym=CG::sym();
	CGSym *restore_sym=CG::sym();
	LabelStm *stm=new LabelStm(goto_sym,restore_sym);
	block->fun_block->labels.insert( make_pair(tolower(id),stm) );
	emit( stm,true );
}

void Parser::parseGotoStm(){
	next();
	emit( new GotoStm( parseIdent() ),true );
}

void Parser::parseAssertStm(){
	next();
	Exp *e=parseExp(),*m;
	if( cparse(',') || cparse(T_ELSE) ) m=parseExp();
	else m=new ValExp( new Val(tobstring("Assert failed")) );
	emit( new AssertStm(e,m),true );
}

void Parser::includeFile( string file ){

	file=realpath(file);

	Toker *t=toker;
	toker=new Toker( file );
	
	string cd=getcwd();
	setcwd( getdir(file) );
	
	while( curr()!=EOF ){
		parseStm();
	}
	setcwd( cd );
	toker=t;
}

void Parser::parseDataStm(){
	next();
	DataStm *t=new DataStm();
	emit( t,false );
	do{
		t->exps.push_back( parseExp() );
	}while( cparse(',') );
}

void Parser::parseReadStm(){
	next();
	ReadStm *t=new ReadStm();
	emit( t,true );
	do{
		t->exps.push_back( parseExp() );
	}while( cparse(',') );
}

void Parser::parseRestoreStm(){
	next();
	emit( new RestoreStm( parseIdent() ),true );
}

void Parser::parseStm(){
	source_info=toker->sourceInfo();

	switch( curr() ){
	case ';':
	case '\n':
		next();
		break;
	case '#':
		parseLabelStm();
		break;
	case T_DEFDATA:
		parseDataStm();
		break;
	case T_READDATA:
		parseReadStm();
		break;
	case T_RESTOREDATA:
		parseRestoreStm();
		break;
	case T_GOTO:
		parseGotoStm();
		break;
	case T_TRY:
		parseTryStm();
		break;
	case T_THROW:
		parseThrowStm();
		break;
	case T_IF:
	//case T_ELSEIF:
		parseIfStm(0);
		break;
	case T_GLOBAL:
		parseGlobalDecls();
		break;
	case T_FUNCTION:
		parseFunDecl( 0 );
		break;
	case T_EXIT:case T_CONTINUE:
		parseLoopCtrlStm();
		break;
	case T_FOR:
		parseForStm();
		break;
	case T_WHILE:
		parseWhileStm();
		break;
	case T_REPEAT:
		parseRepeatStm();
		break;
	case T_SELECT:
		parseSelectStm();
		break;
	case T_RETURN:
		parseReturnStm();
		break;
	case T_ASSERT:
		parseAssertStm();
		break;
	case T_END:
		next();emit( new EndStm(),true );
		break;
	case T_RELEASE:
		next();emit( new ReleaseStm( parseExp() ),true );
		break;
	case T_LOCAL:
		parseLocalDecls();
		break;
	case T_CONST:
		parseConstDecls();
		break;
	case T_TYPE:
		parseTypeDecl();
		break;
	case T_INCLUDE:
		next();includeFile( parseString() );
		break;
	case T_INCBIN:
		next();emit( new IncbinStm( parseString() ),false );
		break;
	case T_EXTERN:
		parseExtern();
		break;
	case T_PUBLIC:case T_PRIVATE:
		parseAccess();
		break;
	case T_MODULE:case T_MODULEINFO:case T_IMPORT:case T_STRICT:
		fail( "'%s' must appear at top of file",toker->text().c_str() );
	case T_FIELD:
		fail( "Field declaration outside of user defined type" );
	case T_METHOD:
		fail( "Method declaration outside of user defined type" );
	case T_ELSE:
		fail( "'Else' without matching 'If'" );
	case T_ENDIF:
		fail( "'%s' without matching 'If'",toker->text().c_str() );
	case T_NEXT:
		fail( "'Next' without matching 'For'" );
	case T_WEND:
		fail( "'%s' without matching 'While'",toker->text().c_str() );
	case T_UNTIL:
		fail( "'Until' without matching 'Repeat'" );
	case T_FOREVER:
		fail( "'Forever' without matching 'Repeat'" );
	case T_CASE:
		fail( "'Case' without matching 'Select'" );
	case T__DEFAULT:
		fail( "'Default' without matching 'Select'" );
	case T_CATCH:
		fail( "'Catch' without matching 'Try'" );
	case T_ENDTRY:
		fail( "'%s' without matching 'Try'",toker->text().c_str() );
	case T_ENDTYPE:
		fail( "'%s' without matching 'Type'",toker->text().c_str() );
	case T_ENDEXTERN:
		fail( "'%s' without matching 'Extern'",toker->text().c_str() );
	case T_ENDMETHOD:
		fail( "'%s' without matching 'Method'",toker->text().c_str() );
	case T_ENDFUNCTION:
		fail( "'%s' without matching 'Function'",toker->text().c_str() );
	case T_ENDSELECT:
		fail( "'%s' without matching 'Select'",toker->text().c_str() );
	default:
		parseExpStm();
	}
}

void Parser::parseStms( Block *t,int term ){

	Block *t_block=block;
	block=t;
	
	while( curr()!=term ){
		parseStm();
	}

	next();
	block=t_block;
}

void Parser::importFile( string file,ModuleType *mod ){

	Toker *t=toker;
	toker=new Toker( file );
	ModuleType *m=import_module;
	import_module=mod;
	
	++import_nest;

	while( curr()!=EOF ){
		source_info=toker->sourceInfo();
		if( cparse(';') ){
		}else if( cparse('\n') ){
		}else if( cparse( T_IMPORT ) ){
			parseImport();
		}else if( cparse( T_MODULEINFO ) ){
			parseString();
		}else{
			Decl *d=parseImportDecl();
			if( import_module ){
				import_module->decls.push_back(d);
			}else{
				mainFun->decl(d);
				moduleExports.push_back(d);
			}
		}
	}
	
	--import_nest;

	toker->close();
	import_module=m;
	toker=t;
}

void Parser::importModule( string mod ){

	string mung="@"+mod;
	if( rootScope.find(mung) ) return;
	
	vector<string> ids;
	splitModule( mod,ids );
	
	ModuleType *mod_ty;
	DeclSeq *decls=&mainFun->decls;
	
	int k;
	for( k=0;k<ids.size();++k ){
		string id=ids[k];
		if( Val *v=decls->find(id) ){
			mod_ty=v->type->moduleType();
			if( !mod_ty ) fail( "Unable to import module '%s'",mod.c_str() );
		}else{
			mod_ty=new ModuleType();
			decls->push_back( new Decl(id,mod_ty,lit0) );
		}
		decls=&mod_ty->decls;
	}

	rootScope.push_back( new Decl(mung,mod_ty,lit0) );

	importFile( moduleInterface(mod),mod_ty );
	
	if( !import_module ){
		string t="import "+mod;
		if( !import_nest ){
			objectImports.push_back(t);
			emit( new ImportStm(sym(mungModuleEntry(mod),CG_IMPORT)),false );
		}
		moduleImports.push_back(t);
	}
}

void Parser::importSource( string file ){

	string ext=tolower(getext(file)),path=realpath(file);

	if( ext=="bmx" ){
		if( !importedSources.insert( tolower(path) ).second ) return;
		
		if( !ftime(path) ) fail( "File '%s' not found",path.c_str() );
		
		string cd=getcwd();
		setcwd( getdir(path) );
		
		importFile( ".bmx/"+stripdir(path)+config_mung+".i",0 );
		
		setcwd( cd );
		
		if( !import_nest ){
			string t="import \""+file+'\"';
			objectImports.push_back( t );
			emit( new ImportStm( sym(mungObjectEntry(file),CG_IMPORT) ),false );
		}
	}else  if( ext=="o" || ext=="a" || ext=="lib" ){

		if( !import_module ){

			if( !ftime(path) ) fail( "File '%s' not found",path.c_str() );
		
			string t="import \""+file+'\"';
			if( !import_nest ) objectImports.push_back( t );
			moduleImports.push_back(t);
		}
	}else if( ext=="c" || ext=="m" || ext=="cpp" || ext=="cxx" || ext=="cc" || ext=="mm" || ext=="s" || ext=="asm" ){
	
		if( !ftime(path) ) fail( "File '%s' not found",path.c_str() );

	}else{
	
		fail( "Unrecognized import file type for import '%s'",path.c_str() );
	}
}

void Parser::parseImport(){
	if( curr()==T_IDENT ){
		importModule( parseModuleName() );
	}else if( curr()==T_STRINGCONST ){
		string file=parseString();
		if( stripall(file)=="*" ){
		}else if( file[0]=='-' ){
			if( !import_module ){
				string t="import \""+file+'\"';
				if( !import_nest ) objectImports.push_back( t );
				moduleImports.push_back(t);
			}
			return;
		}else{
			importSource( file );
		}
	}else{
		fail( "Expecting module name or import file" );
	}
}

Parser::Parser(){
}

void Parser::parse(){

	pub_=true;
	primary=0;
	fun_defaults=0;
	default_call_conv=CG_CDECL;
	import_nest=0;
	extern_nest=0;
	import_module=0;
	
	Type::createTypes();

	setcwd( getdir(opt_infile) );
	toker=new Toker( opt_infile );
	mainFun=new FunBlock();
	block=mainFun;
	
	ModuleType *mod_ty=new ModuleType();
	mainFun->decls.push_back( new Decl("brl",mod_ty,lit0) );
	mod_ty->decls.push_back( new Decl("blitz",Type::blitzModule,lit0) );

	importFile( env_blitzpath+"/mod/brl.mod/blitz.mod/blitz_classes.i",Type::blitzModule );

	*Type::objectClass=*Type::blitzModule->find("Object");
	*Type::stringClass=*Type::blitzModule->find("String");
	*Type::arrayClass=*Type::blitzModule->find("Array");
	
	if( opt_module=="brl.blitz" ){
		if( stripall(opt_infile)=="blitz" ){
			rootScope.push_back( new Decl("@brl.blitz",Type::blitzModule,lit0) );
		}
	}else{
		importModule( "brl.blitz" );
	}

	//if( stripall(opt_infile)!="blitz" ) importModule( "brl.blitz" );
	//else rootScope.push_back( new Decl("@brl.blitz",Type::blitzModule,lit0) );

	while( curr()!=EOF ){
		source_info=toker->sourceInfo();
		if( cparse('\n') ){
		}else if( cparse( T_STRICT ) ){
			if( strictMode ) fail( "Strict or SuperStrict already specified" );
			strictMode=1;
		}else if( cparse( T_SUPERSTRICT ) ){
			if( strictMode ) fail( "Strict or SuperStrict already specified" );
			strictMode=2;
		}else if( cparse( T_NODEBUG ) ){
			opt_debug=false;
			opt_release=true;
			block->debug_on=false;
		}else if( cparse( T_MODULE ) ){
			string name=parseModuleName();
			if( name!=opt_module ) fail( "Module does not match commandline module" );
			if( opt_apptype.size() ) fail( "Modules cannot be built as applications" );
		}else if( cparse( T_MODULEINFO ) ){
			if( !opt_module.size() ) fail( "ModuleInfo can only be used with modules" );
			moduleInfos.push_back( parseString() );
		}else if( cparse( T_FRAMEWORK ) ){
			string framework=parseModuleName();
			if( opt_framework.size() && opt_framework!=framework ) fail( "Framework does not match commandline framework" );
			opt_framework=framework;
		}else if( cparse( T_IMPORT ) ){
			parseImport();
		}else{
			break;
		}
	}

	if( opt_module.size() ){
	}else if( opt_framework.size() ){
		importModule( opt_framework );
	}else{
		vector<string> mods;
		enumModules( "",mods );
		for( int k=0;k<mods.size();++k ){
			if( mods[k].find( "brl." )==0 || mods[k].find( "pub." )==0 ){
				importModule( mods[k] );
			}
		}
	}

	emit( new EvalClassBlocksStm(),false );
	
	while( curr()!=EOF ){
		parseStm();
	}
	
	toker->close();
}