adjusted

parser.bmx

@@ -1,2830 +1,2830 @@
-' Copyright (c) 2013-2014 Bruce A Henderson
-'
-' Based on the public domain Monkey "trans" by Mark Sibly
-'
-' This software is provided 'as-is', without any express or implied
-' warranty. In no event will the authors be held liable for any damages
-' arising from the use of this software.
-'
-' Permission is granted to anyone to use this software for any purpose,
-' including commercial applications, and to alter it and redistribute it
-' freely, subject to the following restrictions:
-'
-'    1. The origin of this software must not be misrepresented; you must not
-'    claim that you wrote the original software. If you use this software
-'    in a product, an acknowledgment in the product documentation would be
-'    appreciated but is not required.
-'
-'    2. Altered source versions must be plainly marked as such, and must not be
-'    misrepresented as being the original software.
-'
-'    3. This notice may not be removed or altered from any source
-'    distribution.
-'
-SuperStrict
-
-Import BRL.MaxUtil
-Import "toker.bmx"
-Import "iparser.bmx"
-
-
-Global FILE_EXT$="bmx"
-
-Type TScopeExpr Extends TExpr
-	Field scope:TScopeDecl
-
-	Method Create:TScopeExpr( scope:TScopeDecl )
-		Self.scope=scope
-		Return Self
-	End Method
-
-	Method Copy:TExpr()
-		Return Self
-	End Method
-
-	Method ToString$()
-		Return "TScopeExpr("+scope.ToString()+")"
-	End Method
-
-	Method Semant:TExpr()
-		Err "Syntax error."
-	End Method
-
-	Method SemantScope:TScopeDecl()
-		Return scope
-	End Method
-End Type
-
-Type TForEachinStmt Extends TStmt
-	Field varid$
-	Field varty:TType
-	Field varlocal:Int
-	Field expr:TExpr
-	Field block:TBlockDecl
-
-	Field stmts:TList=New TList
-
-	Method Create:TForEachinStmt( varid$,varty:TType,varlocal:Int,expr:TExpr,block:TBlockDecl )
-		Self.varid=varid
-		Self.varty=varty
-		Self.varlocal=varlocal
-		Self.expr=expr
-		Self.block=block
-		Return Self
-	End Method
-
-	Method OnCopy:TStmt( scope:TScopeDecl )
-		Return New TForEachinStmt.Create( varid,varty,varlocal,expr.Copy(),block.CopyBlock( scope ) )
-	End Method
-
-	Method OnSemant()
-		expr=expr.Semant()
-
-		If TArrayType( expr.exprType ) Or TStringType( expr.exprType )
-
-			Local exprTmp:TLocalDecl=New TLocalDecl.Create( "",Null,expr )
-			Local indexTmp:TLocalDecl=New TLocalDecl.Create( "",Null,New TConstExpr.Create( TType.intType,"0" ) )
-
-			Local lenExpr:TExpr=New TIdentExpr.Create( "Length",New TVarExpr.Create( exprTmp ) )
-
-			Local cmpExpr:TExpr=New TBinaryCompareExpr.Create( "<",New TVarExpr.Create( indexTmp ),lenExpr )
-
-			Local indexExpr:TExpr=New TIndexExpr.Create( New TVarExpr.Create( exprTmp ),[New TVarExpr.Create( indexTmp )] )
-			Local addExpr:TExpr=New TBinaryMathExpr.Create( "+",New TVarExpr.Create( indexTmp ),New TConstExpr.Create( TType.intType,"1" ) )
-
-			block.stmts.AddFirst New TAssignStmt.Create( "=",New TVarExpr.Create( indexTmp ),addExpr )
-
-			If varlocal
-				Local varTmp:TLocalDecl=New TLocalDecl.Create( varid,varty,indexExpr )
-				block.stmts.AddFirst New TDeclStmt.Create( varTmp )
-			Else
-				block.stmts.AddFirst New TAssignStmt.Create( "=",New TIdentExpr.Create( varid ),indexExpr )
-			EndIf
-
-			Local whileStmt:TWhileStmt=New TWhileStmt.Create( cmpExpr,block )
-
-			block=New TBlockDecl.Create( block.scope )
-			block.AddStmt New TDeclStmt.Create( exprTmp )
-			block.AddStmt New TDeclStmt.Create( indexTmp )
-			block.AddStmt whileStmt
-
-		Else If TObjectType( expr.exprType )
-
-			Local enumerInit:TExpr=New TFuncCallExpr.Create( New TIdentExpr.Create( "ObjectEnumerator",expr ) )
-			Local enumerTmp:TLocalDecl=New TLocalDecl.Create( "",Null,enumerInit )
-
-			Local hasNextExpr:TExpr=New TFuncCallExpr.Create( New TIdentExpr.Create( "HasNext",New TVarExpr.Create( enumerTmp ) ) )
-			Local nextObjExpr:TExpr=New TFuncCallExpr.Create( New TIdentExpr.Create( "NextObject",New TVarExpr.Create( enumerTmp ) ) )
-
-			If varlocal
-				Local varTmp:TLocalDecl=New TLocalDecl.Create( varid,varty,nextObjExpr )
-				block.stmts.AddFirst New TDeclStmt.Create( varTmp )
-			Else
-				block.stmts.AddFirst New TAssignStmt.Create( "=",New TIdentExpr.Create( varid ),nextObjExpr )
-			EndIf
-
-			Local whileStmt:TWhileStmt=New TWhileStmt.Create( hasNextExpr,block )
-
-			block=New TBlockDecl.Create( block.scope )
-			block.AddStmt New TDeclStmt.Create( enumerTmp )
-			block.AddStmt whileStmt
-
-		Else
-			InternalErr
-		EndIf
-
-		block.Semant
-	End Method
-
-	Method Trans$()
-		_trans.EmitBlock block
-	End Method
-
-End Type
-
-
-
-Type TIncbin
-
-	Field file:String
-	Field path:String
-	Field id:Int
-	Field length:Int
-
-	Global count:Int
-
-	Method Create:TIncbin(file:String, source:String)
-		count :+ 1
-
-		Self.file = file
-
-		' find the file
-		If Not FileType(file) Then
-			' maybe relative to source
-			Local dir:String = ExtractDir(source) + "/" + file
-			If FileType(dir) = FILETYPE_FILE Then
-				path = RealPath(dir)
-			Else
-				Internalerr '?
-			End If
-		Else
-			path = RealPath(file)
-		End If
-
-		id = count
-		Return Self
-	End Method
-
-End Type
-
-'***** Parser *****
-Type TParser
-
-	Field _toker:TToker
-	Field _toke$
-	Field _tokeType:Int
-	Field _tokerStack:TList=New TList'<TToker>
-
-	Field _block:TBlockDecl
-	Field _blockStack:TList=New TList'<TBlockDecl>
-	Field _errStack:TStringList=New TStringList
-
-	Field _app:TAppDecl
-	Field _module:TModuleDecl
-
-	Field _externCasts:TMap = New TMap
-
-	Method SetErr()
-		If _toker.Path()
-			_errInfo=_toker.Path()+"<"+_toker.Line()+">"
-		EndIf
-	End Method
-
-	Method DoErr(error:String)
-		SetErr()
-		Err error
-	End Method
-
-	Method PushBlock( block:TBlockDecl )
-		If _block <> Null Then
-			_blockStack.AddLast _block
-		End If
-		_errStack.AddLast _errInfo
-		_block=block
-	End Method
-
-	Method PopBlock()
-		_block=TBlockDecl(_blockStack.RemoveLast())
-		_errInfo=String(_errStack.RemoveLast())
-	End Method
-
-	Method RealPath$( path$ )
-		Local popDir$=CurrentDir()
-		ChangeDir ExtractDir( _toker.Path() )
-		path=BRL.FileSystem.RealPath( path )
-		ChangeDir popDir
-		Return path
-	End Method
-
-	Method NextToke$()
-		Local toke$=_toke
-
-		Repeat
-			_toke=_toker.NextToke()
-			_tokeType=_toker.TokeType()
-		Until _tokeType<>TOKE_SPACE
-
-		If _tokeType=TOKE_KEYWORD _toke=_toke.ToLower()
-
-		If toke="," SkipEols
-
-		Return _toke
-	End Method
-
-	Method NextTokeToker$(toker:TToker)
-		Local toke$=toker._toke
-
-		Local tokeSpace:Int=False
-
-		Repeat
-			toker.NextToke()
-			If toker.tokeType()<>TOKE_SPACE Exit
-			tokeSpace=True
-		Forever
-
-		Return toker._toke
-	End Method
-
-	Method CParse:Int( toke$ )
-		If _toke.ToLower()<>toke
-			Return False
-		EndIf
-		NextToke
-		Return True
-	End Method
-
-	Method CParseToker:Int( toker:TToker, toke$ )
-		If toker._toke.ToLower()<>toke
-			Return False
-		EndIf
-		NextTokeToker(toker)
-		Return True
-	End Method
-
-	Method Parse( toke$ )
-		If Not CParse( toke )
-			DoErr "Syntax error - expecting '"+toke+"'."
-		EndIf
-	End Method
-
-	Method ParseToker( toker:TToker, toke$ )
-		If Not CParseToker( toker, toke )
-			DoErr "Syntax error - expecting '"+toke+"'."
-		EndIf
-	End Method
-
-	Method AtEos:Int()
-		Return _toke="" Or _toke=";" Or _toke="~n" Or _toke="else"
-	End Method
-
-	Method SkipEols()
-		While CParse( "~n" )
-		Wend
-		SetErr
-	End Method
-
-	Method SkipEolsToker(toker:TToker)
-		While CParseToker( toker, "~n" )
-		Wend
-		SetErr
-	End Method
-
-	Method ParseStringLit$()
-		If _tokeType<>TOKE_STRINGLIT Err "Expecting string literal."
-		Local str$=BmxUnquote( _toke )
-		NextToke
-		Return str
-	End Method
-
-	Method ParseIdent$()
-		Select _toke
-		Case "@" NextToke
-		Case "string","array","object"
-		Default
-			If _tokeType<>TOKE_IDENT Err "Syntax error - expecting identifier."
-		End Select
-		Local id$=_toke
-		NextToke
-		Return id
-	End Method
-
-	Method ParseIdentType:TIdentType()
-		Local id$=ParseIdent()
-'DebugLog "ParseIdentType : " + id
-		If CParse( "." ) id:+"."+ParseIdent()
-		If CParse( "." ) id:+"."+ParseIdent()
-		Local args:TIdentType[]
-		If CParse( "<" )
-			Local nargs:Int
-			Repeat
-				Local arg:TIdentType=ParseIdentType()
-				If args.Length=nargs args=args+ New TIdentType[10]
-				args[nargs]=arg
-				nargs:+1
-			Until Not CParse(",")
-			args=args[..nargs]
-			Parse ">"
-		EndIf
-		Return New TIdentType.Create( id,args )
-	End Method
-
-	Method CParseIdentType:TIdentType( inner:Int=False )
-		If _tokeType<>TOKE_IDENT Return Null
-		Local id$=ParseIdent()
-		If CParse( "." )
-			If _tokeType<>TOKE_IDENT Return Null
-			id:+"."+ParseIdent()
-		End If
-		If Not CParse( "<" )
-			If inner Return New TIdentType.Create( id,Null )
-			Return Null
-		EndIf
-		Local args:TType[]
-		Local nargs:Int
-		Repeat
-			Local arg:TType=CParsePrimitiveType()
-			If Not arg
-				arg=CParseIdentType( True )
-				If Not arg Return Null
-			EndIf
-			While CParse( "[]" )
-				arg=arg.ArrayOf()
-			Wend
-			args = args + [arg]
-			nargs :+ 1
-		Until Not CParse(",")
-		If Not CParse( ">" ) Return Null
-		Return New TIdentType.Create( id,args )
-	End Method
-
-	Method CParsePrimitiveType:TType()
-		If CParse( "short" ) Return TType.shortType
-		If CParse( "byte" ) Return TType.byteType
-		If CParse( "int" ) Return TType.intType
-		If CParse( "float" ) Return TType.floatType
-		If CParse( "string" ) Return TType.stringType
-		If CParse( "object" ) Return TType.objectType
-		If CParse( "long" ) Return TType.longType ' BaH Long
-		If CParse( "double" ) Return TType.doubleType
-	End	Method
-
-	Method CParsePrimitiveNumberType:TType()
-		If CParse( "short" ) Return TType.shortType
-		If CParse( "byte" ) Return TType.byteType
-		If CParse( "int" ) Return TType.intType
-		If CParse( "float" ) Return TType.floatType
-		If CParse( "long" ) Return TType.longType ' BaH Long
-		If CParse( "double" ) Return TType.doubleType
-	End	Method
-
-	Method ParseNewType:TType()
-		If CParse( "void" ) Return TType.voidType
-		If CParse( "short" ) Return TType.shortType
-		If CParse( "byte" ) Return TType.byteType
-		If CParse( "int" ) Return TType.intType
-		If CParse( "float" ) Return TType.floatType
-		If CParse( "string" ) Return TType.stringType
-		If CParse( "object" ) Return TType.objectType
-		If CParse( "long" ) Return TType.longType ' BaH Long
-		If CParse( "double" ) Return TType.doubleType
-		Return ParseIdentType()
-	End Method
-
-	Method ParseType:TType()
-		Local ty:TType=CParsePrimitiveType()
-		If ty Return ty
-		Return ParseIdentType()
-	End Method
-
-	Method ParseConstNumberType:TType()
-		Local ty:TType
-		Select _toke
-		Case "@"
-			NextToke
-			ty=TType.byteType
-		Case "@@"
-			NextToke
-			ty=TType.shortType
-		Case "%"
-			NextToke
-			ty=TType.intType
-		Case "#"
-			NextToke
-			ty=TType.floatType
-		Case "$"
-			NextToke
-			ty=TType.stringType
-		Case "!"
-			NextToke
-			ty=TType.doubleType
-		Case "%%"
-			NextToke
-			ty=TType.longType
-		Case ":"
-			NextToke
-			ty=CParsePrimitiveNumberType()
-			If Not ty Then
-				ty = ParseIdentType()
-			End If
-		End Select
-
-		Return ty
-	End Method
-
-	Method ParseDeclType:TType()
-		Local ty:TType
-		Select _toke
-		'Case "?"
-		'	NextToke
-		'	ty=TType.boolType
-		Case "@"
-			NextToke
-			ty=TType.byteType
-
-			If CParse("var") Then
-				ty = TType.MapToVarPointerType(ty)
-			Else If CParse("ptr") Then
-				ty = TType.MapToPointerType(ty)
-			End If
-		Case "@@"
-			NextToke
-			ty=TType.shortType
-
-			If CParse("var") Then
-				ty = TType.MapToVarPointerType(ty)
-			Else If CParse("ptr") Then
-				ty = TType.MapToPointerType(ty)
-			End If
-		Case "%"
-			NextToke
-			ty=TType.intType
-
-			If CParse("var") Then
-				ty = TType.MapToVarPointerType(ty)
-			Else If CParse("ptr") Then
-				ty = TType.MapToPointerType(ty)
-			End If
-		Case "%%"
-			NextToke
-			ty=TType.longType
-
-			If CParse("var") Then
-				ty = TType.MapToVarPointerType(ty)
-			Else If CParse("ptr") Then
-				ty = TType.MapToPointerType(ty)
-			End If
-		Case "#"
-			NextToke
-			ty=TType.floatType
-
-			If CParse("var") Then
-				ty = TType.MapToVarPointerType(ty)
-			Else If CParse("ptr") Then
-				ty = TType.MapToPointerType(ty)
-			End If
-		Case "$"
-			NextToke
-			ty=TType.stringType
-
-			If CParse("z") Then
-				ty = TType.stringToCharPointerType
-			Else If CParse("w") Then
-				ty = TType.stringToShortPointerType
-			End If
-
-			If CParse("var") Then
-				ty = TType.MapToVarPointerType(ty)
-			End If
-		Case "!"
-			NextToke
-			ty=TType.doubleType
-
-			If CParse("var") Then
-				ty = TType.MapToVarPointerType(ty)
-			Else If CParse("ptr") Then
-				ty = TType.MapToPointerType(ty)
-			End If
-		Case ":"
-			NextToke
-			ty=ParseType()
-
-			If CParse("ptr") Then
-				ty = TType.MapToPointerType(ty)
-
-				' pointer pointer
-				If CParse("ptr") Then
-					ty = TType.MapToPointerType(ty)
-				End If
-
-				If Not ty DoErr "Invalid Pointer type."
-			End If
-
-			If CParse("var") Then
-				ty = TType.MapToVarPointerType(ty)
-			End If
-
-' TODO
-'		Case "!" ' BaH Double
-'			NextToke
-'			ty=TType.doubleType
-		Case "("
-			' nothing to see here.
-			If _module.IsSuperStrict() Then
-				' BaH : default return type when not defined
-				ty=TType.voidType
-			Else
-				ty=TType.intType
-			End If
-		Default
-			If _module.IsSuperStrict() Err "Illegal type expression."
-			ty=TType.intType
-
-			If CParse("var") Then
-				ty = TType.MapToVarPointerType(ty)
-			Else If CParse("ptr") Then
-				ty = TType.MapToPointerType(ty)
-			End If
-		End Select
-		While CParse( "[]" )
-			ty=New TArrayType.Create( ty )
-		Wend
-		Return ty
-	End Method
-
-	Method ParseArrayExpr:TArrayExpr()
-		Parse "["
-		Local args:TExpr[],nargs:Int
-		Repeat
-			If CParse("..") Then
-				If Not CParse("~n") Then
-					Err "Expecting expression but encountered '..'"
-				End If
-			End If
-			Local arg:TExpr=ParseExpr()
-			If args.Length=nargs args=args + New TExpr[10]
-			args[nargs]=arg
-			nargs:+1
-		Until Not CParse(",")
-		args=args[..nargs]
-		Parse "]"
-		Return New TArrayExpr.Create( args )
-	End Method
-
-	Method ParseArgs:TExpr[]( stmt:Int )
-
-		Local args:TExpr[]
-'DebugStop
-		If stmt
-			If AtEos() Return args
-		Else
-			If _toke<>"(" Return args
-		EndIf
-
-		Local nargs:Int,eat:Int
-
-		If _toke="("
-			If stmt
-				Local toker:TToker=New TToker.Copy(_toker),bra:Int=1
-				Repeat
-					toker.NextToke
-					toker.SkipSpace
-					Select toker.Toke().ToLower()
-					Case "","else"
-						Err "Parenthesis mismatch error."
-					Case "(","["
-						bra:+1
-					Case "]",")"
-						bra:-1
-						If bra Continue
-						toker.NextToke
-						toker.SkipSpace
-						Select toker.Toke().ToLower()
-						Case ".","(","[","",";","~n","Else"
-							eat=True
-						End Select
-						Exit
-					Case ","
-						If bra<>1 Continue
-						eat=True
-						Exit
-					Case ".."
-						NextToke
-					End Select
-				Forever
-			Else
-				eat=True
-			EndIf
-			If eat And NextToke()=")"
-				NextToke
-				Return args
-			EndIf
-		EndIf
-
-		Repeat
-			Local arg:TExpr
-			If _toke And _toke<>"," arg=ParseExpr()
-			If args.Length=nargs args=args + New TExpr[10]
-			args[nargs]=arg
-			nargs:+1
-		Until Not CParse(",")
-		args=args[..nargs]
-
-		If eat Parse ")"
-
-		Return args
-	End Method
-
-	Method ParsePrimaryExpr:TExpr( stmt:Int )
-
-		Local expr:TExpr
-
-		Select _toke.ToLower()
-		Case "("
-			NextToke
-			expr=ParseExpr()
-			Parse ")"
-		Case "["
-			expr=ParseArrayExpr()
-		Case "[]"
-			NextToke
-			expr=New TConstExpr.Create( TType.emptyArrayType,"" )
-		Case "."
-			expr=New TScopeExpr.Create( _module )
-		Case "new"
-'DebugStop
-			NextToke
-			Local ty:TType=ParseType()
-			If CParse( "[" )
-				Local ln:TExpr[]
-				Repeat
-					ln = ln + [ParseExpr()]
-					If CParse("]") Exit
-					Parse ","
-				Forever
-				'Parse "]"
-				While CParse( "[]" )
-					ty=New TArrayType.Create( ty)
-				Wend
-				expr=New TNewArrayExpr.Create( ty,ln )
-			Else
-				expr=New TNewObjectExpr.Create( ty,ParseArgs( stmt ) )
-			EndIf
-		Case "null"
-			NextToke
-			expr=New TConstExpr.Create( TType.nullObjectType,"" )
-		Case "true"
-			NextToke
-			expr=New TConstExpr.Create( TType.intType,"1" )
-		Case "false"
-			NextToke
-			expr=New TConstExpr.Create( TType.intType,"" )
-		Case "int","long","float","double","array","object","short","byte"
-
-			Local id$=_toke
-			Local ty:TType=ParseType()
-
-			If TIntType(ty) And id.ToLower() <> "int" Then
-				Select id.ToLower()
-					Case "byte"
-						ty = TType.byteType
-					Case "short"
-						ty = TType.shortType
-					Case "long"
-						ty = TType.longType
-					Case "float"
-						ty = TType.floatType
-					Case "double"
-						ty = TType.doubleType
-				End Select
-			End If
-
-			If CParse("ptr") Then
-				ty = TType.MapToPointerType(ty)
-			End If
-
-			' optional brackets
-			If CParse( "(" )
-				expr=ParseExpr()
-				Parse ")"
-				expr=New TCastExpr.Create( ty,expr,CAST_EXPLICIT )
-			Else
-				expr=ParseExpr()
-'				Parse ")"
-				expr=New TCastExpr.Create( ty,expr,CAST_EXPLICIT )
-'				expr=New TIdentExpr.Create( id )
-			EndIf
-		Case "sizeof"
-			NextToke
-			' optional brackets
-			If CParse( "(" )
-				expr=ParseExpr()
-				Parse ")"
-				expr=New TSizeOfExpr.Create( expr )
-			Else
-				expr=ParseExpr()
-				expr=New TSizeOfExpr.Create( expr )
-			EndIf
-		Case "len"
-			NextToke
-			' optional brackets
-			If CParse( "(" )
-				expr=ParseExpr()
-				Parse ")"
-				expr=New TLenExpr.Create( expr )
-			Else
-				expr=ParseExpr()
-				expr=New TLenExpr.Create( expr )
-			EndIf
-		Case "abs"
-			NextToke
-			' optional brackets
-			If CParse( "(" )
-				expr=ParseExpr()
-				Parse ")"
-				expr=New TAbsExpr.Create( expr )
-			Else
-				expr=ParseExpr()
-				expr=New TAbsExpr.Create( expr )
-			EndIf
-		Case "min"
-			NextToke
-			' optional brackets
-			Local b:Int = CParse( "(" )
-
-			expr=ParseExpr()
-			Parse ","
-			Local expr2:TExpr=ParseExpr()
-
-			If b Then
-				Parse ")"
-			End If
-
-			expr=New TMinExpr.Create( expr, expr2 )
-		Case "max"
-			NextToke
-			' optional brackets
-			Local b:Int = CParse( "(" )
-
-			expr=ParseExpr()
-			Parse ","
-			Local expr2:TExpr=ParseExpr()
-
-			If b Then
-				Parse ")"
-			End If
-
-			expr=New TMaxExpr.Create( expr, expr2 )
-		Case "string"
-			Local id$=_toke
-			Local ty:TType=ParseType()
-
-			If CParse("ptr") Then
-				ty = TType.MapToPointerType(ty)
-			End If
-
-			If CParse( "(" )
-				expr=ParseExpr()
-				Parse ")"
-				expr=New TCastExpr.Create( ty,expr,CAST_EXPLICIT )
-			Else
-				expr=New TIdentExpr.Create( id )
-			EndIf
-
-		Case "varptr"
-			NextToke
-			expr=ParseExpr()
-			expr=New TCastExpr.Create( TType.varPointerType, expr, CAST_EXPLICIT )
-		Case "self"
-			NextToke
-			expr=New TSelfExpr
-		Case "super"
-			NextToke
-			Parse "."
-			If _toke="new"
-				Err "Call to super class constructor must be first statement in a constructor."
-			EndIf
-			Local id$=ParseIdent()
-			expr=New TInvokeSuperExpr.Create( id,ParseArgs( stmt ) )
-		Case ".." ' handle end-of-line "dot dot return"
-			Local tok:TToker = New TToker.Copy(_toker)
-			Local t:String = tok.NextToke()
-			If t = "~r" Then
-				t = tok.NextToke()
-				If t = "~n" Then
-					NextToke
-					NextToke
-				Else
-					NextToke
-				End If
-			Else
-				If t = "~n" Then
-					NextToke
-				End If
-			End If
-
-			expr=ParseExpr()
-
-			'NextToke
-
-			'If Not CParse("~n") Then
-			'	Err "Expecting expression but encountered '..'"
-			'End If
-			'NextToke
-		Default
-			Select _tokeType
-			Case TOKE_IDENT
-				Local tok:TToker=New TToker.Copy( _toker )
-
-				Local ty:TType=CParseIdentType()
-				If ty
-					expr=New TIdentTypeExpr.Create( ty )
-				Else
-					_toker=tok
-					_toke=_toker.Toke()
-					_tokeType=_toker.TokeType()
-					expr=New TIdentExpr.Create( ParseIdent() )
-
-					ParseConstNumberType()
-				EndIf
-
-				'expr=New TIdentExpr.Create( ParseIdent() )
-			Case TOKE_INTLIT
-
-				expr=New TConstExpr.Create( TType.intType,_toke )
-				NextToke
-
-				Local ty:TType = ParseConstNumberType()
-				If ty Then
-					TConstExpr(expr).ty = ty
-				End If
-			Case TOKE_LONGLIT
-				expr=New TConstExpr.Create( TType.longType,_toke )
-				NextToke
-			Case TOKE_FLOATLIT
-				expr=New TConstExpr.Create( TType.floatType,_toke )
-				NextToke
-
-				Local ty:TType = ParseConstNumberType()
-				If ty Then
-					TConstExpr(expr).ty = ty
-				End If
-			Case TOKE_STRINGLIT
-				expr=New TConstExpr.Create( TType.stringType,BmxUnquote( _toke ) )
-				_app.mapStringConsts(BmxUnquote( _toke ))
-				NextToke
-			Default
-				Err "Expecting expression but encountered '"+_toke+"'"
-			End Select
-		End Select
-
-		Repeat
-
-			Select _toke
-			Case "."
-'DebugLog "FOUND DOT for : " + expr.ToString() + " : " + _toker._line
-				NextToke
-				expr=New TIdentExpr.Create( ParseIdent(),expr )
-'DebugLog expr.ToString()
-			Case "("
-
-				If expr = Null Then
-					NextToke
-					expr=ParseExpr()
-					Parse ")"
-				Else
-					expr=New TFuncCallExpr.Create( expr,ParseArgs( stmt ) )
-				End If
-
-			Case "["
-				NextToke
-				If CParse( ".." )
-					If _toke="]"
-						expr=New TSliceExpr.Create( expr,Null,Null )
-					Else
-						expr=New TSliceExpr.Create( expr,Null,ParseExpr() )
-					EndIf
-					Parse "]"
-				Else
-					Local from:TExpr=ParseExpr()
-					If CParse( ".." )
-						If _toke="]"
-							expr=New TSliceExpr.Create( expr,from,Null )
-						Else
-							expr=New TSliceExpr.Create( expr,from,ParseExpr() )
-						EndIf
-						Parse "]"
-					Else
-						Local ind:TExpr[] = [from]
-						Repeat
-							If CParse("]") Then
-								Exit
-							End If
-						
-							Parse ","							
-
-							ind = ind + [ParseExpr()]
-						Forever
-						
-						expr=New TIndexExpr.Create( expr,ind )
-					EndIf
-				EndIf
-			Default
-				Return expr
-			End Select
-		Forever
-
-	End Method
-
-	Method ParseUnaryExpr:TExpr()
-
-		SkipEols
-
-		Local op$=_toke
-		Select op
-		Case "+","-","~~","not"
-			NextToke
-			Local expr:TExpr=ParseUnaryExpr()
-			Return New TUnaryExpr.Create( op,expr )
-		End Select
-		Return ParsePrimaryExpr( False )
-	End Method
-
-	Method ParseMulDivExpr:TExpr()
-		Local expr:TExpr=ParseUnaryExpr()
-		Repeat
-			Local op$=_toke
-			Select op
-			Case "*","/","mod","shl","shr", "sar"
-				NextToke
-				Local rhs:TExpr=ParseUnaryExpr()
-				expr=New TBinaryMathExpr.Create( op,expr,rhs )
-			Case ".." ' handle end-of-line "dot dot return"
-				Local tok:TToker = New TToker.Copy(_toker)
-				Local t:String = tok.NextToke()
-				If t = "~r" Then
-					t = tok.NextToke()
-					If t = "~n" Then
-						NextToke
-						NextToke
-					Else
-						NextToke
-					End If
-				Else
-					If t = "~n" Then
-						NextToke
-					End If
-				End If
-				Return expr
-			Default
-				Return expr
-			End Select
-		Forever
-	End Method
-
-	Method ParseAddSubExpr:TExpr()
-		Local expr:TExpr=ParseMulDivExpr()
-		Repeat
-			Local op$=_toke
-			Select op
-			Case "+","-"
-				NextToke
-				Local rhs:TExpr=ParseMulDivExpr()
-				expr=New TBinaryMathExpr.Create( op,expr,rhs )
-			Default
-				Return expr
-			End Select
-		Forever
-	End Method
-
-	Method ParseBitandExpr:TExpr()
-		Local expr:TExpr=ParseAddSubExpr()
-		Repeat
-			Local op$=_toke
-			Select op
-			Case "&","~~"
-				NextToke
-				Local rhs:TExpr=ParseAddSubExpr()
-				expr=New TBinaryMathExpr.Create( op,expr,rhs )
-			Default
-				Return expr
-			End Select
-		Forever
-	End Method
-
-	Method ParseBitorExpr:TExpr()
-		Local expr:TExpr=ParseBitandExpr()
-		Repeat
-			Local op$=_toke
-			Select op
-			Case "|"
-				NextToke
-				Local rhs:TExpr=ParseBitandExpr()
-				expr=New TBinaryMathExpr.Create( op,expr,rhs )
-			Default
-				Return expr
-			End Select
-		Forever
-	End Method
-
-	Method ParseCompareExpr:TExpr()
-		Local expr:TExpr=ParseBitorExpr()
-		Repeat
-			Local op$=_toke
-			Select op
-			Case "=","<",">","<=","=<",">=","=>","<>"
-				NextToke
-				' <= or =>
-				If (op=">" And (_toke="=")) Or (op="=" And (_toke=">"))
-					op:+_toke
-					NextToke
-				' <> or <= or =<
-				Else If (op="<" And _toke=">") Or (op="<" And _toke="=") Or (op="=" And _toke="<")
-					op:+_toke
-					NextToke
-				EndIf
-				Local rhs:TExpr=ParseBitorExpr()
-				expr=New TBinaryCompareExpr.Create( op,expr,rhs )
-			Default
-				Return expr
-			End Select
-		Forever
-	End Method
-
-	Method ParseAndExpr:TExpr()
-		Local expr:TExpr=ParseCompareExpr()
-		Repeat
-			Local op$=_toke
-			If op="and"
-				NextToke
-				Local rhs:TExpr=ParseCompareExpr()
-				expr=New TBinaryLogicExpr.Create( op,expr,rhs )
-			Else
-				Return expr
-			EndIf
-		Forever
-	End Method
-
-	Method ParseOrExpr:TExpr()
-		Local expr:TExpr=ParseAndExpr()
-		Repeat
-			Local op$=_toke
-			If op="or"
-				NextToke
-				Local rhs:TExpr=ParseAndExpr()
-				expr=New TBinaryLogicExpr.Create( op,expr,rhs )
-			Else
-				Return expr
-			EndIf
-		Forever
-	End Method
-
-	Method ParseExpr:TExpr()
-		Return ParseOrExpr()
-	End Method
-
-	Method ParseIfStmt( term$ )
-
-		CParse "if"
-'DebugStop
-		Local expr:TExpr=ParseExpr()
-
-		CParse "then"
-
-		Local thenBlock:TBlockDecl=New TBlockDecl.Create( _block )
-		Local elseBlock:TBlockDecl=New TBlockDecl.Create( _block )
-
-		Local eatTerm:Int
-		If Not term
-			If _toke="~n" term="end" Else term="~n"
-			eatTerm=True
-		EndIf
-
-		PushBlock thenBlock
-		While _toke<>term
-			Select _toke
-			Case "endif"
-				If term="end" Exit
-				Err "Syntax error - expecting 'End'."
-			Case "else","elseif"
-				Local elif:Int=_toke="elseif"
-				NextToke
-				If _block=elseBlock
-					Err "If statement can only have one 'else' block."
-				EndIf
-				PopBlock
-				PushBlock elseBlock
-				If elif Or _toke="if"
-					ParseIfStmt term
-				EndIf
-			Default
-				ParseStmt
-			End Select
-		Wend
-		PopBlock
-
-		If eatTerm
-			NextToke
-			If term="end" CParse "if"
-		EndIf
-
-		Local stmt:TIfStmt=New TIfStmt.Create( expr,thenBlock,elseBlock )
-
-		_block.AddStmt stmt
-	End Method
-
-	Method ParseWhileStmt()
-
-		Parse "while"
-
-		Local expr:TExpr=ParseExpr()
-		Local block:TBlockDecl=New TBlockDecl.Create( _block )
-
-		PushBlock block
-		While Not CParse( "wend" )
-			If CParse( "end" )
-				CParse "while"
-				Exit
-			EndIf
-			ParseStmt
-		Wend
-		PopBlock
-
-		Local stmt:TWhileStmt=New TWhileStmt.Create( expr,block )
-
-		_block.AddStmt stmt
-	End Method
-
-	Method ParseRepeatStmt()
-
-		Parse "repeat"
-
-		Local block:TBlockDecl=New TBlockDecl.Create( _block )
-
-		PushBlock block
-		While _toke<>"until" And _toke<>"forever"
-			ParseStmt
-		Wend
-		PopBlock
-
-		SetErr
-
-		Local expr:TExpr
-		If CParse( "until" )
-			expr=ParseExpr()
-		Else
-			Parse "forever"
-			expr=New TConstExpr.Create( TType.boolType,"" )
-		EndIf
-
-		Local stmt:TRepeatStmt=New TRepeatStmt.Create( block,expr )
-
-		_block.AddStmt stmt
-	End Method
-
-	Method ParseForStmt()
-'DebugStop
-		Parse "for"
-
-		Local varid$,varty:TType,varlocal:Int
-
-		If CParse( "local" )
-			varlocal=True
-			varid=ParseIdent()
-			'If Not CParse( ":=" )
-				varty=ParseDeclType()
-				Parse( "=" )
-			'EndIf
-		Else
-			varlocal=False
-			varid=ParseIdent()
-			Parse "="
-		EndIf
-
-		If CParse( "eachin" )
-			Local expr:TExpr=ParseExpr()
-			Local block:TBlockDecl=New TBlockDecl.Create( _block )
-
-			PushBlock block
-			While Not CParse( "next" )
-				If CParse( "end" )
-					CParse "for"
-					Exit
-				EndIf
-				ParseStmt
-			Wend
-			PopBlock
-
-			Local stmt:TForEachinStmt=New TForEachinStmt.Create( varid,varty,varlocal,expr,block )
-
-			_block.AddStmt stmt
-
-			Return
-		EndIf
-
-		Local from:TExpr=ParseExpr()
-
-		Local op$
-		If CParse( "to" )
-			op="<="
-		Else If CParse( "until" )
-			op="<"
-		Else
-			Err "Expecting 'To' or 'Until'."
-		EndIf
-
-		Local term:TExpr=ParseExpr()
-
-		Local stp:TExpr
-
-		If CParse( "step" )
-			stp=ParseExpr()
-		Else
-			stp=New TConstExpr.Create( TType.intType,"1" )
-		EndIf
-
-		Local init:TStmt,expr:TExpr,incr:TStmt
-
-		If varlocal
-			Local indexVar:TLocalDecl=New TLocalDecl.Create( varid,varty,from,0 )
-			init=New TDeclStmt.Create( indexVar )
-			expr=New TBinaryCompareExpr.Create( op,New TVarExpr.Create( indexVar ),term )
-			incr=New TAssignStmt.Create( "=",New TVarExpr.Create( indexVar ),New TBinaryMathExpr.Create( "+",New TVarExpr.Create( indexVar ),stp ) )
-		Else
-			init=New TAssignStmt.Create( "=",New TIdentExpr.Create( varid ),from )
-			expr=New TBinaryCompareExpr.Create( op,New TIdentExpr.Create( varid ),term )
-			incr=New TAssignStmt.Create( "=",New TIdentExpr.Create( varid ),New TBinaryMathExpr.Create( "+",New TIdentExpr.Create( varid ),stp ) )
-		EndIf
-
-		Local block:TBlockDecl=New TBlockDecl.Create( _block )
-
-		PushBlock block
-		While Not CParse( "next" )
-			If CParse( "end" )
-				CParse "for"
-				Exit
-			EndIf
-			ParseStmt
-		Wend
-		PopBlock
-
-		NextToke
-
-		Local stmt:TForStmt=New TForStmt.Create( init,expr,incr,block )
-
-		_block.AddStmt stmt
-	End Method
-
-	Method ParseReturnStmt()
-		Parse "return"
-		Local expr:TExpr
-		If Not AtEos() expr=ParseExpr()
-		_block.AddStmt New TReturnStmt.Create( expr )
-	End Method
-
-	Method ParseExitStmt()
-		Parse "exit"
-		_block.AddStmt New TBreakStmt
-	End Method
-
-	Method ParseContinueStmt()
-		Parse "continue"
-		_block.AddStmt New TContinueStmt
-	End Method
-
-	Method ParseTryStmt()
-		Parse "try"
-
-		Local block:TBlockDecl=New TBlockDecl.Create( _block )
-		Local catches:TStack=New TStack
-
-		PushBlock block
-		While _toke<>"end"
-			If CParse( "catch" )
-				Local id:String=ParseIdent()
-				Parse ":"
-				Local ty:TType=ParseType()
-				Local init:TLocalDecl=New TLocalDecl.Create( id,ty,Null,0 )
-				Local block:TBlockDecl=New TBlockDecl.Create( _block )
-				catches.Push New TCatchStmt.Create( init,block )
-				PopBlock
-				PushBlock block
-			Else
-				ParseStmt
-			End If
-		Wend
-		If Not catches.Length() Err "Try block must have at least one catch block"
-		PopBlock
-		NextToke
-		CParse "try"
-
-		_block.AddStmt New TTryStmt.Create( block,TCatchStmt[](catches.ToArray()) )
-	End Method
-
-	Method ParseThrowStmt()
-		Parse "throw"
-		Local expr:TExpr = ParseExpr()
-		_block.AddStmt New TThrowStmt.Create( expr )
-	End Method
-
-	Method ParseAssertStmt()
-		Parse "assert"
-		Local expr:TExpr = ParseExpr()
-		Local elseExpr:TExpr
-
-		If _toke = "," Or _toke = "else" Then
-			NextToke
-			elseExpr = ParseExpr()
-		End If
-
-		_block.AddStmt New TAssertStmt.Create( expr, elseExpr )
-	End Method
-
-	Method ParseSelectStmt()
-		Parse "select"
-
-		Local block:TBlockDecl=_block
-
-		Local tmpVar:TLocalDecl=New TLocalDecl.Create( "",Null,ParseExpr() )
-
-		block.AddStmt New TDeclStmt.Create( tmpVar )
-
-		While _toke<>"end" And _toke<>"default" And _toke<>"endselect"
-			SetErr
-			Select _toke
-			Case "~n"
-				NextToke
-			Case "case"
-				NextToke
-				Local comp:TExpr
-				Repeat
-					Local expr:TExpr=New TVarExpr.Create( tmpVar )
-					expr=New TBinaryCompareExpr.Create( "=",expr,ParseExpr() )
-					If comp
-						comp=New TBinaryLogicExpr.Create( "or",comp,expr )
-					Else
-						comp=expr
-					EndIf
-				Until Not CParse(",")
-
-				Local thenBlock:TBlockDecl=New TBlockDecl.Create( _block )
-				Local elseBlock:TBlockDecl=New TBlockDecl.Create( _block )
-
-				Local ifstmt:TIfStmt=New TIfStmt.Create( comp,thenBlock,elseBlock )
-				block.AddStmt ifstmt
-				block=ifstmt.thenBlock
-
-				PushBlock block
-				While _toke<>"case" And _toke<>"default" And _toke<>"end" And _toke<>"endselect"
-					ParseStmt
-				Wend
-				PopBlock
-
-				block=elseBlock
-			Default
-				Err "Syntax error - expecting 'Case', 'Default' or 'End'."
-			End Select
-		Wend
-
-		If _toke="default"
-			NextToke
-			PushBlock block
-			While _toke<>"end" And _toke<>"endselect"
-				SetErr
-				Select _toke
-				Case "case"
-					Err "Case can not appear after default."
-				Case "default"
-					Err "Select statement can have only one default block."
-				End Select
-				ParseStmt
-			Wend
-			PopBlock
-		EndIf
-
-		SetErr
-
-		If Not CParse("endselect") Then
-			Parse "end"
-			Parse "select"
-		End If
-	End Method
-
-	Method ParseRemStmt()
-		Parse "rem"
-
-' TODO : end/rem should be at the beginning of a line... ignore otherwise
-		While _toke
-			SkipEols()
-'			If CParse( "endrem" ) Then
-'DebugStop
-			 	Local line:String = _toker._lines[_toker._line - 1].Trim().toLower()
-				If line.startswith("endrem") Then
-					Exit
-				End If
-
-				If CParse( "end" )
-					CParse "rem"
-				End If
-
-				If line.startswith("end rem") Then
-					Exit
-				End If
-
-'			EndIf
-			NextToke
-		Wend
-
-		NextToke
-
-	End Method
-
-	Method ParseStmt()
-		SetErr
-		Select _toke
-		Case ";","~n"
-			NextToke
-		Case "rem"
-			ParseRemStmt()
-		Case "const","local","global"
-			ParseDeclStmts
-		' nested function - needs to get added to the "module"
-		Case "function"
-			_block.InsertDecl ParseFuncDecl( _toke,FUNC_NESTED )
-		Case "return"
-			ParseReturnStmt()
-		Case "exit"
-			ParseExitStmt()
-		Case "continue"
-			ParseContinueStmt()
-		Case "if"
-			ParseIfStmt( "" )
-		Case "while"
-			ParseWhileStmt()
-		Case "repeat"
-			ParseRepeatStmt()
-		Case "for"
-			ParseForStmt()
-		Case "select"
-			ParseSelectStmt()
-		Case "assert"
-			ParseAssertStmt()
-		Case "try"
-			ParseTryStmt()
-		Case "throw"
-			ParseThrowStmt()
-		Default
-'If _toker._line = 246 Then
-'DebugStop
-'End If
-			Local expr:TExpr=ParsePrimaryExpr( True )
-
-			Select _toke.ToLower()
-			'"=","*=","/=","+=","-=","&=","|=","~~=","mod","shl","shr"
-			Case "=",":*",":/",":+",":-",":&",":|",":~~","mod","shl","shr", ":shl", ":shr", "sar", ":sar", ":mod"
-'DebugLog _toke
-				' remap symbols...
-				For Local i:Int = 0 Until TToker._symbols.length
-					Local sym$= TToker._symbols[i]
-					If _toke.ToLower() = sym
-						_toke = TToker._symbols_map[i]
-'DebugLog _toke
-						Exit
-					EndIf
-				Next
-
-
-				If TIdentExpr( expr ) Or TIndexExpr( expr )
-					Local op$=_toke
-					NextToke
-					If Not op.EndsWith( "=" ) And Not op.StartsWith("=")
-						Parse "="
-						op:+"="
-					EndIf
-					_block.AddStmt New TAssignStmt.Create( op,expr,ParseExpr() )
-				Else
-					Err "Assignment operator '"+_toke+"' cannot be used this way."
-				EndIf
-				Return
-			End Select
-
-			If TIdentExpr( expr )
-
-				expr=New TFuncCallExpr.Create( expr,ParseArgs( True ) )
-
-			Else If TFuncCallExpr( expr) Or TInvokeSuperExpr( expr ) Or TNewObjectExpr( expr )
-
-			Else
-				Err "Expression cannot be used as a statement."
-			EndIf
-
-			_block.AddStmt New TExprStmt.Create( expr )
-
-		End Select
-	End Method
-
-	Method ParseDecl:TDecl( toke$,attrs:Int )
-		SetErr
-		Local id$=ParseIdent()
-		Local ty:TType
-		Local init:TExpr
-
-		If attrs & DECL_EXTERN
-			ty=ParseDeclType()
-
-'			If CParse("(") Then
-			If _toke = "(" Then
-
-				' function pointer?
-				Local decl:TFuncDecl = ParseFuncDecl("", attrs | FUNC_PTR)
-
-				If Not ty Then
-					ty = New TFunctionPtrType
-					TFunctionPtrType(ty).func = decl
-				Else
-					decl.retType = ty
-					ty = New TFunctionPtrType
-					TFunctionPtrType(ty).func = decl
-				End If
-
-				TFunctionPtrType(ty).func.ident = id
-
-			Else If toke = "const" Then
-				If CParse("=") Then
-					init=ParseExpr()
-				End If
-			End If
-		Else If CParse( ":=" )
-			init=ParseExpr()
-		Else
-			ty=ParseDeclType()
-			If CParse( "=" )
-				init=ParseExpr()
-			Else If CParse( "[" )
-				Local ln:TExpr[]
-				Repeat
-					ln = ln + [ParseExpr()]
-					If CParse("]") Exit
-					Parse(",")
-				Forever
-				'Parse "]"
-				While CParse( "[]" )
-					ty=New TArrayType.Create(ty)
-				Wend
-				init=New TNewArrayExpr.Create( ty,ln)
-				ty=New TArrayType.Create( ty, ln.length )
-			Else If _toke = "(" Then
-	 			' function pointer?
-
-				Local fdecl:TFuncDecl = ParseFuncDecl("", FUNC_PTR)
-				If toke = "field" Then
-					fdecl.attrs :| FUNC_METHOD
-				End If
-
-				If Not ty Then
-					ty = New TFunctionPtrType
-					TFunctionPtrType(ty).func = fdecl
-				Else
-					fdecl.retType = ty
-					ty = New TFunctionPtrType
-					TFunctionPtrType(ty).func = fdecl
-				End If
-
-				TFunctionPtrType(ty).func.ident = ""
-
-				' check for function pointer init
-				If CParse("=") Then
-					init=ParseExpr()
-				End If
-
-			Else If toke<>"const"
-				init=New TConstExpr.Create( ty,"" )
-			Else
-				Err "Constants must be initialized."
-			EndIf
-		EndIf
-
-		Local decl:TValDecl
-
-		Select toke
-		Case "global" decl=New TGlobalDecl.Create( id,ty,init,attrs )
-		Case "field"  decl=New TFieldDecl.Create( id,ty,init,attrs )
-		Case "const"  decl=New TConstDecl.Create( id,ty,init,attrs )
-		Case "local"  decl=New TLocalDecl.Create( id,ty,init,attrs )
-		End Select
-
-		If decl.IsExtern()
-'DebugStop
-			If CParse( "=" )
-				decl.munged=ParseStringLit()
-				If TFunctionPtrType(ty) Then
-					TFunctionPtrType(ty).func.munged = decl.munged
-				End If
-			Else
-				decl.munged=decl.ident
-			EndIf
-		EndIf
-
-		Return decl
-	End Method
-
-	Method ParseDecls:TList( toke$,attrs:Int )
-		If toke Parse toke
-
-		Local decls:TList=New TList'<Decl>
-		Repeat
-			Local decl:TDecl=ParseDecl( toke,attrs )
-			decls.AddLast decl
-			If Not CParse(",") Return decls
-		Forever
-	End Method
-
-	Method ParseDeclStmts()
-		Local toke$=_toke
-		NextToke
-		Repeat
-			Local decl:TDecl=ParseDecl( toke,0 )
-			_block.AddStmt New TDeclStmt.Create( decl )
-		Until Not CParse(",")
-	End Method
-
-	Method ParseFuncDecl:TFuncDecl( toke$,attrs:Int )
-		SetErr
-
-		If toke Parse toke
-
-		Local id$
-		Local ty:TType
-		Local meth:Int = attrs & FUNC_METHOD
-
-		If attrs & FUNC_METHOD
-			If _toke="new"
-'DebugStop
-				If attrs & DECL_EXTERN
-					Err "Extern classes cannot have constructors"
-				EndIf
-				id=_toke
-				NextToke
-				attrs:|FUNC_CTOR
-				attrs:&~FUNC_METHOD
-			Else
-				id=ParseIdent()
-				ty=ParseDeclType()
-			EndIf
-		Else
-			If Not (attrs & FUNC_PTR) Then
-				id=ParseIdent()
-				ty=ParseDeclType()
-			End If
-		EndIf
-
-		Local args:TArgDecl[]
-
-		Parse "("
-		SkipEols
-		If _toke<>")"
-			Local nargs:Int
-			Repeat
-				If _toke =".." ' handle end-of-line "dot dot return"
-					Local tok:TToker = New TToker.Copy(_toker)
-					Local t:String = tok.NextToke()
-					If t = "~r" Then
-						t = tok.NextToke()
-						If t = "~n" Then
-							NextToke
-							NextToke
-						Else
-							NextToke
-						End If
-					End If
-				End If
-
-				Local id$=ParseIdent()
-
-				Local ty:TType=ParseDeclType()
-				Local init:TExpr
-				' function pointer ?
-				If _toke = "(" Then
-
-					Local fdecl:TFuncDecl = ParseFuncDecl("", FUNC_PTR | DECL_ARG)
-
-					If Not ty Then
-						ty = New TFunctionPtrType
-						TFunctionPtrType(ty).func = fdecl
-					Else
-						fdecl.retType = ty
-						ty = New TFunctionPtrType
-						TFunctionPtrType(ty).func = fdecl
-					End If
-
-					TFunctionPtrType(ty).func.ident = id
-
-				End If
-				If CParse( "=" ) init=ParseExpr()
-				Local arg:TArgDecl=New TArgDecl.Create( id,ty,init )
-				If args.Length=nargs args=args + New TArgDecl[10]
-				args[nargs]=arg
-				nargs:+1
-				If _toke=")" Exit
-
-				If _toke =".." ' handle end-of-line "dot dot return"
-					Local tok:TToker = New TToker.Copy(_toker)
-					Local t:String = tok.NextToke()
-					If t = "~r" Then
-						t = tok.NextToke()
-						If t = "~n" Then
-							NextToke
-							NextToke
-						Else
-							NextToke
-						End If
-					End If
-				End If
-
-				Parse ","
-			Forever
-			args=args[..nargs]
-		EndIf
-		Parse ")"
-
-		Repeat
-			If CParse( "final" )
-				attrs:|DECL_FINAL
-			Else If CParse( "abstract" )
-				attrs:|DECL_ABSTRACT
-			Else If CParse( "property" )
-				If attrs & FUNC_METHOD
-					attrs:|FUNC_PROPERTY
-				Else
-					Err "Only methods can be properties."
-				EndIf
-			Else If CParse( "nodebug" )
-				' TODO : NoDebug
-			Else
-				Exit
-			EndIf
-		Forever
-If Not ty Then
-'DebugStop
-End If
-
-		Local funcDecl:TFuncDecl=New TFuncDecl.CreateF( id,ty,args,attrs )
-
-		If funcDecl.IsExtern() Or (attrs & FUNC_PTR)
-			funcDecl.munged=funcDecl.ident
-
-			' a normal function pointer definition *probably* can't be defined with a munged name?
-			' If there is an equals here, one can assume it is for an initialisation...
-			'If (Not (attrs & FUNC_PTR)) Or (attrs & FUNC_PTR And Not (attrs & DECL_ARG)) Then
-			If Not (attrs & FUNC_PTR) Then
-				If CParse( "=" )
-					funcDecl.munged=ParseStringLit()
-				End If
-
-				'Array $resize hack!
-				'If funcDecl.munged="$resize"
-				'	funcDecl.retTypeExpr=TType.emptyArrayType
-				'EndIf
-			EndIf
-
-			If funcDecl.munged Then
-				' look up extern cast list
-				Local cdets:TCastDets = TCastDets(_externCasts.ValueForKey(funcDecl.munged))
-				If cdets Then
-					funcDecl.castTo = cdets.retType
-					If cdets.noGen Then
-						funcDecl.noCastGen = True
-					End If
-					For Local i:Int = 0 Until cdets.args.length
-						funcDecl.argDecls[i].castTo = cdets.args[i]
-					Next
-				End If
-			End If
-
-			Return funcDecl
-		EndIf
-
-		If funcDecl.IsAbstract() Return funcDecl
-
-		'Ok, only first statement of a constructor can call super constructor - not pretty, should be in semant.
-		If attrs & FUNC_CTOR
-			SkipEols
-			If CParse( "super" )
-				Parse "."
-				If _toke="new"
-					Local id$=_toke
-					NextToke
-					funcDecl.superCtor=New TInvokeSuperExpr.Create( id,ParseArgs( True ) )
-					funcDecl.AddStmt New TExprStmt.Create( funcDecl.superCtor )
-				Else
-					Local id$=ParseIdent()
-					funcDecl.AddStmt New TExprStmt.Create( New TInvokeSuperExpr.Create( id,ParseArgs( True ) ) )
-				EndIf
-			Else
-					'Invoke super default ctor
-					'funcDecl.superCtor=New InvokeSuperExpr( "new",[] )
-					'funcDecl.AddStmt New TExprStmt( funcDecl.superCtor )
-			EndIf
-		EndIf
-
-		PushBlock funcDecl
-		While (Not meth And _toke.ToLower()<>"endfunction") Or (meth And _toke.ToLower()<>"endmethod")
-			If CParse( "end" )
-				If (Not meth And CParse("function")) Or (meth And CParse("method"))
-					Exit
-				End If
-			EndIf
-
-			ParseStmt
-		Wend
-		PopBlock
-
-		'DebugStop ' BaH
-
-		NextToke
-		If toke CParse toke
-
-		Return funcDecl
-	End Method
-
-	Method ParseClassDecl:TClassDecl( toke$,attrs:Int )
-		SetErr
-
-		If toke Parse toke
-
-		Local id$=ParseIdent()
-		Local args:TClassDecl[]
-		Local superTy:TIdentType
-		Local imps:TIdentType[]
-
-		If (attrs & CLASS_INTERFACE) And (attrs & DECL_EXTERN)
-			Err "Interfaces cannot be extern."
-		EndIf
-Rem
-		If CParse( "<" )
-
-			If attrs & DECL_EXTERN
-				Err "Extern classes cannot be generic."
-			EndIf
-
-			If attrs & CLASS_INTERFACE
-				Err "Interfaces cannot be generic."
-			EndIf
-
-			If attrs & CLASS_TEMPLATEARG
-				Err "Class parameters cannot be generic."
-			EndIf
-
-			Local nargs:Int
-			Repeat
-				Local decl:TClassDecl=ParseClassDecl( "",CLASS_TEMPLATEARG )
-				If args.Length=nargs args=args + New TClassDecl[10]
-				args[nargs]=decl
-				nargs:+1
-			Until Not CParse(",")
-			args=args[..nargs]
-
-			Parse ">"
-		EndIf
-End Rem
-		If CParse( "extends" )
-			'If attrs & CLASS_TEMPLATEARG
-			'	Err "Extends cannot be used with class parameters."
-			'EndIf
-
-			If CParse( "null" )
-
-				If attrs & CLASS_INTERFACE
-					Err "Interfaces cannot extend null"
-				EndIf
-
-				If Not (attrs & DECL_EXTERN)
-					Err "Only extern objects can extend null."
-				EndIf
-
-				superTy=Null
-
-			Else If attrs & CLASS_INTERFACE
-
-				Local nimps:Int
-				Repeat
-					If imps.Length=nimps imps=imps + New TIdentType[10]
-					imps[nimps]=ParseIdentType()
-					nimps:+1
-				Until Not CParse(",")
-				imps=imps[..nimps]
-				superTy=TType.objectType
-			Else
-				superTy=ParseIdentType()
-			EndIf
-		Else
-			superTy=TType.objectType
-		EndIf
-Rem
-		If CParse( "implements" )
-
-			If attrs & DECL_EXTERN
-				Err "Implements cannot be used with external classes."
-			EndIf
-
-			If attrs & CLASS_INTERFACE
-				Err "Implements cannot be used with interfaces."
-			EndIf
-
-			If attrs & CLASS_TEMPLATEARG
-				Err "Implements cannot be used with class parameters."
-			EndIf
-
-			Local nimps:Int
-			Repeat
-				If imps.Length=nimps imps=imps + New TIdentType[10]
-				imps[nimps]=ParseIdentType()
-				nimps:+1
-			Until Not CParse(",")
-			imps=imps[..nimps]
-		EndIf
-End Rem
-		Repeat
-			If CParse( "final" )
-
-				If attrs & CLASS_INTERFACE
-					Err "Final cannot be used with interfaces."
-				EndIf
-
-				attrs:|DECL_FINAL
-
-			Else If CParse( "abstract" )
-
-				If attrs & CLASS_INTERFACE
-					Err "Abstract cannot be used with interfaces."
-				EndIf
-
-				attrs:|DECL_ABSTRACT
-			Else
-				Exit
-			EndIf
-		Forever
-
-		Local classDecl:TClassDecl=New TClassDecl.Create( id,args,superTy,imps,attrs )
-
-		If classDecl.IsExtern()
-			classDecl.munged=classDecl.ident
-			If CParse( "=" ) classDecl.munged=ParseStringLit()
-		EndIf
-
-		'If classDecl.IsTemplateArg() Return classDecl
-
-		Local decl_attrs:Int=(attrs & DECL_EXTERN)
-
-		Local method_attrs:Int=decl_attrs|FUNC_METHOD
-		If attrs & CLASS_INTERFACE method_attrs:|DECL_ABSTRACT
-
-		Repeat
-			SkipEols
-			Select _toke
-			Case "end", "endtype"
-				NextToke
-				Exit
-			Case "private"
-				NextToke
-				decl_attrs=decl_attrs | DECL_PRIVATE
-			Case "public"
-				NextToke
-				decl_attrs=decl_attrs & ~DECL_PRIVATE
-			Case "const","global","field"
-				If (attrs & CLASS_INTERFACE) And _toke<>"const"
-					Err "Interfaces can only contain constants and methods."
-				EndIf
-				classDecl.InsertDecls ParseDecls( _toke,decl_attrs )
-			Case "method"
-				Local decl:TFuncDecl=ParseFuncDecl( _toke,method_attrs )
-				If decl.IsCtor() decl.retTypeExpr=New TObjectType.Create( classDecl )
-				classDecl.InsertDecl decl
-			Case "function"
-				If (attrs & CLASS_INTERFACE) And _toke<>"const"
-					Err "Interfaces can only contain constants and methods."
-				EndIf
-				Local decl:TFuncDecl=ParseFuncDecl( _toke,decl_attrs )
-				classDecl.InsertDecl decl
-			Case "rem"
-				ParseRemStmt()
-			Default
-				Err "Syntax error - expecting class member declaration, not '" + _toke + "'"
-			End Select
-		Forever
-
-		If toke CParse toke
-
-		Return classDecl
-	End Method
-
-	Method ParseModuleDecl:String( toke$,attrs:Int )
-		NextToke
-
-		' namespace . module
-		Return ParseModPath().ToLower()
-	End Method
-
-	Method ParseModPath$()
-		Local path$=ParseIdent()
-		While CParse( "." )
-			path:+"."+ParseIdent()
-		Wend
-		Return path
-	End Method
-
-	Method ExtractModIdent$( modpath$ )
-		Local i:Int=modpath.FindLast( "." )
-		If i<>-1 Return modpath[i+1..]
-		Return modpath
-	End Method
-
-	Method ImportFile( filepath$ )
-
-		If filepath.Endswith(".bmx") Then
-
-			Local origPath:String = RealPath(filepath)
-			Local path:String = OutputFilePath(origPath, FileMung(), "i")
-
-			If FileType( path )<>FILETYPE_FILE
-				Err "File '"+ path +"' not found."
-			EndIf
-
-
-			If _module.imported.Contains( path ) Return
-
-			Local modpath:String
-			If opt_buildtype = BUILDTYPE_MODULE Then
-				modpath = opt_modulename + "_" + StripExt(filepath)
-				modpath = modpath.ToLower().Replace(".", "_")
-			Else
-				' todo file imports for apps
-				internalErr
-			End If
-
-			' try to import interface
-			Local par:TIParser = New TIParser
-
-			If par.ParseModuleImport(_module, modpath, origPath, path, , , filepath) Return
-		Else
-			If filepath.startswith("-") Then
-				_app.fileimports.AddLast filepath
-			End If
-		End If
-
-	End Method
-
-	Method ImportModule( modpath$,attrs:Int )
-' TODO
-
-		modpath = modpath.ToLower()
-		Local basepath:String = ModulePath(modpath.ToLower())
-
-
-'DebugStop
-
-Rem
-		Local filepath$
-
-		Local cd$=CurrentDir()
-		ChangeDir ExtractDir( _toker.Path() )
-
-		For Local dir:String=EachIn ENV_MODPATH.Split( ";" )
-
-			filepath=RealPath( dir )+"/"+modpath.Replace( ".","/" )+"."+FILE_EXT			'/blah/etc.monkey
-			Local filepath2$=StripExt( filepath )+"/"+StripDir( filepath )					'/blah/etc/etc.monkey
-
-			If FileType( filepath )=FILETYPE_FILE
-				If FileType( filepath2 )<>FILETYPE_FILE Exit
-				Err "Duplicate module file: '"+filepath+"' and '"+filepath2+"'."
-			EndIf
-
-			filepath=filepath2
-			If FileType( filepath )=FILETYPE_FILE Exit
-
-			filepath=""
-		Next
-
-		ChangeDir cd
-
-		If Not filepath Err "Module '"+modpath+"' not found."
-
-		'Note: filepath needs to be an *exact* match.
-		'
-		'Would be nice to have a version of realpath that fixed case and normalized separators for this.
-		'
-		'Currently, frontend is assumed to have done this with main src path, proj dir and mod dir.
-End Rem
-		If _module.imported.Contains( basepath ) Return
-
-		' try to import interface
-		Local par:TIParser = New TIParser
-
-		If par.ParseModuleImport(_module, modpath, basepath, , , attrs) Return
-
-'DebugStop
-
-		'Local mdecl:TDecl=_app.imported.ValueForKey( basepath )
-
-		'If Not mdecl
-		'	mdecl=ParseModule( filepath,_app )
-		'EndIf
-
-		'_module.imported.Insert mdecl.filepath,mdecl
-
-		'If Not (attrs & DECL_PRIVATE) _module.pubImported.Insert mdecl.filepath,mdecl
-
-		'_module.InsertDecl New AliasDecl( mdecl.ident,mdecl,attrs )
-'End Rem
-	End Method
-
-	Method ValidateModIdent( id$ )
-		If id.Length
-			If IsAlpha( id[0] ) Or id[0]="_"[0]
-				Local err:Int
-				For Local i:Int=1 Until id.Length
-					If IsAlpha( id[i] ) Or IsDigit( id[i] ) Or id[i]="_"[0] Continue
-					err=1
-					Exit
-				Next
-				If Not err Return
-			EndIf
-		EndIf
-		Err "Invalid module identifier '"+id+"'."
-	End Method
-
-	Method MungAppDecl(app:TAppDecl)
-		If opt_buildtype = BUILDTYPE_MODULE And opt_ismain Then
-			app.munged = MungModuleName(opt_modulename)
-		Else If opt_buildtype = BUILDTYPE_MODULE Then
-			Local dir:String = ExtractDir(opt_filepath).ToLower()
-			dir = dir[dir.findLast("/") + 1..]
-			If dir.EndsWith(".mod") Then
-				dir = dir.Replace(".mod", "")
-			End If
-			Local mung:String = "_bb_" + opt_modulename + "_" + StripExt(StripDir(opt_filepath).ToLower())
-			app.munged = mung.Replace(".", "_")
-		Else
-			' main application file?
-			If opt_apptype Then
-				app.munged = "_bb_main"
-			Else
-				Local dir:String = ExtractDir(opt_filepath).ToLower()
-				dir = dir[dir.findLast("/") + 1..]
-				If dir.EndsWith(".mod") Then
-					dir = dir.Replace(".mod", "")
-				End If
-				dir = dir.Replace(".", "_")
-				Local file:String = StripDir(opt_filepath).ToLower()
-				app.munged = "bb_" + dir + "_" + StripExt(file)
-			End If
-		End If
-	End Method
-
-	' load external cast defs
-	Method LoadExternCasts(path:String)
-
-		path = StripExt(path) + ".x"
-
-		If FileType(path) = FILETYPE_FILE Then
-
-			Local toker:TToker=New TToker.Create( path,LoadText( path ) )
-			toker.NextToke
-
-			While True
-
-				SkipEolsToker(toker)
-
-				If toker._tokeType = TOKE_EOF Exit
-
-				Local rt$=toker._toke
-				NextTokeToker(toker)
-				If CParseToker(toker,"*") Then
-					rt:+ "*"
-
-					If CParseToker(toker,"*") Then
-						rt:+ "*"
-					End If
-				End If
-
-
-				Local dets:TCastDets = New TCastDets
-
-				' fname
-				Local fn$=toker._toke
-				NextTokeToker(toker)
-
-				dets.name = fn
-				dets.retType = rt
-
-				_externCasts.Insert(fn, dets)
-
-				' args
-				ParseToker(toker, "(")
-
-				If CParseToker(toker, ")") Then
-
-					NextTokeToker(toker)
-
-					' don't generate header extern
-					If CParseToker(toker, "!") Then
-						dets.noGen = True
-					End If
-
-					Continue
-				End If
-
-				Local i:Int = 0
-				Repeat
-					Local at$=toker._toke
-
-					If CParseToker(toker, "const") Then
-						at :+ " " + toker._toke
-					End If
-
-					If CParseToker(toker, "unsigned") Then
-						at :+ " " + toker._toke
-					End If
-
-					NextTokeToker(toker)
-					If CParseToker(toker, "*") Then
-						at:+ "*"
-
-						If CParseToker(toker, "*") Then
-							at:+ "*"
-						End If
-					End If
-
-					' function pointer
-					If CParseToker(toker, "(") Then
-
-						ParseToker(toker, "*")
-						ParseToker(toker, ")")
-						at :+ "(*)"
-
-						ParseToker(toker, "(")
-						at :+ "("
-
-						While Not CParseToker(toker, ")")
-							NextTokeToker(toker)
-							at :+ toker._toke
-						Wend
-
-						at :+ ")"
-					End If
-
-
-					dets.args :+ [at]
-
-					If toker._toke=")" Exit
-					ParseToker(toker, ",")
-
-					i:+ 1
-				Forever
-
-				NextTokeToker(toker)
-
-				' don't generate header extern
-				If CParseToker(toker, "!") Then
-					dets.noGen = True
-				End If
-
-			Wend
-
-		End If
-
-	End Method
-
-	Method ParseMain()
-
-		SkipEols
-
-		Local mattrs:Int
-		'If CParse( "strict" ) mattrs:|MODULE_STRICT
-		'If CParse( "superstrict" ) mattrs:|MODULE_SUPERSTRICT
-
-		Local path$=_toker.Path()
-		Local ident$=StripAll( path )
-		Local munged$	'="bb_"+ident+"_"
-
-		If opt_buildtype = BUILDTYPE_MODULE And opt_ismain
-			ValidateModIdent ident
-		Else If opt_buildtype = BUILDTYPE_MODULE Then
-			munged = opt_modulename + "_" + ident
-			munged = munged.ToLower().Replace(".", "_")
-		End If
-
-		If opt_ismain Then 'And opt_modulename <> "brl.blitz" Then
-			ident = opt_modulename
-		End If
-
-		_module=New TModuleDecl.Create( ident,munged,path,mattrs )
-
-		_module.imported.Insert path,_module
-
-		_app.InsertModule _module
-
-		' mung the app decl
-		MungAppDecl(_app)
-
-
-		If opt_buildtype = BUILDTYPE_MODULE And opt_modulename = "brl.blitz" Then
-			' import Object and String definitions
-			Local par:TIParser = New TIParser
-			par.ParseModuleImport(_module, "brl.classes", modulepath("brl.blitz"), modulepath("brl.blitz") + "/blitz_classes.i")
-
-			' set up built-in keywords
-			par = New TIParser
-			par.ParseModuleImport(_module, "brl.blitzkeywords", "", "", MakeKeywords())
-		End If
-
-		' don't import ourself
-		If opt_modulename <> "brl.blitz" Then
-			Local par:TIParser = New TIParser
-			par.ParseModuleImport(_module, "brl.blitz", modulepath("brl.blitz"), , , MODULE_ACTUALMOD)
-		End If
-
-		LoadExternCasts(path)
-
-		Local attrs:Int
-
-
-		Local mainFunc:TFuncDecl = New TFuncDecl.CreateF("LocalMain", New TIntType,Null,0)
-'DebugStop
-		'_app.InsertDecl mainFunc
-		_module.insertDecl(mainFunc)
-		'Local mainBlock:TBlockDecl = New TBlockDecl.Create( _block )
-
-		'Parse header - imports etc.
-		While _toke
-			SetErr
-			Select _toke.ToLower()
-			Case "~n", ".."
-				NextToke
-			Case "public"
-				NextToke
-				attrs=0
-			Case "private"
-				NextToke
-				attrs=DECL_PRIVATE
-			Case "import"
-				NextToke
-				If _tokeType=TOKE_STRINGLIT
-' TODO
-					'ImportFile ReplaceEnvTags( ParseStringLit() )
-					ImportFile ParseStringLit()
-				Else
-					ImportModule ParseModPath(),attrs | MODULE_ACTUALMOD
-				EndIf
-			Case "framework"
-				NextToke
-				ImportModule ParseModPath(),attrs
-			Case "alias"
-				NextToke
-				Repeat
-					Local ident$=ParseIdent()
-					Parse "="
-
-					Local decl:Object
-					Local scope:TScopeDecl=_module
-
-					_env=_module	'naughty! Shouldn't be doing GetDecl in parser...
-
-					Repeat
-						Local id$=ParseIdent()
-						decl=scope.FindDecl( id )
-						If Not decl Err "Identifier '"+id+"' not found."
-						If Not CParse( "." ) Exit
-						scope=TScopeDecl( decl )
-						If Not scope Or TFuncDecl( scope ) Err "Invalid scope '"+id+"'."
-					Forever
-
-					_env=Null	'/naughty
-
-					_module.InsertDecl New TAliasDecl.Create( ident,decl,attrs )
-
-				Until Not CParse(",")
-			Case "module"
-				Local m:String = ParseModuleDecl(_toke, attrs)
-
-				If m.ToLower() <> opt_modulename Then
-					Err "Module does not match commandline module"
-				End If
-
-				_module.munged = m.Replace(".", "_")
-			Case "rem"
-				ParseRemStmt()
-			Case "nodebug"
-				NextToke
-			Case "strict"
-				If _module.attrs & (MODULE_STRICT | MODULE_SUPERSTRICT) Then
-					Err "Strict or SuperStrict already specified"
-				End If
-
-				_module.attrs :| MODULE_STRICT
-				nextToke
-			Case "superstrict"
-				If _module.attrs & (MODULE_STRICT | MODULE_SUPERSTRICT) Then
-					Err "Strict or SuperStrict already specified"
-				End If
-
-				_module.attrs :| MODULE_SUPERSTRICT
-				nextToke
-			Case "moduleinfo"
-				NextToke
-				Local info:String = ParseStringLit()
-				_module.modInfo.AddLast(info)
-			Default
-				Exit
-			End Select
-		Wend
-
-		' app code
-		PushBlock(mainFunc)
-
-		'Parse main app
-		While _toke
-			SetErr
-			Select _toke.toLower()
-			Case "~n"
-				NextToke
-			Case "public"
-				NextToke
-				attrs=0
-			Case "private"
-				NextToke
-				attrs=DECL_PRIVATE
-			Case "extern"
-'DebugStop
-
-				'If ENV_SAFEMODE
-				'	If _app.mainModule=_module
-				'		Err "Extern not permitted in safe mode."
-				'	EndIf
-				'EndIf
-				NextToke
-
-				If _tokeType=TOKE_STRINGLIT
-					DebugLog "EXTERN : " + ParseStringLit()
-				End If
-
-
-				attrs=DECL_EXTERN
-				If CParse( "private" ) attrs=attrs|DECL_PRIVATE
-
-
-				While _toke<>"endextern"
-					If CParse( "end" )
-						If CParse("extern")
-							Exit
-						End If
-					EndIf
-
-					SetErr
-					Select _toke
-						Case "~n"
-							NextToke
-						Case "const","global"
-							_module.InsertDecls ParseDecls( _toke,attrs )
-						Case "type"
-							_module.InsertDecl ParseClassDecl( _toke,attrs )
-						Case "function"
-							_module.InsertDecl ParseFuncDecl( _toke,attrs )
-						Case "rem"
-							ParseRemStmt()
-					End Select
-
-				Wend
-
-				attrs = 0
-
-			Case "const"
-				_module.InsertDecls ParseDecls( _toke,attrs )
-			Case "global"
-				Local list:TList = ParseDecls( _toke,attrs )
-				_module.InsertDecls list
-				For Local gdecl:TGlobalDecl = EachIn list
-					gdecl.attrs :| DECL_INITONLY
-					_block.AddStmt New TDeclStmt.Create( gdecl )
-				Next
-			Case "type"
-				_module.InsertDecl ParseClassDecl( _toke,attrs )
-			'Case "interface"
-			'	_module.InsertDecl ParseClassDecl( _toke,attrs|CLASS_INTERFACE|DECL_ABSTRACT )
-			Case "function"
-				_module.InsertDecl ParseFuncDecl( _toke,attrs )
-			Case "rem"
-				ParseRemStmt()
-			Case "incbin"
-				NextToke
-				Local s:String = ParseStringLit()
-				_app.mapStringConsts(s)
-				_app.incbins.AddLast(New TIncbin.Create(s, path))
-			Default
-				ParseStmt
-				'Err "Syntax error - expecting declaration."
-			End Select
-		Wend
-
-		PopBlock
-
-	End Method
-
-	Method ParseModule()
-
-	End Method
-
-
-	Method Create:TParser( toker:TToker,app:TAppDecl )
-		_toke="~n"
-		_toker=toker
-		_app=app
-		SetErr
-		NextToke
-		Return Self
-	End Method
-End Type
-
-Function Eval$( toker:TToker,_type:TType )
-	Local src$
-	While toker.Toke() And toker.Toke()<>"'" And toker.Toke()<>"~n" And toker.Toke()<>"~r"
-		src:+toker.Toke()
-		toker.NextToke()
-	Wend
-	Local t:String=EvalS( src,_type )
-	Return t
-End Function
-
-Function PreProcess$( path$ )
-
-	Local ifnest:Int,con:Int=1,line:Int,source:TStringList=New TStringList
-
-	Local toker:TToker=New TToker.Create( path,LoadText( path ) )
-
-	toker.NextToke
-
-	Repeat
-
-		If line
-			source.AddLast "~n"
-			While toker.Toke() And toker.Toke()<>"~n" And toker.TokeType()<>TOKE_LINECOMMENT
-				toker.NextToke()
-			Wend
-			If Not toker.Toke() Exit
-			toker.NextToke()
-		EndIf
-		line:+1
-
-		_errInfo=toker.Path()+"<"+toker.Line()+">"
-
-		If toker.TokeType()=TOKE_SPACE toker.NextToke()
-
-		If toker.Toke()<>"?"
-			If con
-				Local line$
-				While toker.Toke() And toker.Toke()<>"~n" And toker.TokeType()<>TOKE_LINECOMMENT
-					Local toke$=toker.Toke()
-					line:+toke
-					toker.NextToke()
-				Wend
-				If line source.AddLast line
-
-			EndIf
-			Continue
-		EndIf
-'DebugStop
-		Local stm$=toker.NextToke().ToLower()
-		'toker.NextToke()
-
-		Local isNot:Int = False
-
-		If stm = "not" Then
-			If toker.TokeType()=TOKE_SPACE toker.NextToke()
-			stm = toker.Toke().ToLower()
-			isNot = True
-		End If
-
-		'If stm="end" Or stm="else"
-		'	If toker.TokeType()=TOKE_SPACE toker.NextToke()
-		'	If toker.Toke().ToLower()="if"
-		'		toker.NextToke()
-		'		stm:+"if"
-		'	EndIf
-		'EndIf
-Rem
-Debug	True if program is being compiled in debug mode.
-Threaded	True if program is being compiled in threaded mode.
-Win32	True if program is being compiled for the Windows operating system.
-MacOS	True if program is being compiled for the MacOS operating system.
-Linux	True if program is being compiled for the Linux operating system.
-X86	True if program is being compiled for the Intel CPU.
-PPC	True if program is being compiled for the PowerPC CPU.
-MacOSX86	True if program is being compiled for an Intel Mac.
-MacOSPPC	True if program is being compiled for a PowerPC Mac.
-BigEndian	True if program is being compiled for a big endian CPU.
-LittleEndian
-End Rem
-		Select stm
-		Case "~r", "~n"
-			'ifnest = 0
-			con = 1
-
-		Default
-
-			con = 0
-			If Eval( toker,TType.intType ) = "1" con = 1
-
-Rem
-		Case "macos", "macosx86", "x86", "littleendian", "bigendian"
-			con = 1
-		'	If con=ifnest
-		'		If Eval( toker,TType.intType ) con:+1
-		'	EndIf
-		'
-			ifnest = 1
-
-'		Case "rem"
-'
-'			ifnest:+1
-		Case "threaded", "win32", "linux", "ppc", "win32x86", "linuxx86", "macosppc"
-
-			If isNot Then
-				con = 1
-			Else
-				con = 0
-			End If
-
-			ifnest = 1
-
-		Case "else","elseif"
-
-			If Not ifnest Err "#Else without #If"
-
-			If con=ifnest
-				con=-con
-			Else If con=ifnest-1
-				If stm="elseif"
-					If Eval( toker,TType.intType ) con:+1
-				Else
-					con:+1
-				EndIf
-			EndIf
-
-		Case "end","endif"
-
-			If Not ifnest Err "#End without #If"
-
-			ifnest:-1
-			If con<0 con=-con
-			If ifnest<con con=ifnest
-
-'		Case "print"
-
-'			If con=ifnest
-' TODO
-				'Print ReplaceEnvTags( Eval( toker,TType.stringType ) )
-'			EndIf
-
-'		Case "error"
-
-'			If con=ifnest
-' TODO
-				'Err ReplaceEnvTags( Eval( toker,TType.stringType ) )
-'			EndIf
-
-		Default
-			Err "Unrecognized preprocessor directive '"+stm+"'."
-End Rem
-		End Select
-	Forever
-
-	Return source.Join( "" )
-End Function
-
-Function ParseModule:TModuleDecl( path$,app:TAppDecl )
-
-	'Local source$=PreProcess( path )
-	Local source:String = LoadText(path)
-
-	Local toker:TToker=New TToker.Create( path,source )
-
-	Local parser:TParser=New TParser.Create( toker,app )
-
-	parser.ParseMain
-
-	Return parser._module
-End Function
-
-'***** PUBLIC API ******
-
-Function ParseApp:TAppDecl( path$ )
-
-	Local app:TAppDecl=New TAppDecl
-
-	_appInstance = app
-
-	Local source$=PreProcess( path )
-	'Local source:String = LoadString(path)
-
-	Local toker:TToker=New TToker.Create( path,source )
-
-	Local parser:TParser=New TParser.Create( toker,app )
-
-	parser.ParseMain
-
-	Return app
-End Function
-
-Function EvalS$( source$,ty:TType )
-
-	Local env:TScopeDecl=New TScopeDecl
-
-Rem
-Debug	True if program is being compiled in debug mode.
-Threaded	True if program is being compiled in threaded mode.
-Win32	True if program is being compiled for the Windows operating system.
-MacOS	True if program is being compiled for the MacOS operating system.
-Linux	True if program is being compiled for the Linux operating system.
-X86	True if program is being compiled for the Intel CPU.
-PPC	True if program is being compiled for the PowerPC CPU.
-MacOSX86	True if program is being compiled for an Intel Mac.
-MacOSPPC	True if program is being compiled for a PowerPC Mac.
-BigEndian	True if program is being compiled for a big endian CPU.
-LittleEndian
-End Rem
-
-	' debug/release
-	env.InsertDecl New TConstDecl.Create( "debug",TType.intType,New TConstExpr.Create( TType.intType,opt_debug ),0 )
-	'env.InsertDecl New TConstDecl.Create( "release",TType.intType,New TConstExpr.Create( TType.intType,opt_release ),0 )
-
-	' threaded
-	env.InsertDecl New TConstDecl.Create( "threaded",TType.intType,New TConstExpr.Create( TType.intType,opt_threaded ),0 )
-
-	' macos
-	env.InsertDecl New TConstDecl.Create( "macos",TType.intType,New TConstExpr.Create( TType.intType,opt_platform="macos" ),0 )
-	env.InsertDecl New TConstDecl.Create( "macosx86",TType.intType,New TConstExpr.Create( TType.intType,opt_platform="macos" And opt_arch="x86"),0 )
-	env.InsertDecl New TConstDecl.Create( "macosppc",TType.intType,New TConstExpr.Create( TType.intType,opt_platform="macos" And opt_arch="ppc"),0 )
-	env.InsertDecl New TConstDecl.Create( "macosx64",TType.intType,New TConstExpr.Create( TType.intType,opt_platform="macos" And opt_arch="x64"),0 )
-
-	' windows
-	env.InsertDecl New TConstDecl.Create( "win32",TType.intType,New TConstExpr.Create( TType.intType,opt_platform="win32" ),0 )
-	env.InsertDecl New TConstDecl.Create( "win32x64",TType.intType,New TConstExpr.Create( TType.intType,(opt_platform="win64" And opt_arch="x64") Or (opt_platform="win32" And opt_arch="x64")),0 )
-	env.InsertDecl New TConstDecl.Create( "win64",TType.intType,New TConstExpr.Create( TType.intType,(opt_platform="win64" And opt_arch="x64") Or (opt_platform="win32" And opt_arch="x64")),0 )
-
-	' linux
-	env.InsertDecl New TConstDecl.Create( "linux",TType.intType,New TConstExpr.Create( TType.intType,opt_platform="linux" ),0 )
-	env.InsertDecl New TConstDecl.Create( "linuxx86",TType.intType,New TConstExpr.Create( TType.intType,opt_platform="linux" And opt_arch="x86"),0 )
-	env.InsertDecl New TConstDecl.Create( "linuxx64",TType.intType,New TConstExpr.Create( TType.intType,opt_platform="linux" And opt_arch="x64"),0 )
-	env.InsertDecl New TConstDecl.Create( "linuxARM",TType.intType,New TConstExpr.Create( TType.intType,opt_platform="linux" And opt_arch="arm"),0 )
-
-	' arch
-	env.InsertDecl New TConstDecl.Create( "ppc",TType.intType,New TConstExpr.Create( TType.intType,opt_arch="ppc" ),0 )
-	env.InsertDecl New TConstDecl.Create( "x86",TType.intType,New TConstExpr.Create( TType.intType,opt_arch="x86" ),0 )
-	env.InsertDecl New TConstDecl.Create( "x64",TType.intType,New TConstExpr.Create( TType.intType,opt_arch="x64" ),0 )
-	env.InsertDecl New TConstDecl.Create( "arm",TType.intType,New TConstExpr.Create( TType.intType,opt_arch="arm" ),0 )
-
-	' endian
-	env.InsertDecl New TConstDecl.Create( "bigendian",TType.intType,New TConstExpr.Create( TType.intType,opt_arch="ppc" ),0 )
-	env.InsertDecl New TConstDecl.Create( "littleendian",TType.intType,New TConstExpr.Create( TType.intType,opt_arch<>"ppc" ),0 )
-
-'	env.InsertDecl New TConstDecl.Create( "LANG",TType.stringType,New TConstExpr.Create( TType.stringType,ENV_LANG ),0 )
-'	env.InsertDecl New TConstDecl.Create( "TARGET",TType.stringType,New TConstExpr.Create( TType.stringType,ENV_TARGET ),0 )
-'	env.InsertDecl New TConstDecl.Create( "CONFIG",TType.stringType,New TConstExpr.Create( TType.stringType,ENV_CONFIG ),0 )
-
-	PushEnv env
-
-	Local toker:TToker=New TToker.Create( "",source )
-
-	Local parser:TParser=New TParser.Create( toker,Null )
-
-	Local expr:TExpr=parser.ParseExpr()
-
-	expr=expr.Semant()
-
-	If ty expr=expr.Cast( ty )
-
-	Local val$=expr.Eval()
-
-	PopEnv
-
-	Return val
-End Function
-
-Type TCastDets
-
-	Field name:String
-	Field retType:String
-	Field noGen:Int
-	Field args:String[0]
-
-End Type
-
+' Copyright (c) 2013-2014 Bruce A Henderson
+'
+' Based on the public domain Monkey "trans" by Mark Sibly
+'
+' This software is provided 'as-is', without any express or implied
+' warranty. In no event will the authors be held liable for any damages
+' arising from the use of this software.
+'
+' Permission is granted to anyone to use this software for any purpose,
+' including commercial applications, and to alter it and redistribute it
+' freely, subject to the following restrictions:
+'
+'    1. The origin of this software must not be misrepresented; you must not
+'    claim that you wrote the original software. If you use this software
+'    in a product, an acknowledgment in the product documentation would be
+'    appreciated but is not required.
+'
+'    2. Altered source versions must be plainly marked as such, and must not be
+'    misrepresented as being the original software.
+'
+'    3. This notice may not be removed or altered from any source
+'    distribution.
+'
+SuperStrict
+
+Import BRL.MaxUtil
+Import "toker.bmx"
+Import "iparser.bmx"
+
+
+Global FILE_EXT$="bmx"
+
+Type TScopeExpr Extends TExpr
+	Field scope:TScopeDecl
+
+	Method Create:TScopeExpr( scope:TScopeDecl )
+		Self.scope=scope
+		Return Self
+	End Method
+
+	Method Copy:TExpr()
+		Return Self
+	End Method
+
+	Method ToString$()
+		Return "TScopeExpr("+scope.ToString()+")"
+	End Method
+
+	Method Semant:TExpr()
+		Err "Syntax error."
+	End Method
+
+	Method SemantScope:TScopeDecl()
+		Return scope
+	End Method
+End Type
+
+Type TForEachinStmt Extends TStmt
+	Field varid$
+	Field varty:TType
+	Field varlocal:Int
+	Field expr:TExpr
+	Field block:TBlockDecl
+
+	Field stmts:TList=New TList
+
+	Method Create:TForEachinStmt( varid$,varty:TType,varlocal:Int,expr:TExpr,block:TBlockDecl )
+		Self.varid=varid
+		Self.varty=varty
+		Self.varlocal=varlocal
+		Self.expr=expr
+		Self.block=block
+		Return Self
+	End Method
+
+	Method OnCopy:TStmt( scope:TScopeDecl )
+		Return New TForEachinStmt.Create( varid,varty,varlocal,expr.Copy(),block.CopyBlock( scope ) )
+	End Method
+
+	Method OnSemant()
+		expr=expr.Semant()
+
+		If TArrayType( expr.exprType ) Or TStringType( expr.exprType )
+
+			Local exprTmp:TLocalDecl=New TLocalDecl.Create( "",Null,expr )
+			Local indexTmp:TLocalDecl=New TLocalDecl.Create( "",Null,New TConstExpr.Create( TType.intType,"0" ) )
+
+			Local lenExpr:TExpr=New TIdentExpr.Create( "Length",New TVarExpr.Create( exprTmp ) )
+
+			Local cmpExpr:TExpr=New TBinaryCompareExpr.Create( "<",New TVarExpr.Create( indexTmp ),lenExpr )
+
+			Local indexExpr:TExpr=New TIndexExpr.Create( New TVarExpr.Create( exprTmp ),[New TVarExpr.Create( indexTmp )] )
+			Local addExpr:TExpr=New TBinaryMathExpr.Create( "+",New TVarExpr.Create( indexTmp ),New TConstExpr.Create( TType.intType,"1" ) )
+
+			block.stmts.AddFirst New TAssignStmt.Create( "=",New TVarExpr.Create( indexTmp ),addExpr )
+
+			If varlocal
+				Local varTmp:TLocalDecl=New TLocalDecl.Create( varid,varty,indexExpr )
+				block.stmts.AddFirst New TDeclStmt.Create( varTmp )
+			Else
+				block.stmts.AddFirst New TAssignStmt.Create( "=",New TIdentExpr.Create( varid ),indexExpr )
+			EndIf
+
+			Local whileStmt:TWhileStmt=New TWhileStmt.Create( cmpExpr,block )
+
+			block=New TBlockDecl.Create( block.scope )
+			block.AddStmt New TDeclStmt.Create( exprTmp )
+			block.AddStmt New TDeclStmt.Create( indexTmp )
+			block.AddStmt whileStmt
+
+		Else If TObjectType( expr.exprType )
+
+			Local enumerInit:TExpr=New TFuncCallExpr.Create( New TIdentExpr.Create( "ObjectEnumerator",expr ) )
+			Local enumerTmp:TLocalDecl=New TLocalDecl.Create( "",Null,enumerInit )
+
+			Local hasNextExpr:TExpr=New TFuncCallExpr.Create( New TIdentExpr.Create( "HasNext",New TVarExpr.Create( enumerTmp ) ) )
+			Local nextObjExpr:TExpr=New TFuncCallExpr.Create( New TIdentExpr.Create( "NextObject",New TVarExpr.Create( enumerTmp ) ) )
+
+			If varlocal
+				Local varTmp:TLocalDecl=New TLocalDecl.Create( varid,varty,nextObjExpr )
+				block.stmts.AddFirst New TDeclStmt.Create( varTmp )
+			Else
+				block.stmts.AddFirst New TAssignStmt.Create( "=",New TIdentExpr.Create( varid ),nextObjExpr )
+			EndIf
+
+			Local whileStmt:TWhileStmt=New TWhileStmt.Create( hasNextExpr,block )
+
+			block=New TBlockDecl.Create( block.scope )
+			block.AddStmt New TDeclStmt.Create( enumerTmp )
+			block.AddStmt whileStmt
+
+		Else
+			InternalErr
+		EndIf
+
+		block.Semant
+	End Method
+
+	Method Trans$()
+		_trans.EmitBlock block
+	End Method
+
+End Type
+
+
+
+Type TIncbin
+
+	Field file:String
+	Field path:String
+	Field id:Int
+	Field length:Int
+
+	Global count:Int
+
+	Method Create:TIncbin(file:String, source:String)
+		count :+ 1
+
+		Self.file = file
+
+		' find the file
+		If Not FileType(file) Then
+			' maybe relative to source
+			Local dir:String = ExtractDir(source) + "/" + file
+			If FileType(dir) = FILETYPE_FILE Then
+				path = RealPath(dir)
+			Else
+				Internalerr '?
+			End If
+		Else
+			path = RealPath(file)
+		End If
+
+		id = count
+		Return Self
+	End Method
+
+End Type
+
+'***** Parser *****
+Type TParser
+
+	Field _toker:TToker
+	Field _toke$
+	Field _tokeType:Int
+	Field _tokerStack:TList=New TList'<TToker>
+
+	Field _block:TBlockDecl
+	Field _blockStack:TList=New TList'<TBlockDecl>
+	Field _errStack:TStringList=New TStringList
+
+	Field _app:TAppDecl
+	Field _module:TModuleDecl
+
+	Field _externCasts:TMap = New TMap
+
+	Method SetErr()
+		If _toker.Path()
+			_errInfo=_toker.Path()+"<"+_toker.Line()+">"
+		EndIf
+	End Method
+
+	Method DoErr(error:String)
+		SetErr()
+		Err error
+	End Method
+
+	Method PushBlock( block:TBlockDecl )
+		If _block <> Null Then
+			_blockStack.AddLast _block
+		End If
+		_errStack.AddLast _errInfo
+		_block=block
+	End Method
+
+	Method PopBlock()
+		_block=TBlockDecl(_blockStack.RemoveLast())
+		_errInfo=String(_errStack.RemoveLast())
+	End Method
+
+	Method RealPath$( path$ )
+		Local popDir$=CurrentDir()
+		ChangeDir ExtractDir( _toker.Path() )
+		path=BRL.FileSystem.RealPath( path )
+		ChangeDir popDir
+		Return path
+	End Method
+
+	Method NextToke$()
+		Local toke$=_toke
+
+		Repeat
+			_toke=_toker.NextToke()
+			_tokeType=_toker.TokeType()
+		Until _tokeType<>TOKE_SPACE
+
+		If _tokeType=TOKE_KEYWORD _toke=_toke.ToLower()
+
+		If toke="," SkipEols
+
+		Return _toke
+	End Method
+
+	Method NextTokeToker$(toker:TToker)
+		Local toke$=toker._toke
+
+		Local tokeSpace:Int=False
+
+		Repeat
+			toker.NextToke()
+			If toker.tokeType()<>TOKE_SPACE Exit
+			tokeSpace=True
+		Forever
+
+		Return toker._toke
+	End Method
+
+	Method CParse:Int( toke$ )
+		If _toke.ToLower()<>toke
+			Return False
+		EndIf
+		NextToke
+		Return True
+	End Method
+
+	Method CParseToker:Int( toker:TToker, toke$ )
+		If toker._toke.ToLower()<>toke
+			Return False
+		EndIf
+		NextTokeToker(toker)
+		Return True
+	End Method
+
+	Method Parse( toke$ )
+		If Not CParse( toke )
+			DoErr "Syntax error - expecting '"+toke+"'."
+		EndIf
+	End Method
+
+	Method ParseToker( toker:TToker, toke$ )
+		If Not CParseToker( toker, toke )
+			DoErr "Syntax error - expecting '"+toke+"'."
+		EndIf
+	End Method
+
+	Method AtEos:Int()
+		Return _toke="" Or _toke=";" Or _toke="~n" Or _toke="else"
+	End Method
+
+	Method SkipEols()
+		While CParse( "~n" )
+		Wend
+		SetErr
+	End Method
+
+	Method SkipEolsToker(toker:TToker)
+		While CParseToker( toker, "~n" )
+		Wend
+		SetErr
+	End Method
+
+	Method ParseStringLit$()
+		If _tokeType<>TOKE_STRINGLIT Err "Expecting string literal."
+		Local str$=BmxUnquote( _toke )
+		NextToke
+		Return str
+	End Method
+
+	Method ParseIdent$()
+		Select _toke
+		Case "@" NextToke
+		Case "string","array","object"
+		Default
+			If _tokeType<>TOKE_IDENT Err "Syntax error - expecting identifier."
+		End Select
+		Local id$=_toke
+		NextToke
+		Return id
+	End Method
+
+	Method ParseIdentType:TIdentType()
+		Local id$=ParseIdent()
+'DebugLog "ParseIdentType : " + id
+		If CParse( "." ) id:+"."+ParseIdent()
+		If CParse( "." ) id:+"."+ParseIdent()
+		Local args:TIdentType[]
+		If CParse( "<" )
+			Local nargs:Int
+			Repeat
+				Local arg:TIdentType=ParseIdentType()
+				If args.Length=nargs args=args+ New TIdentType[10]
+				args[nargs]=arg
+				nargs:+1
+			Until Not CParse(",")
+			args=args[..nargs]
+			Parse ">"
+		EndIf
+		Return New TIdentType.Create( id,args )
+	End Method
+
+	Method CParseIdentType:TIdentType( inner:Int=False )
+		If _tokeType<>TOKE_IDENT Return Null
+		Local id$=ParseIdent()
+		If CParse( "." )
+			If _tokeType<>TOKE_IDENT Return Null
+			id:+"."+ParseIdent()
+		End If
+		If Not CParse( "<" )
+			If inner Return New TIdentType.Create( id,Null )
+			Return Null
+		EndIf
+		Local args:TType[]
+		Local nargs:Int
+		Repeat
+			Local arg:TType=CParsePrimitiveType()
+			If Not arg
+				arg=CParseIdentType( True )
+				If Not arg Return Null
+			EndIf
+			While CParse( "[]" )
+				arg=arg.ArrayOf()
+			Wend
+			args = args + [arg]
+			nargs :+ 1
+		Until Not CParse(",")
+		If Not CParse( ">" ) Return Null
+		Return New TIdentType.Create( id,args )
+	End Method
+
+	Method CParsePrimitiveType:TType()
+		If CParse( "short" ) Return TType.shortType
+		If CParse( "byte" ) Return TType.byteType
+		If CParse( "int" ) Return TType.intType
+		If CParse( "float" ) Return TType.floatType
+		If CParse( "string" ) Return TType.stringType
+		If CParse( "object" ) Return TType.objectType
+		If CParse( "long" ) Return TType.longType ' BaH Long
+		If CParse( "double" ) Return TType.doubleType
+	End	Method
+
+	Method CParsePrimitiveNumberType:TType()
+		If CParse( "short" ) Return TType.shortType
+		If CParse( "byte" ) Return TType.byteType
+		If CParse( "int" ) Return TType.intType
+		If CParse( "float" ) Return TType.floatType
+		If CParse( "long" ) Return TType.longType ' BaH Long
+		If CParse( "double" ) Return TType.doubleType
+	End	Method
+
+	Method ParseNewType:TType()
+		If CParse( "void" ) Return TType.voidType
+		If CParse( "short" ) Return TType.shortType
+		If CParse( "byte" ) Return TType.byteType
+		If CParse( "int" ) Return TType.intType
+		If CParse( "float" ) Return TType.floatType
+		If CParse( "string" ) Return TType.stringType
+		If CParse( "object" ) Return TType.objectType
+		If CParse( "long" ) Return TType.longType ' BaH Long
+		If CParse( "double" ) Return TType.doubleType
+		Return ParseIdentType()
+	End Method
+
+	Method ParseType:TType()
+		Local ty:TType=CParsePrimitiveType()
+		If ty Return ty
+		Return ParseIdentType()
+	End Method
+
+	Method ParseConstNumberType:TType()
+		Local ty:TType
+		Select _toke
+		Case "@"
+			NextToke
+			ty=TType.byteType
+		Case "@@"
+			NextToke
+			ty=TType.shortType
+		Case "%"
+			NextToke
+			ty=TType.intType
+		Case "#"
+			NextToke
+			ty=TType.floatType
+		Case "$"
+			NextToke
+			ty=TType.stringType
+		Case "!"
+			NextToke
+			ty=TType.doubleType
+		Case "%%"
+			NextToke
+			ty=TType.longType
+		Case ":"
+			NextToke
+			ty=CParsePrimitiveNumberType()
+			If Not ty Then
+				ty = ParseIdentType()
+			End If
+		End Select
+
+		Return ty
+	End Method
+
+	Method ParseDeclType:TType()
+		Local ty:TType
+		Select _toke
+		'Case "?"
+		'	NextToke
+		'	ty=TType.boolType
+		Case "@"
+			NextToke
+			ty=TType.byteType
+
+			If CParse("var") Then
+				ty = TType.MapToVarPointerType(ty)
+			Else If CParse("ptr") Then
+				ty = TType.MapToPointerType(ty)
+			End If
+		Case "@@"
+			NextToke
+			ty=TType.shortType
+
+			If CParse("var") Then
+				ty = TType.MapToVarPointerType(ty)
+			Else If CParse("ptr") Then
+				ty = TType.MapToPointerType(ty)
+			End If
+		Case "%"
+			NextToke
+			ty=TType.intType
+
+			If CParse("var") Then
+				ty = TType.MapToVarPointerType(ty)
+			Else If CParse("ptr") Then
+				ty = TType.MapToPointerType(ty)
+			End If
+		Case "%%"
+			NextToke
+			ty=TType.longType
+
+			If CParse("var") Then
+				ty = TType.MapToVarPointerType(ty)
+			Else If CParse("ptr") Then
+				ty = TType.MapToPointerType(ty)
+			End If
+		Case "#"
+			NextToke
+			ty=TType.floatType
+
+			If CParse("var") Then
+				ty = TType.MapToVarPointerType(ty)
+			Else If CParse("ptr") Then
+				ty = TType.MapToPointerType(ty)
+			End If
+		Case "$"
+			NextToke
+			ty=TType.stringType
+
+			If CParse("z") Then
+				ty = TType.stringToCharPointerType
+			Else If CParse("w") Then
+				ty = TType.stringToShortPointerType
+			End If
+
+			If CParse("var") Then
+				ty = TType.MapToVarPointerType(ty)
+			End If
+		Case "!"
+			NextToke
+			ty=TType.doubleType
+
+			If CParse("var") Then
+				ty = TType.MapToVarPointerType(ty)
+			Else If CParse("ptr") Then
+				ty = TType.MapToPointerType(ty)
+			End If
+		Case ":"
+			NextToke
+			ty=ParseType()
+
+			If CParse("ptr") Then
+				ty = TType.MapToPointerType(ty)
+
+				' pointer pointer
+				If CParse("ptr") Then
+					ty = TType.MapToPointerType(ty)
+				End If
+
+				If Not ty DoErr "Invalid Pointer type."
+			End If
+
+			If CParse("var") Then
+				ty = TType.MapToVarPointerType(ty)
+			End If
+
+' TODO
+'		Case "!" ' BaH Double
+'			NextToke
+'			ty=TType.doubleType
+		Case "("
+			' nothing to see here.
+			If _module.IsSuperStrict() Then
+				' BaH : default return type when not defined
+				ty=TType.voidType
+			Else
+				ty=TType.intType
+			End If
+		Default
+			If _module.IsSuperStrict() Err "Illegal type expression."
+			ty=TType.intType
+
+			If CParse("var") Then
+				ty = TType.MapToVarPointerType(ty)
+			Else If CParse("ptr") Then
+				ty = TType.MapToPointerType(ty)
+			End If
+		End Select
+		While CParse( "[]" )
+			ty=New TArrayType.Create( ty )
+		Wend
+		Return ty
+	End Method
+
+	Method ParseArrayExpr:TArrayExpr()
+		Parse "["
+		Local args:TExpr[],nargs:Int
+		Repeat
+			If CParse("..") Then
+				If Not CParse("~n") Then
+					Err "Expecting expression but encountered '..'"
+				End If
+			End If
+			Local arg:TExpr=ParseExpr()
+			If args.Length=nargs args=args + New TExpr[10]
+			args[nargs]=arg
+			nargs:+1
+		Until Not CParse(",")
+		args=args[..nargs]
+		Parse "]"
+		Return New TArrayExpr.Create( args )
+	End Method
+
+	Method ParseArgs:TExpr[]( stmt:Int )
+
+		Local args:TExpr[]
+'DebugStop
+		If stmt
+			If AtEos() Return args
+		Else
+			If _toke<>"(" Return args
+		EndIf
+
+		Local nargs:Int,eat:Int
+
+		If _toke="("
+			If stmt
+				Local toker:TToker=New TToker.Copy(_toker),bra:Int=1
+				Repeat
+					toker.NextToke
+					toker.SkipSpace
+					Select toker.Toke().ToLower()
+					Case "","else"
+						Err "Parenthesis mismatch error."
+					Case "(","["
+						bra:+1
+					Case "]",")"
+						bra:-1
+						If bra Continue
+						toker.NextToke
+						toker.SkipSpace
+						Select toker.Toke().ToLower()
+						Case ".","(","[","",";","~n","Else"
+							eat=True
+						End Select
+						Exit
+					Case ","
+						If bra<>1 Continue
+						eat=True
+						Exit
+					Case ".."
+						NextToke
+					End Select
+				Forever
+			Else
+				eat=True
+			EndIf
+			If eat And NextToke()=")"
+				NextToke
+				Return args
+			EndIf
+		EndIf
+
+		Repeat
+			Local arg:TExpr
+			If _toke And _toke<>"," arg=ParseExpr()
+			If args.Length=nargs args=args + New TExpr[10]
+			args[nargs]=arg
+			nargs:+1
+		Until Not CParse(",")
+		args=args[..nargs]
+
+		If eat Parse ")"
+
+		Return args
+	End Method
+
+	Method ParsePrimaryExpr:TExpr( stmt:Int )
+
+		Local expr:TExpr
+
+		Select _toke.ToLower()
+		Case "("
+			NextToke
+			expr=ParseExpr()
+			Parse ")"
+		Case "["
+			expr=ParseArrayExpr()
+		Case "[]"
+			NextToke
+			expr=New TConstExpr.Create( TType.emptyArrayType,"" )
+		Case "."
+			expr=New TScopeExpr.Create( _module )
+		Case "new"
+'DebugStop
+			NextToke
+			Local ty:TType=ParseType()
+			If CParse( "[" )
+				Local ln:TExpr[]
+				Repeat
+					ln = ln + [ParseExpr()]
+					If CParse("]") Exit
+					Parse ","
+				Forever
+				'Parse "]"
+				While CParse( "[]" )
+					ty=New TArrayType.Create( ty)
+				Wend
+				expr=New TNewArrayExpr.Create( ty,ln )
+			Else
+				expr=New TNewObjectExpr.Create( ty,ParseArgs( stmt ) )
+			EndIf
+		Case "null"
+			NextToke
+			expr=New TConstExpr.Create( TType.nullObjectType,"" )
+		Case "true"
+			NextToke
+			expr=New TConstExpr.Create( TType.intType,"1" )
+		Case "false"
+			NextToke
+			expr=New TConstExpr.Create( TType.intType,"" )
+		Case "int","long","float","double","array","object","short","byte"
+
+			Local id$=_toke
+			Local ty:TType=ParseType()
+
+			If TIntType(ty) And id.ToLower() <> "int" Then
+				Select id.ToLower()
+					Case "byte"
+						ty = TType.byteType
+					Case "short"
+						ty = TType.shortType
+					Case "long"
+						ty = TType.longType
+					Case "float"
+						ty = TType.floatType
+					Case "double"
+						ty = TType.doubleType
+				End Select
+			End If
+
+			If CParse("ptr") Then
+				ty = TType.MapToPointerType(ty)
+			End If
+
+			' optional brackets
+			If CParse( "(" )
+				expr=ParseExpr()
+				Parse ")"
+				expr=New TCastExpr.Create( ty,expr,CAST_EXPLICIT )
+			Else
+				expr=ParseExpr()
+'				Parse ")"
+				expr=New TCastExpr.Create( ty,expr,CAST_EXPLICIT )
+'				expr=New TIdentExpr.Create( id )
+			EndIf
+		Case "sizeof"
+			NextToke
+			' optional brackets
+			If CParse( "(" )
+				expr=ParseExpr()
+				Parse ")"
+				expr=New TSizeOfExpr.Create( expr )
+			Else
+				expr=ParseExpr()
+				expr=New TSizeOfExpr.Create( expr )
+			EndIf
+		Case "len"
+			NextToke
+			' optional brackets
+			If CParse( "(" )
+				expr=ParseExpr()
+				Parse ")"
+				expr=New TLenExpr.Create( expr )
+			Else
+				expr=ParseExpr()
+				expr=New TLenExpr.Create( expr )
+			EndIf
+		Case "abs"
+			NextToke
+			' optional brackets
+			If CParse( "(" )
+				expr=ParseExpr()
+				Parse ")"
+				expr=New TAbsExpr.Create( expr )
+			Else
+				expr=ParseExpr()
+				expr=New TAbsExpr.Create( expr )
+			EndIf
+		Case "min"
+			NextToke
+			' optional brackets
+			Local b:Int = CParse( "(" )
+
+			expr=ParseExpr()
+			Parse ","
+			Local expr2:TExpr=ParseExpr()
+
+			If b Then
+				Parse ")"
+			End If
+
+			expr=New TMinExpr.Create( expr, expr2 )
+		Case "max"
+			NextToke
+			' optional brackets
+			Local b:Int = CParse( "(" )
+
+			expr=ParseExpr()
+			Parse ","
+			Local expr2:TExpr=ParseExpr()
+
+			If b Then
+				Parse ")"
+			End If
+
+			expr=New TMaxExpr.Create( expr, expr2 )
+		Case "string"
+			Local id$=_toke
+			Local ty:TType=ParseType()
+
+			If CParse("ptr") Then
+				ty = TType.MapToPointerType(ty)
+			End If
+
+			If CParse( "(" )
+				expr=ParseExpr()
+				Parse ")"
+				expr=New TCastExpr.Create( ty,expr,CAST_EXPLICIT )
+			Else
+				expr=New TIdentExpr.Create( id )
+			EndIf
+
+		Case "varptr"
+			NextToke
+			expr=ParseExpr()
+			expr=New TCastExpr.Create( TType.varPointerType, expr, CAST_EXPLICIT )
+		Case "self"
+			NextToke
+			expr=New TSelfExpr
+		Case "super"
+			NextToke
+			Parse "."
+			If _toke="new"
+				Err "Call to super class constructor must be first statement in a constructor."
+			EndIf
+			Local id$=ParseIdent()
+			expr=New TInvokeSuperExpr.Create( id,ParseArgs( stmt ) )
+		Case ".." ' handle end-of-line "dot dot return"
+			Local tok:TToker = New TToker.Copy(_toker)
+			Local t:String = tok.NextToke()
+			If t = "~r" Then
+				t = tok.NextToke()
+				If t = "~n" Then
+					NextToke
+					NextToke
+				Else
+					NextToke
+				End If
+			Else
+				If t = "~n" Then
+					NextToke
+				End If
+			End If
+
+			expr=ParseExpr()
+
+			'NextToke
+
+			'If Not CParse("~n") Then
+			'	Err "Expecting expression but encountered '..'"
+			'End If
+			'NextToke
+		Default
+			Select _tokeType
+			Case TOKE_IDENT
+				Local tok:TToker=New TToker.Copy( _toker )
+
+				Local ty:TType=CParseIdentType()
+				If ty
+					expr=New TIdentTypeExpr.Create( ty )
+				Else
+					_toker=tok
+					_toke=_toker.Toke()
+					_tokeType=_toker.TokeType()
+					expr=New TIdentExpr.Create( ParseIdent() )
+
+					ParseConstNumberType()
+				EndIf
+
+				'expr=New TIdentExpr.Create( ParseIdent() )
+			Case TOKE_INTLIT
+
+				expr=New TConstExpr.Create( TType.intType,_toke )
+				NextToke
+
+				Local ty:TType = ParseConstNumberType()
+				If ty Then
+					TConstExpr(expr).ty = ty
+				End If
+			Case TOKE_LONGLIT
+				expr=New TConstExpr.Create( TType.longType,_toke )
+				NextToke
+			Case TOKE_FLOATLIT
+				expr=New TConstExpr.Create( TType.floatType,_toke )
+				NextToke
+
+				Local ty:TType = ParseConstNumberType()
+				If ty Then
+					TConstExpr(expr).ty = ty
+				End If
+			Case TOKE_STRINGLIT
+				expr=New TConstExpr.Create( TType.stringType,BmxUnquote( _toke ) )
+				_app.mapStringConsts(BmxUnquote( _toke ))
+				NextToke
+			Default
+				Err "Expecting expression but encountered '"+_toke+"'"
+			End Select
+		End Select
+
+		Repeat
+
+			Select _toke
+			Case "."
+'DebugLog "FOUND DOT for : " + expr.ToString() + " : " + _toker._line
+				NextToke
+				expr=New TIdentExpr.Create( ParseIdent(),expr )
+'DebugLog expr.ToString()
+			Case "("
+
+				If expr = Null Then
+					NextToke
+					expr=ParseExpr()
+					Parse ")"
+				Else
+					expr=New TFuncCallExpr.Create( expr,ParseArgs( stmt ) )
+				End If
+
+			Case "["
+				NextToke
+				If CParse( ".." )
+					If _toke="]"
+						expr=New TSliceExpr.Create( expr,Null,Null )
+					Else
+						expr=New TSliceExpr.Create( expr,Null,ParseExpr() )
+					EndIf
+					Parse "]"
+				Else
+					Local from:TExpr=ParseExpr()
+					If CParse( ".." )
+						If _toke="]"
+							expr=New TSliceExpr.Create( expr,from,Null )
+						Else
+							expr=New TSliceExpr.Create( expr,from,ParseExpr() )
+						EndIf
+						Parse "]"
+					Else
+						Local ind:TExpr[] = [from]
+						Repeat
+							If CParse("]") Then
+								Exit
+							End If
+
+							Parse ","
+
+							ind = ind + [ParseExpr()]
+						Forever
+
+						expr=New TIndexExpr.Create( expr,ind )
+					EndIf
+				EndIf
+			Default
+				Return expr
+			End Select
+		Forever
+
+	End Method
+
+	Method ParseUnaryExpr:TExpr()
+
+		SkipEols
+
+		Local op$=_toke
+		Select op
+		Case "+","-","~~","not"
+			NextToke
+			Local expr:TExpr=ParseUnaryExpr()
+			Return New TUnaryExpr.Create( op,expr )
+		End Select
+		Return ParsePrimaryExpr( False )
+	End Method
+
+	Method ParseMulDivExpr:TExpr()
+		Local expr:TExpr=ParseUnaryExpr()
+		Repeat
+			Local op$=_toke
+			Select op
+			Case "*","/","mod","shl","shr", "sar"
+				NextToke
+				Local rhs:TExpr=ParseUnaryExpr()
+				expr=New TBinaryMathExpr.Create( op,expr,rhs )
+			Case ".." ' handle end-of-line "dot dot return"
+				Local tok:TToker = New TToker.Copy(_toker)
+				Local t:String = tok.NextToke()
+				If t = "~r" Then
+					t = tok.NextToke()
+					If t = "~n" Then
+						NextToke
+						NextToke
+					Else
+						NextToke
+					End If
+				Else
+					If t = "~n" Then
+						NextToke
+					End If
+				End If
+				Return expr
+			Default
+				Return expr
+			End Select
+		Forever
+	End Method
+
+	Method ParseAddSubExpr:TExpr()
+		Local expr:TExpr=ParseMulDivExpr()
+		Repeat
+			Local op$=_toke
+			Select op
+			Case "+","-"
+				NextToke
+				Local rhs:TExpr=ParseMulDivExpr()
+				expr=New TBinaryMathExpr.Create( op,expr,rhs )
+			Default
+				Return expr
+			End Select
+		Forever
+	End Method
+
+	Method ParseBitandExpr:TExpr()
+		Local expr:TExpr=ParseAddSubExpr()
+		Repeat
+			Local op$=_toke
+			Select op
+			Case "&","~~"
+				NextToke
+				Local rhs:TExpr=ParseAddSubExpr()
+				expr=New TBinaryMathExpr.Create( op,expr,rhs )
+			Default
+				Return expr
+			End Select
+		Forever
+	End Method
+
+	Method ParseBitorExpr:TExpr()
+		Local expr:TExpr=ParseBitandExpr()
+		Repeat
+			Local op$=_toke
+			Select op
+			Case "|"
+				NextToke
+				Local rhs:TExpr=ParseBitandExpr()
+				expr=New TBinaryMathExpr.Create( op,expr,rhs )
+			Default
+				Return expr
+			End Select
+		Forever
+	End Method
+
+	Method ParseCompareExpr:TExpr()
+		Local expr:TExpr=ParseBitorExpr()
+		Repeat
+			Local op$=_toke
+			Select op
+			Case "=","<",">","<=","=<",">=","=>","<>"
+				NextToke
+				' <= or =>
+				If (op=">" And (_toke="=")) Or (op="=" And (_toke=">"))
+					op:+_toke
+					NextToke
+				' <> or <= or =<
+				Else If (op="<" And _toke=">") Or (op="<" And _toke="=") Or (op="=" And _toke="<")
+					op:+_toke
+					NextToke
+				EndIf
+				Local rhs:TExpr=ParseBitorExpr()
+				expr=New TBinaryCompareExpr.Create( op,expr,rhs )
+			Default
+				Return expr
+			End Select
+		Forever
+	End Method
+
+	Method ParseAndExpr:TExpr()
+		Local expr:TExpr=ParseCompareExpr()
+		Repeat
+			Local op$=_toke
+			If op="and"
+				NextToke
+				Local rhs:TExpr=ParseCompareExpr()
+				expr=New TBinaryLogicExpr.Create( op,expr,rhs )
+			Else
+				Return expr
+			EndIf
+		Forever
+	End Method
+
+	Method ParseOrExpr:TExpr()
+		Local expr:TExpr=ParseAndExpr()
+		Repeat
+			Local op$=_toke
+			If op="or"
+				NextToke
+				Local rhs:TExpr=ParseAndExpr()
+				expr=New TBinaryLogicExpr.Create( op,expr,rhs )
+			Else
+				Return expr
+			EndIf
+		Forever
+	End Method
+
+	Method ParseExpr:TExpr()
+		Return ParseOrExpr()
+	End Method
+
+	Method ParseIfStmt( term$ )
+
+		CParse "if"
+'DebugStop
+		Local expr:TExpr=ParseExpr()
+
+		CParse "then"
+
+		Local thenBlock:TBlockDecl=New TBlockDecl.Create( _block )
+		Local elseBlock:TBlockDecl=New TBlockDecl.Create( _block )
+
+		Local eatTerm:Int
+		If Not term
+			If _toke="~n" term="end" Else term="~n"
+			eatTerm=True
+		EndIf
+
+		PushBlock thenBlock
+		While _toke<>term
+			Select _toke
+			Case "endif"
+				If term="end" Exit
+				Err "Syntax error - expecting 'End'."
+			Case "else","elseif"
+				Local elif:Int=_toke="elseif"
+				NextToke
+				If _block=elseBlock
+					Err "If statement can only have one 'else' block."
+				EndIf
+				PopBlock
+				PushBlock elseBlock
+				If elif Or _toke="if"
+					ParseIfStmt term
+				EndIf
+			Default
+				ParseStmt
+			End Select
+		Wend
+		PopBlock
+
+		If eatTerm
+			NextToke
+			If term="end" CParse "if"
+		EndIf
+
+		Local stmt:TIfStmt=New TIfStmt.Create( expr,thenBlock,elseBlock )
+
+		_block.AddStmt stmt
+	End Method
+
+	Method ParseWhileStmt()
+
+		Parse "while"
+
+		Local expr:TExpr=ParseExpr()
+		Local block:TBlockDecl=New TBlockDecl.Create( _block )
+
+		PushBlock block
+		While Not CParse( "wend" )
+			If CParse( "end" )
+				CParse "while"
+				Exit
+			EndIf
+			ParseStmt
+		Wend
+		PopBlock
+
+		Local stmt:TWhileStmt=New TWhileStmt.Create( expr,block )
+
+		_block.AddStmt stmt
+	End Method
+
+	Method ParseRepeatStmt()
+
+		Parse "repeat"
+
+		Local block:TBlockDecl=New TBlockDecl.Create( _block )
+
+		PushBlock block
+		While _toke<>"until" And _toke<>"forever"
+			ParseStmt
+		Wend
+		PopBlock
+
+		SetErr
+
+		Local expr:TExpr
+		If CParse( "until" )
+			expr=ParseExpr()
+		Else
+			Parse "forever"
+			expr=New TConstExpr.Create( TType.boolType,"" )
+		EndIf
+
+		Local stmt:TRepeatStmt=New TRepeatStmt.Create( block,expr )
+
+		_block.AddStmt stmt
+	End Method
+
+	Method ParseForStmt()
+'DebugStop
+		Parse "for"
+
+		Local varid$,varty:TType,varlocal:Int
+
+		If CParse( "local" )
+			varlocal=True
+			varid=ParseIdent()
+			'If Not CParse( ":=" )
+				varty=ParseDeclType()
+				Parse( "=" )
+			'EndIf
+		Else
+			varlocal=False
+			varid=ParseIdent()
+			Parse "="
+		EndIf
+
+		If CParse( "eachin" )
+			Local expr:TExpr=ParseExpr()
+			Local block:TBlockDecl=New TBlockDecl.Create( _block )
+
+			PushBlock block
+			While Not CParse( "next" )
+				If CParse( "end" )
+					CParse "for"
+					Exit
+				EndIf
+				ParseStmt
+			Wend
+			PopBlock
+
+			Local stmt:TForEachinStmt=New TForEachinStmt.Create( varid,varty,varlocal,expr,block )
+
+			_block.AddStmt stmt
+
+			Return
+		EndIf
+
+		Local from:TExpr=ParseExpr()
+
+		Local op$
+		If CParse( "to" )
+			op="<="
+		Else If CParse( "until" )
+			op="<"
+		Else
+			Err "Expecting 'To' or 'Until'."
+		EndIf
+
+		Local term:TExpr=ParseExpr()
+
+		Local stp:TExpr
+
+		If CParse( "step" )
+			stp=ParseExpr()
+		Else
+			stp=New TConstExpr.Create( TType.intType,"1" )
+		EndIf
+
+		Local init:TStmt,expr:TExpr,incr:TStmt
+
+		If varlocal
+			Local indexVar:TLocalDecl=New TLocalDecl.Create( varid,varty,from,0 )
+			init=New TDeclStmt.Create( indexVar )
+			expr=New TBinaryCompareExpr.Create( op,New TVarExpr.Create( indexVar ),term )
+			incr=New TAssignStmt.Create( "=",New TVarExpr.Create( indexVar ),New TBinaryMathExpr.Create( "+",New TVarExpr.Create( indexVar ),stp ) )
+		Else
+			init=New TAssignStmt.Create( "=",New TIdentExpr.Create( varid ),from )
+			expr=New TBinaryCompareExpr.Create( op,New TIdentExpr.Create( varid ),term )
+			incr=New TAssignStmt.Create( "=",New TIdentExpr.Create( varid ),New TBinaryMathExpr.Create( "+",New TIdentExpr.Create( varid ),stp ) )
+		EndIf
+
+		Local block:TBlockDecl=New TBlockDecl.Create( _block )
+
+		PushBlock block
+		While Not CParse( "next" )
+			If CParse( "end" )
+				CParse "for"
+				Exit
+			EndIf
+			ParseStmt
+		Wend
+		PopBlock
+
+		NextToke
+
+		Local stmt:TForStmt=New TForStmt.Create( init,expr,incr,block )
+
+		_block.AddStmt stmt
+	End Method
+
+	Method ParseReturnStmt()
+		Parse "return"
+		Local expr:TExpr
+		If Not AtEos() expr=ParseExpr()
+		_block.AddStmt New TReturnStmt.Create( expr )
+	End Method
+
+	Method ParseExitStmt()
+		Parse "exit"
+		_block.AddStmt New TBreakStmt
+	End Method
+
+	Method ParseContinueStmt()
+		Parse "continue"
+		_block.AddStmt New TContinueStmt
+	End Method
+
+	Method ParseTryStmt()
+		Parse "try"
+
+		Local block:TBlockDecl=New TBlockDecl.Create( _block )
+		Local catches:TStack=New TStack
+
+		PushBlock block
+		While _toke<>"end"
+			If CParse( "catch" )
+				Local id:String=ParseIdent()
+				Parse ":"
+				Local ty:TType=ParseType()
+				Local init:TLocalDecl=New TLocalDecl.Create( id,ty,Null,0 )
+				Local block:TBlockDecl=New TBlockDecl.Create( _block )
+				catches.Push New TCatchStmt.Create( init,block )
+				PopBlock
+				PushBlock block
+			Else
+				ParseStmt
+			End If
+		Wend
+		If Not catches.Length() Err "Try block must have at least one catch block"
+		PopBlock
+		NextToke
+		CParse "try"
+
+		_block.AddStmt New TTryStmt.Create( block,TCatchStmt[](catches.ToArray()) )
+	End Method
+
+	Method ParseThrowStmt()
+		Parse "throw"
+		Local expr:TExpr = ParseExpr()
+		_block.AddStmt New TThrowStmt.Create( expr )
+	End Method
+
+	Method ParseAssertStmt()
+		Parse "assert"
+		Local expr:TExpr = ParseExpr()
+		Local elseExpr:TExpr
+
+		If _toke = "," Or _toke = "else" Then
+			NextToke
+			elseExpr = ParseExpr()
+		End If
+
+		_block.AddStmt New TAssertStmt.Create( expr, elseExpr )
+	End Method
+
+	Method ParseSelectStmt()
+		Parse "select"
+
+		Local block:TBlockDecl=_block
+
+		Local tmpVar:TLocalDecl=New TLocalDecl.Create( "",Null,ParseExpr() )
+
+		block.AddStmt New TDeclStmt.Create( tmpVar )
+
+		While _toke<>"end" And _toke<>"default" And _toke<>"endselect"
+			SetErr
+			Select _toke
+			Case "~n"
+				NextToke
+			Case "case"
+				NextToke
+				Local comp:TExpr
+				Repeat
+					Local expr:TExpr=New TVarExpr.Create( tmpVar )
+					expr=New TBinaryCompareExpr.Create( "=",expr,ParseExpr() )
+					If comp
+						comp=New TBinaryLogicExpr.Create( "or",comp,expr )
+					Else
+						comp=expr
+					EndIf
+				Until Not CParse(",")
+
+				Local thenBlock:TBlockDecl=New TBlockDecl.Create( _block )
+				Local elseBlock:TBlockDecl=New TBlockDecl.Create( _block )
+
+				Local ifstmt:TIfStmt=New TIfStmt.Create( comp,thenBlock,elseBlock )
+				block.AddStmt ifstmt
+				block=ifstmt.thenBlock
+
+				PushBlock block
+				While _toke<>"case" And _toke<>"default" And _toke<>"end" And _toke<>"endselect"
+					ParseStmt
+				Wend
+				PopBlock
+
+				block=elseBlock
+			Default
+				Err "Syntax error - expecting 'Case', 'Default' or 'End'."
+			End Select
+		Wend
+
+		If _toke="default"
+			NextToke
+			PushBlock block
+			While _toke<>"end" And _toke<>"endselect"
+				SetErr
+				Select _toke
+				Case "case"
+					Err "Case can not appear after default."
+				Case "default"
+					Err "Select statement can have only one default block."
+				End Select
+				ParseStmt
+			Wend
+			PopBlock
+		EndIf
+
+		SetErr
+
+		If Not CParse("endselect") Then
+			Parse "end"
+			Parse "select"
+		End If
+	End Method
+
+	Method ParseRemStmt()
+		Parse "rem"
+
+' TODO : end/rem should be at the beginning of a line... ignore otherwise
+		While _toke
+			SkipEols()
+'			If CParse( "endrem" ) Then
+'DebugStop
+			 	Local line:String = _toker._lines[_toker._line - 1].Trim().toLower()
+				If line.startswith("endrem") Then
+					Exit
+				End If
+
+				If CParse( "end" )
+					CParse "rem"
+				End If
+
+				If line.startswith("end rem") Then
+					Exit
+				End If
+
+'			EndIf
+			NextToke
+		Wend
+
+		NextToke
+
+	End Method
+
+	Method ParseStmt()
+		SetErr
+		Select _toke
+		Case ";","~n"
+			NextToke
+		Case "rem"
+			ParseRemStmt()
+		Case "const","local","global"
+			ParseDeclStmts
+		' nested function - needs to get added to the "module"
+		Case "function"
+			_block.InsertDecl ParseFuncDecl( _toke,FUNC_NESTED )
+		Case "return"
+			ParseReturnStmt()
+		Case "exit"
+			ParseExitStmt()
+		Case "continue"
+			ParseContinueStmt()
+		Case "if"
+			ParseIfStmt( "" )
+		Case "while"
+			ParseWhileStmt()
+		Case "repeat"
+			ParseRepeatStmt()
+		Case "for"
+			ParseForStmt()
+		Case "select"
+			ParseSelectStmt()
+		Case "assert"
+			ParseAssertStmt()
+		Case "try"
+			ParseTryStmt()
+		Case "throw"
+			ParseThrowStmt()
+		Default
+'If _toker._line = 246 Then
+'DebugStop
+'End If
+			Local expr:TExpr=ParsePrimaryExpr( True )
+
+			Select _toke.ToLower()
+			'"=","*=","/=","+=","-=","&=","|=","~~=","mod","shl","shr"
+			Case "=",":*",":/",":+",":-",":&",":|",":~~","mod","shl","shr", ":shl", ":shr", "sar", ":sar", ":mod"
+'DebugLog _toke
+				' remap symbols...
+				For Local i:Int = 0 Until TToker._symbols.length
+					Local sym$= TToker._symbols[i]
+					If _toke.ToLower() = sym
+						_toke = TToker._symbols_map[i]
+'DebugLog _toke
+						Exit
+					EndIf
+				Next
+
+
+				If TIdentExpr( expr ) Or TIndexExpr( expr )
+					Local op$=_toke
+					NextToke
+					If Not op.EndsWith( "=" ) And Not op.StartsWith("=")
+						Parse "="
+						op:+"="
+					EndIf
+					_block.AddStmt New TAssignStmt.Create( op,expr,ParseExpr() )
+				Else
+					Err "Assignment operator '"+_toke+"' cannot be used this way."
+				EndIf
+				Return
+			End Select
+
+			If TIdentExpr( expr )
+
+				expr=New TFuncCallExpr.Create( expr,ParseArgs( True ) )
+
+			Else If TFuncCallExpr( expr) Or TInvokeSuperExpr( expr ) Or TNewObjectExpr( expr )
+
+			Else
+				Err "Expression cannot be used as a statement."
+			EndIf
+
+			_block.AddStmt New TExprStmt.Create( expr )
+
+		End Select
+	End Method
+
+	Method ParseDecl:TDecl( toke$,attrs:Int )
+		SetErr
+		Local id$=ParseIdent()
+		Local ty:TType
+		Local init:TExpr
+
+		If attrs & DECL_EXTERN
+			ty=ParseDeclType()
+
+'			If CParse("(") Then
+			If _toke = "(" Then
+
+				' function pointer?
+				Local decl:TFuncDecl = ParseFuncDecl("", attrs | FUNC_PTR)
+
+				If Not ty Then
+					ty = New TFunctionPtrType
+					TFunctionPtrType(ty).func = decl
+				Else
+					decl.retType = ty
+					ty = New TFunctionPtrType
+					TFunctionPtrType(ty).func = decl
+				End If
+
+				TFunctionPtrType(ty).func.ident = id
+
+			Else If toke = "const" Then
+				If CParse("=") Then
+					init=ParseExpr()
+				End If
+			End If
+		Else If CParse( ":=" )
+			init=ParseExpr()
+		Else
+			ty=ParseDeclType()
+			If CParse( "=" )
+				init=ParseExpr()
+			Else If CParse( "[" )
+				Local ln:TExpr[]
+				Repeat
+					ln = ln + [ParseExpr()]
+					If CParse("]") Exit
+					Parse(",")
+				Forever
+				'Parse "]"
+				While CParse( "[]" )
+					ty=New TArrayType.Create(ty)
+				Wend
+				init=New TNewArrayExpr.Create( ty,ln)
+				ty=New TArrayType.Create( ty, ln.length )
+			Else If _toke = "(" Then
+	 			' function pointer?
+
+				Local fdecl:TFuncDecl = ParseFuncDecl("", FUNC_PTR)
+				If toke = "field" Then
+					fdecl.attrs :| FUNC_METHOD
+				End If
+
+				If Not ty Then
+					ty = New TFunctionPtrType
+					TFunctionPtrType(ty).func = fdecl
+				Else
+					fdecl.retType = ty
+					ty = New TFunctionPtrType
+					TFunctionPtrType(ty).func = fdecl
+				End If
+
+				TFunctionPtrType(ty).func.ident = ""
+
+				' check for function pointer init
+				If CParse("=") Then
+					init=ParseExpr()
+				End If
+
+			Else If toke<>"const"
+				init=New TConstExpr.Create( ty,"" )
+			Else
+				Err "Constants must be initialized."
+			EndIf
+		EndIf
+
+		Local decl:TValDecl
+
+		Select toke
+		Case "global" decl=New TGlobalDecl.Create( id,ty,init,attrs )
+		Case "field"  decl=New TFieldDecl.Create( id,ty,init,attrs )
+		Case "const"  decl=New TConstDecl.Create( id,ty,init,attrs )
+		Case "local"  decl=New TLocalDecl.Create( id,ty,init,attrs )
+		End Select
+
+		If decl.IsExtern()
+'DebugStop
+			If CParse( "=" )
+				decl.munged=ParseStringLit()
+				If TFunctionPtrType(ty) Then
+					TFunctionPtrType(ty).func.munged = decl.munged
+				End If
+			Else
+				decl.munged=decl.ident
+			EndIf
+		EndIf
+
+		Return decl
+	End Method
+
+	Method ParseDecls:TList( toke$,attrs:Int )
+		If toke Parse toke
+
+		Local decls:TList=New TList'<Decl>
+		Repeat
+			Local decl:TDecl=ParseDecl( toke,attrs )
+			decls.AddLast decl
+			If Not CParse(",") Return decls
+		Forever
+	End Method
+
+	Method ParseDeclStmts()
+		Local toke$=_toke
+		NextToke
+		Repeat
+			Local decl:TDecl=ParseDecl( toke,0 )
+			_block.AddStmt New TDeclStmt.Create( decl )
+		Until Not CParse(",")
+	End Method
+
+	Method ParseFuncDecl:TFuncDecl( toke$,attrs:Int )
+		SetErr
+
+		If toke Parse toke
+
+		Local id$
+		Local ty:TType
+		Local meth:Int = attrs & FUNC_METHOD
+
+		If attrs & FUNC_METHOD
+			If _toke="new"
+'DebugStop
+				If attrs & DECL_EXTERN
+					Err "Extern classes cannot have constructors"
+				EndIf
+				id=_toke
+				NextToke
+				attrs:|FUNC_CTOR
+				attrs:&~FUNC_METHOD
+			Else
+				id=ParseIdent()
+				ty=ParseDeclType()
+			EndIf
+		Else
+			If Not (attrs & FUNC_PTR) Then
+				id=ParseIdent()
+				ty=ParseDeclType()
+			End If
+		EndIf
+
+		Local args:TArgDecl[]
+
+		Parse "("
+		SkipEols
+		If _toke<>")"
+			Local nargs:Int
+			Repeat
+				If _toke =".." ' handle end-of-line "dot dot return"
+					Local tok:TToker = New TToker.Copy(_toker)
+					Local t:String = tok.NextToke()
+					If t = "~r" Then
+						t = tok.NextToke()
+						If t = "~n" Then
+							NextToke
+							NextToke
+						Else
+							NextToke
+						End If
+					End If
+				End If
+
+				Local id$=ParseIdent()
+
+				Local ty:TType=ParseDeclType()
+				Local init:TExpr
+				' function pointer ?
+				If _toke = "(" Then
+
+					Local fdecl:TFuncDecl = ParseFuncDecl("", FUNC_PTR | DECL_ARG)
+
+					If Not ty Then
+						ty = New TFunctionPtrType
+						TFunctionPtrType(ty).func = fdecl
+					Else
+						fdecl.retType = ty
+						ty = New TFunctionPtrType
+						TFunctionPtrType(ty).func = fdecl
+					End If
+
+					TFunctionPtrType(ty).func.ident = id
+
+				End If
+				If CParse( "=" ) init=ParseExpr()
+				Local arg:TArgDecl=New TArgDecl.Create( id,ty,init )
+				If args.Length=nargs args=args + New TArgDecl[10]
+				args[nargs]=arg
+				nargs:+1
+				If _toke=")" Exit
+
+				If _toke =".." ' handle end-of-line "dot dot return"
+					Local tok:TToker = New TToker.Copy(_toker)
+					Local t:String = tok.NextToke()
+					If t = "~r" Then
+						t = tok.NextToke()
+						If t = "~n" Then
+							NextToke
+							NextToke
+						Else
+							NextToke
+						End If
+					End If
+				End If
+
+				Parse ","
+			Forever
+			args=args[..nargs]
+		EndIf
+		Parse ")"
+
+		Repeat
+			If CParse( "final" )
+				attrs:|DECL_FINAL
+			Else If CParse( "abstract" )
+				attrs:|DECL_ABSTRACT
+			Else If CParse( "property" )
+				If attrs & FUNC_METHOD
+					attrs:|FUNC_PROPERTY
+				Else
+					Err "Only methods can be properties."
+				EndIf
+			Else If CParse( "nodebug" )
+				' TODO : NoDebug
+			Else
+				Exit
+			EndIf
+		Forever
+If Not ty Then
+'DebugStop
+End If
+
+		Local funcDecl:TFuncDecl=New TFuncDecl.CreateF( id,ty,args,attrs )
+
+		If funcDecl.IsExtern() Or (attrs & FUNC_PTR)
+			funcDecl.munged=funcDecl.ident
+
+			' a normal function pointer definition *probably* can't be defined with a munged name?
+			' If there is an equals here, one can assume it is for an initialisation...
+			'If (Not (attrs & FUNC_PTR)) Or (attrs & FUNC_PTR And Not (attrs & DECL_ARG)) Then
+			If Not (attrs & FUNC_PTR) Then
+				If CParse( "=" )
+					funcDecl.munged=ParseStringLit()
+				End If
+
+				'Array $resize hack!
+				'If funcDecl.munged="$resize"
+				'	funcDecl.retTypeExpr=TType.emptyArrayType
+				'EndIf
+			EndIf
+
+			If funcDecl.munged Then
+				' look up extern cast list
+				Local cdets:TCastDets = TCastDets(_externCasts.ValueForKey(funcDecl.munged))
+				If cdets Then
+					funcDecl.castTo = cdets.retType
+					If cdets.noGen Then
+						funcDecl.noCastGen = True
+					End If
+					For Local i:Int = 0 Until cdets.args.length
+						funcDecl.argDecls[i].castTo = cdets.args[i]
+					Next
+				End If
+			End If
+
+			Return funcDecl
+		EndIf
+
+		If funcDecl.IsAbstract() Return funcDecl
+
+		'Ok, only first statement of a constructor can call super constructor - not pretty, should be in semant.
+		If attrs & FUNC_CTOR
+			SkipEols
+			If CParse( "super" )
+				Parse "."
+				If _toke="new"
+					Local id$=_toke
+					NextToke
+					funcDecl.superCtor=New TInvokeSuperExpr.Create( id,ParseArgs( True ) )
+					funcDecl.AddStmt New TExprStmt.Create( funcDecl.superCtor )
+				Else
+					Local id$=ParseIdent()
+					funcDecl.AddStmt New TExprStmt.Create( New TInvokeSuperExpr.Create( id,ParseArgs( True ) ) )
+				EndIf
+			Else
+					'Invoke super default ctor
+					'funcDecl.superCtor=New InvokeSuperExpr( "new",[] )
+					'funcDecl.AddStmt New TExprStmt( funcDecl.superCtor )
+			EndIf
+		EndIf
+
+		PushBlock funcDecl
+		While (Not meth And _toke.ToLower()<>"endfunction") Or (meth And _toke.ToLower()<>"endmethod")
+			If CParse( "end" )
+				If (Not meth And CParse("function")) Or (meth And CParse("method"))
+					Exit
+				End If
+			EndIf
+
+			ParseStmt
+		Wend
+		PopBlock
+
+		'DebugStop ' BaH
+
+		NextToke
+		If toke CParse toke
+
+		Return funcDecl
+	End Method
+
+	Method ParseClassDecl:TClassDecl( toke$,attrs:Int )
+		SetErr
+
+		If toke Parse toke
+
+		Local id$=ParseIdent()
+		Local args:TClassDecl[]
+		Local superTy:TIdentType
+		Local imps:TIdentType[]
+
+		If (attrs & CLASS_INTERFACE) And (attrs & DECL_EXTERN)
+			Err "Interfaces cannot be extern."
+		EndIf
+Rem
+		If CParse( "<" )
+
+			If attrs & DECL_EXTERN
+				Err "Extern classes cannot be generic."
+			EndIf
+
+			If attrs & CLASS_INTERFACE
+				Err "Interfaces cannot be generic."
+			EndIf
+
+			If attrs & CLASS_TEMPLATEARG
+				Err "Class parameters cannot be generic."
+			EndIf
+
+			Local nargs:Int
+			Repeat
+				Local decl:TClassDecl=ParseClassDecl( "",CLASS_TEMPLATEARG )
+				If args.Length=nargs args=args + New TClassDecl[10]
+				args[nargs]=decl
+				nargs:+1
+			Until Not CParse(",")
+			args=args[..nargs]
+
+			Parse ">"
+		EndIf
+End Rem
+		If CParse( "extends" )
+			'If attrs & CLASS_TEMPLATEARG
+			'	Err "Extends cannot be used with class parameters."
+			'EndIf
+
+			If CParse( "null" )
+
+				If attrs & CLASS_INTERFACE
+					Err "Interfaces cannot extend null"
+				EndIf
+
+				If Not (attrs & DECL_EXTERN)
+					Err "Only extern objects can extend null."
+				EndIf
+
+				superTy=Null
+
+			Else If attrs & CLASS_INTERFACE
+
+				Local nimps:Int
+				Repeat
+					If imps.Length=nimps imps=imps + New TIdentType[10]
+					imps[nimps]=ParseIdentType()
+					nimps:+1
+				Until Not CParse(",")
+				imps=imps[..nimps]
+				superTy=TType.objectType
+			Else
+				superTy=ParseIdentType()
+			EndIf
+		Else
+			superTy=TType.objectType
+		EndIf
+Rem
+		If CParse( "implements" )
+
+			If attrs & DECL_EXTERN
+				Err "Implements cannot be used with external classes."
+			EndIf
+
+			If attrs & CLASS_INTERFACE
+				Err "Implements cannot be used with interfaces."
+			EndIf
+
+			If attrs & CLASS_TEMPLATEARG
+				Err "Implements cannot be used with class parameters."
+			EndIf
+
+			Local nimps:Int
+			Repeat
+				If imps.Length=nimps imps=imps + New TIdentType[10]
+				imps[nimps]=ParseIdentType()
+				nimps:+1
+			Until Not CParse(",")
+			imps=imps[..nimps]
+		EndIf
+End Rem
+		Repeat
+			If CParse( "final" )
+
+				If attrs & CLASS_INTERFACE
+					Err "Final cannot be used with interfaces."
+				EndIf
+
+				attrs:|DECL_FINAL
+
+			Else If CParse( "abstract" )
+
+				If attrs & CLASS_INTERFACE
+					Err "Abstract cannot be used with interfaces."
+				EndIf
+
+				attrs:|DECL_ABSTRACT
+			Else
+				Exit
+			EndIf
+		Forever
+
+		Local classDecl:TClassDecl=New TClassDecl.Create( id,args,superTy,imps,attrs )
+
+		If classDecl.IsExtern()
+			classDecl.munged=classDecl.ident
+			If CParse( "=" ) classDecl.munged=ParseStringLit()
+		EndIf
+
+		'If classDecl.IsTemplateArg() Return classDecl
+
+		Local decl_attrs:Int=(attrs & DECL_EXTERN)
+
+		Local method_attrs:Int=decl_attrs|FUNC_METHOD
+		If attrs & CLASS_INTERFACE method_attrs:|DECL_ABSTRACT
+
+		Repeat
+			SkipEols
+			Select _toke
+			Case "end", "endtype"
+				NextToke
+				Exit
+			Case "private"
+				NextToke
+				decl_attrs=decl_attrs | DECL_PRIVATE
+			Case "public"
+				NextToke
+				decl_attrs=decl_attrs & ~DECL_PRIVATE
+			Case "const","global","field"
+				If (attrs & CLASS_INTERFACE) And _toke<>"const"
+					Err "Interfaces can only contain constants and methods."
+				EndIf
+				classDecl.InsertDecls ParseDecls( _toke,decl_attrs )
+			Case "method"
+				Local decl:TFuncDecl=ParseFuncDecl( _toke,method_attrs )
+				If decl.IsCtor() decl.retTypeExpr=New TObjectType.Create( classDecl )
+				classDecl.InsertDecl decl
+			Case "function"
+				If (attrs & CLASS_INTERFACE) And _toke<>"const"
+					Err "Interfaces can only contain constants and methods."
+				EndIf
+				Local decl:TFuncDecl=ParseFuncDecl( _toke,decl_attrs )
+				classDecl.InsertDecl decl
+			Case "rem"
+				ParseRemStmt()
+			Default
+				Err "Syntax error - expecting class member declaration, not '" + _toke + "'"
+			End Select
+		Forever
+
+		If toke CParse toke
+
+		Return classDecl
+	End Method
+
+	Method ParseModuleDecl:String( toke$,attrs:Int )
+		NextToke
+
+		' namespace . module
+		Return ParseModPath().ToLower()
+	End Method
+
+	Method ParseModPath$()
+		Local path$=ParseIdent()
+		While CParse( "." )
+			path:+"."+ParseIdent()
+		Wend
+		Return path
+	End Method
+
+	Method ExtractModIdent$( modpath$ )
+		Local i:Int=modpath.FindLast( "." )
+		If i<>-1 Return modpath[i+1..]
+		Return modpath
+	End Method
+
+	Method ImportFile( filepath$ )
+
+		If filepath.Endswith(".bmx") Then
+
+			Local origPath:String = RealPath(filepath)
+			Local path:String = OutputFilePath(origPath, FileMung(), "i")
+
+			If FileType( path )<>FILETYPE_FILE
+				Err "File '"+ path +"' not found."
+			EndIf
+
+
+			If _module.imported.Contains( path ) Return
+
+			Local modpath:String
+			If opt_buildtype = BUILDTYPE_MODULE Then
+				modpath = opt_modulename + "_" + StripExt(filepath)
+				modpath = modpath.ToLower().Replace(".", "_")
+			Else
+				' todo file imports for apps
+				internalErr
+			End If
+
+			' try to import interface
+			Local par:TIParser = New TIParser
+
+			If par.ParseModuleImport(_module, modpath, origPath, path, , , filepath) Return
+		Else
+			If filepath.startswith("-") Then
+				_app.fileimports.AddLast filepath
+			End If
+		End If
+
+	End Method
+
+	Method ImportModule( modpath$,attrs:Int )
+' TODO
+
+		modpath = modpath.ToLower()
+		Local basepath:String = ModulePath(modpath.ToLower())
+
+
+'DebugStop
+
+Rem
+		Local filepath$
+
+		Local cd$=CurrentDir()
+		ChangeDir ExtractDir( _toker.Path() )
+
+		For Local dir:String=EachIn ENV_MODPATH.Split( ";" )
+
+			filepath=RealPath( dir )+"/"+modpath.Replace( ".","/" )+"."+FILE_EXT			'/blah/etc.monkey
+			Local filepath2$=StripExt( filepath )+"/"+StripDir( filepath )					'/blah/etc/etc.monkey
+
+			If FileType( filepath )=FILETYPE_FILE
+				If FileType( filepath2 )<>FILETYPE_FILE Exit
+				Err "Duplicate module file: '"+filepath+"' and '"+filepath2+"'."
+			EndIf
+
+			filepath=filepath2
+			If FileType( filepath )=FILETYPE_FILE Exit
+
+			filepath=""
+		Next
+
+		ChangeDir cd
+
+		If Not filepath Err "Module '"+modpath+"' not found."
+
+		'Note: filepath needs to be an *exact* match.
+		'
+		'Would be nice to have a version of realpath that fixed case and normalized separators for this.
+		'
+		'Currently, frontend is assumed to have done this with main src path, proj dir and mod dir.
+End Rem
+		If _module.imported.Contains( basepath ) Return
+
+		' try to import interface
+		Local par:TIParser = New TIParser
+
+		If par.ParseModuleImport(_module, modpath, basepath, , , attrs) Return
+
+'DebugStop
+
+		'Local mdecl:TDecl=_app.imported.ValueForKey( basepath )
+
+		'If Not mdecl
+		'	mdecl=ParseModule( filepath,_app )
+		'EndIf
+
+		'_module.imported.Insert mdecl.filepath,mdecl
+
+		'If Not (attrs & DECL_PRIVATE) _module.pubImported.Insert mdecl.filepath,mdecl
+
+		'_module.InsertDecl New AliasDecl( mdecl.ident,mdecl,attrs )
+'End Rem
+	End Method
+
+	Method ValidateModIdent( id$ )
+		If id.Length
+			If IsAlpha( id[0] ) Or id[0]="_"[0]
+				Local err:Int
+				For Local i:Int=1 Until id.Length
+					If IsAlpha( id[i] ) Or IsDigit( id[i] ) Or id[i]="_"[0] Continue
+					err=1
+					Exit
+				Next
+				If Not err Return
+			EndIf
+		EndIf
+		Err "Invalid module identifier '"+id+"'."
+	End Method
+
+	Method MungAppDecl(app:TAppDecl)
+		If opt_buildtype = BUILDTYPE_MODULE And opt_ismain Then
+			app.munged = MungModuleName(opt_modulename)
+		Else If opt_buildtype = BUILDTYPE_MODULE Then
+			Local dir:String = ExtractDir(opt_filepath).ToLower()
+			dir = dir[dir.findLast("/") + 1..]
+			If dir.EndsWith(".mod") Then
+				dir = dir.Replace(".mod", "")
+			End If
+			app.munged = "_bb_" + opt_modulename + "_" + StripExt(StripDir(opt_filepath).ToLower())
+		Else
+			' main application file?
+			If opt_apptype Then
+				app.munged = "_bb_main"
+			Else
+				Local dir:String = ExtractDir(opt_filepath).ToLower()
+				dir = dir[dir.findLast("/") + 1..]
+				If dir.EndsWith(".mod") Then
+					dir = dir.Replace(".mod", "")
+				End If
+				dir = dir.Replace(".", "_")
+				Local file:String = StripDir(opt_filepath).ToLower()
+				app.munged = "bb_" + dir + "_" + StripExt(file)
+			End If
+		End If
+		app.munged = app.munged.Replace(".", "_")
+	End Method
+
+	' load external cast defs
+	Method LoadExternCasts(path:String)
+
+		path = StripExt(path) + ".x"
+
+		If FileType(path) = FILETYPE_FILE Then
+
+			Local toker:TToker=New TToker.Create( path,LoadText( path ) )
+			toker.NextToke
+
+			While True
+
+				SkipEolsToker(toker)
+
+				If toker._tokeType = TOKE_EOF Exit
+
+				Local rt$=toker._toke
+				NextTokeToker(toker)
+				If CParseToker(toker,"*") Then
+					rt:+ "*"
+
+					If CParseToker(toker,"*") Then
+						rt:+ "*"
+					End If
+				End If
+
+
+				Local dets:TCastDets = New TCastDets
+
+				' fname
+				Local fn$=toker._toke
+				NextTokeToker(toker)
+
+				dets.name = fn
+				dets.retType = rt
+
+				_externCasts.Insert(fn, dets)
+
+				' args
+				ParseToker(toker, "(")
+
+				If CParseToker(toker, ")") Then
+
+					NextTokeToker(toker)
+
+					' don't generate header extern
+					If CParseToker(toker, "!") Then
+						dets.noGen = True
+					End If
+
+					Continue
+				End If
+
+				Local i:Int = 0
+				Repeat
+					Local at$=toker._toke
+
+					If CParseToker(toker, "const") Then
+						at :+ " " + toker._toke
+					End If
+
+					If CParseToker(toker, "unsigned") Then
+						at :+ " " + toker._toke
+					End If
+
+					NextTokeToker(toker)
+					If CParseToker(toker, "*") Then
+						at:+ "*"
+
+						If CParseToker(toker, "*") Then
+							at:+ "*"
+						End If
+					End If
+
+					' function pointer
+					If CParseToker(toker, "(") Then
+
+						ParseToker(toker, "*")
+						ParseToker(toker, ")")
+						at :+ "(*)"
+
+						ParseToker(toker, "(")
+						at :+ "("
+
+						While Not CParseToker(toker, ")")
+							NextTokeToker(toker)
+							at :+ toker._toke
+						Wend
+
+						at :+ ")"
+					End If
+
+
+					dets.args :+ [at]
+
+					If toker._toke=")" Exit
+					ParseToker(toker, ",")
+
+					i:+ 1
+				Forever
+
+				NextTokeToker(toker)
+
+				' don't generate header extern
+				If CParseToker(toker, "!") Then
+					dets.noGen = True
+				End If
+
+			Wend
+
+		End If
+
+	End Method
+
+	Method ParseMain()
+
+		SkipEols
+
+		Local mattrs:Int
+		'If CParse( "strict" ) mattrs:|MODULE_STRICT
+		'If CParse( "superstrict" ) mattrs:|MODULE_SUPERSTRICT
+
+		Local path$=_toker.Path()
+		Local ident$=StripAll( path )
+		Local munged$	'="bb_"+ident+"_"
+
+		If opt_buildtype = BUILDTYPE_MODULE And opt_ismain
+			ValidateModIdent ident
+		Else If opt_buildtype = BUILDTYPE_MODULE Then
+			munged = opt_modulename + "_" + ident
+			munged = munged.ToLower().Replace(".", "_")
+		End If
+
+		If opt_ismain Then 'And opt_modulename <> "brl.blitz" Then
+			ident = opt_modulename
+		End If
+
+		_module=New TModuleDecl.Create( ident,munged,path,mattrs )
+
+		_module.imported.Insert path,_module
+
+		_app.InsertModule _module
+
+		' mung the app decl
+		MungAppDecl(_app)
+
+
+		If opt_buildtype = BUILDTYPE_MODULE And opt_modulename = "brl.blitz" Then
+			' import Object and String definitions
+			Local par:TIParser = New TIParser
+			par.ParseModuleImport(_module, "brl.classes", modulepath("brl.blitz"), modulepath("brl.blitz") + "/blitz_classes.i")
+
+			' set up built-in keywords
+			par = New TIParser
+			par.ParseModuleImport(_module, "brl.blitzkeywords", "", "", MakeKeywords())
+		End If
+
+		' don't import ourself
+		If opt_modulename <> "brl.blitz" Then
+			Local par:TIParser = New TIParser
+			par.ParseModuleImport(_module, "brl.blitz", modulepath("brl.blitz"), , , MODULE_ACTUALMOD)
+		End If
+
+		LoadExternCasts(path)
+
+		Local attrs:Int
+
+
+		Local mainFunc:TFuncDecl = New TFuncDecl.CreateF("LocalMain", New TIntType,Null,0)
+'DebugStop
+		'_app.InsertDecl mainFunc
+		_module.insertDecl(mainFunc)
+		'Local mainBlock:TBlockDecl = New TBlockDecl.Create( _block )
+
+		'Parse header - imports etc.
+		While _toke
+			SetErr
+			Select _toke.ToLower()
+			Case "~n", ".."
+				NextToke
+			Case "public"
+				NextToke
+				attrs=0
+			Case "private"
+				NextToke
+				attrs=DECL_PRIVATE
+			Case "import"
+				NextToke
+				If _tokeType=TOKE_STRINGLIT
+' TODO
+					'ImportFile ReplaceEnvTags( ParseStringLit() )
+					ImportFile ParseStringLit()
+				Else
+					ImportModule ParseModPath(),attrs | MODULE_ACTUALMOD
+				EndIf
+			Case "framework"
+				NextToke
+				ImportModule ParseModPath(),attrs
+			Case "alias"
+				NextToke
+				Repeat
+					Local ident$=ParseIdent()
+					Parse "="
+
+					Local decl:Object
+					Local scope:TScopeDecl=_module
+
+					_env=_module	'naughty! Shouldn't be doing GetDecl in parser...
+
+					Repeat
+						Local id$=ParseIdent()
+						decl=scope.FindDecl( id )
+						If Not decl Err "Identifier '"+id+"' not found."
+						If Not CParse( "." ) Exit
+						scope=TScopeDecl( decl )
+						If Not scope Or TFuncDecl( scope ) Err "Invalid scope '"+id+"'."
+					Forever
+
+					_env=Null	'/naughty
+
+					_module.InsertDecl New TAliasDecl.Create( ident,decl,attrs )
+
+				Until Not CParse(",")
+			Case "module"
+				Local m:String = ParseModuleDecl(_toke, attrs)
+
+				If m.ToLower() <> opt_modulename Then
+					Err "Module does not match commandline module"
+				End If
+
+				_module.munged = m.Replace(".", "_")
+			Case "rem"
+				ParseRemStmt()
+			Case "nodebug"
+				NextToke
+			Case "strict"
+				If _module.attrs & (MODULE_STRICT | MODULE_SUPERSTRICT) Then
+					Err "Strict or SuperStrict already specified"
+				End If
+
+				_module.attrs :| MODULE_STRICT
+				nextToke
+			Case "superstrict"
+				If _module.attrs & (MODULE_STRICT | MODULE_SUPERSTRICT) Then
+					Err "Strict or SuperStrict already specified"
+				End If
+
+				_module.attrs :| MODULE_SUPERSTRICT
+				nextToke
+			Case "moduleinfo"
+				NextToke
+				Local info:String = ParseStringLit()
+				_module.modInfo.AddLast(info)
+			Default
+				Exit
+			End Select
+		Wend
+
+		' app code
+		PushBlock(mainFunc)
+
+		'Parse main app
+		While _toke
+			SetErr
+			Select _toke.toLower()
+			Case "~n"
+				NextToke
+			Case "public"
+				NextToke
+				attrs=0
+			Case "private"
+				NextToke
+				attrs=DECL_PRIVATE
+			Case "extern"
+'DebugStop
+
+				'If ENV_SAFEMODE
+				'	If _app.mainModule=_module
+				'		Err "Extern not permitted in safe mode."
+				'	EndIf
+				'EndIf
+				NextToke
+
+				If _tokeType=TOKE_STRINGLIT
+					DebugLog "EXTERN : " + ParseStringLit()
+				End If
+
+
+				attrs=DECL_EXTERN
+				If CParse( "private" ) attrs=attrs|DECL_PRIVATE
+
+
+				While _toke<>"endextern"
+					If CParse( "end" )
+						If CParse("extern")
+							Exit
+						End If
+					EndIf
+
+					SetErr
+					Select _toke
+						Case "~n"
+							NextToke
+						Case "const","global"
+							_module.InsertDecls ParseDecls( _toke,attrs )
+						Case "type"
+							_module.InsertDecl ParseClassDecl( _toke,attrs )
+						Case "function"
+							_module.InsertDecl ParseFuncDecl( _toke,attrs )
+						Case "rem"
+							ParseRemStmt()
+					End Select
+
+				Wend
+
+				attrs = 0
+
+			Case "const"
+				_module.InsertDecls ParseDecls( _toke,attrs )
+			Case "global"
+				Local list:TList = ParseDecls( _toke,attrs )
+				_module.InsertDecls list
+				For Local gdecl:TGlobalDecl = EachIn list
+					gdecl.attrs :| DECL_INITONLY
+					_block.AddStmt New TDeclStmt.Create( gdecl )
+				Next
+			Case "type"
+				_module.InsertDecl ParseClassDecl( _toke,attrs )
+			'Case "interface"
+			'	_module.InsertDecl ParseClassDecl( _toke,attrs|CLASS_INTERFACE|DECL_ABSTRACT )
+			Case "function"
+				_module.InsertDecl ParseFuncDecl( _toke,attrs )
+			Case "rem"
+				ParseRemStmt()
+			Case "incbin"
+				NextToke
+				Local s:String = ParseStringLit()
+				_app.mapStringConsts(s)
+				_app.incbins.AddLast(New TIncbin.Create(s, path))
+			Default
+				ParseStmt
+				'Err "Syntax error - expecting declaration."
+			End Select
+		Wend
+
+		PopBlock
+
+	End Method
+
+	Method ParseModule()
+
+	End Method
+
+
+	Method Create:TParser( toker:TToker,app:TAppDecl )
+		_toke="~n"
+		_toker=toker
+		_app=app
+		SetErr
+		NextToke
+		Return Self
+	End Method
+End Type
+
+Function Eval$( toker:TToker,_type:TType )
+	Local src$
+	While toker.Toke() And toker.Toke()<>"'" And toker.Toke()<>"~n" And toker.Toke()<>"~r"
+		src:+toker.Toke()
+		toker.NextToke()
+	Wend
+	Local t:String=EvalS( src,_type )
+	Return t
+End Function
+
+Function PreProcess$( path$ )
+
+	Local ifnest:Int,con:Int=1,line:Int,source:TStringList=New TStringList
+
+	Local toker:TToker=New TToker.Create( path,LoadText( path ) )
+
+	toker.NextToke
+
+	Repeat
+
+		If line
+			source.AddLast "~n"
+			While toker.Toke() And toker.Toke()<>"~n" And toker.TokeType()<>TOKE_LINECOMMENT
+				toker.NextToke()
+			Wend
+			If Not toker.Toke() Exit
+			toker.NextToke()
+		EndIf
+		line:+1
+
+		_errInfo=toker.Path()+"<"+toker.Line()+">"
+
+		If toker.TokeType()=TOKE_SPACE toker.NextToke()
+
+		If toker.Toke()<>"?"
+			If con
+				Local line$
+				While toker.Toke() And toker.Toke()<>"~n" And toker.TokeType()<>TOKE_LINECOMMENT
+					Local toke$=toker.Toke()
+					line:+toke
+					toker.NextToke()
+				Wend
+				If line source.AddLast line
+
+			EndIf
+			Continue
+		EndIf
+'DebugStop
+		Local stm$=toker.NextToke().ToLower()
+		'toker.NextToke()
+
+		Local isNot:Int = False
+
+		If stm = "not" Then
+			If toker.TokeType()=TOKE_SPACE toker.NextToke()
+			stm = toker.Toke().ToLower()
+			isNot = True
+		End If
+
+		'If stm="end" Or stm="else"
+		'	If toker.TokeType()=TOKE_SPACE toker.NextToke()
+		'	If toker.Toke().ToLower()="if"
+		'		toker.NextToke()
+		'		stm:+"if"
+		'	EndIf
+		'EndIf
+Rem
+Debug	True if program is being compiled in debug mode.
+Threaded	True if program is being compiled in threaded mode.
+Win32	True if program is being compiled for the Windows operating system.
+MacOS	True if program is being compiled for the MacOS operating system.
+Linux	True if program is being compiled for the Linux operating system.
+X86	True if program is being compiled for the Intel CPU.
+PPC	True if program is being compiled for the PowerPC CPU.
+MacOSX86	True if program is being compiled for an Intel Mac.
+MacOSPPC	True if program is being compiled for a PowerPC Mac.
+BigEndian	True if program is being compiled for a big endian CPU.
+LittleEndian
+End Rem
+		Select stm
+		Case "~r", "~n"
+			'ifnest = 0
+			con = 1
+
+		Default
+
+			con = 0
+			If Eval( toker,TType.intType ) = "1" con = 1
+
+Rem
+		Case "macos", "macosx86", "x86", "littleendian", "bigendian"
+			con = 1
+		'	If con=ifnest
+		'		If Eval( toker,TType.intType ) con:+1
+		'	EndIf
+		'
+			ifnest = 1
+
+'		Case "rem"
+'
+'			ifnest:+1
+		Case "threaded", "win32", "linux", "ppc", "win32x86", "linuxx86", "macosppc"
+
+			If isNot Then
+				con = 1
+			Else
+				con = 0
+			End If
+
+			ifnest = 1
+
+		Case "else","elseif"
+
+			If Not ifnest Err "#Else without #If"
+
+			If con=ifnest
+				con=-con
+			Else If con=ifnest-1
+				If stm="elseif"
+					If Eval( toker,TType.intType ) con:+1
+				Else
+					con:+1
+				EndIf
+			EndIf
+
+		Case "end","endif"
+
+			If Not ifnest Err "#End without #If"
+
+			ifnest:-1
+			If con<0 con=-con
+			If ifnest<con con=ifnest
+
+'		Case "print"
+
+'			If con=ifnest
+' TODO
+				'Print ReplaceEnvTags( Eval( toker,TType.stringType ) )
+'			EndIf
+
+'		Case "error"
+
+'			If con=ifnest
+' TODO
+				'Err ReplaceEnvTags( Eval( toker,TType.stringType ) )
+'			EndIf
+
+		Default
+			Err "Unrecognized preprocessor directive '"+stm+"'."
+End Rem
+		End Select
+	Forever
+
+	Return source.Join( "" )
+End Function
+
+Function ParseModule:TModuleDecl( path$,app:TAppDecl )
+
+	'Local source$=PreProcess( path )
+	Local source:String = LoadText(path)
+
+	Local toker:TToker=New TToker.Create( path,source )
+
+	Local parser:TParser=New TParser.Create( toker,app )
+
+	parser.ParseMain
+
+	Return parser._module
+End Function
+
+'***** PUBLIC API ******
+
+Function ParseApp:TAppDecl( path$ )
+
+	Local app:TAppDecl=New TAppDecl
+
+	_appInstance = app
+
+	Local source$=PreProcess( path )
+	'Local source:String = LoadString(path)
+
+	Local toker:TToker=New TToker.Create( path,source )
+
+	Local parser:TParser=New TParser.Create( toker,app )
+
+	parser.ParseMain
+
+	Return app
+End Function
+
+Function EvalS$( source$,ty:TType )
+
+	Local env:TScopeDecl=New TScopeDecl
+
+Rem
+Debug	True if program is being compiled in debug mode.
+Threaded	True if program is being compiled in threaded mode.
+Win32	True if program is being compiled for the Windows operating system.
+MacOS	True if program is being compiled for the MacOS operating system.
+Linux	True if program is being compiled for the Linux operating system.
+X86	True if program is being compiled for the Intel CPU.
+PPC	True if program is being compiled for the PowerPC CPU.
+MacOSX86	True if program is being compiled for an Intel Mac.
+MacOSPPC	True if program is being compiled for a PowerPC Mac.
+BigEndian	True if program is being compiled for a big endian CPU.
+LittleEndian
+End Rem
+
+	' debug/release
+	env.InsertDecl New TConstDecl.Create( "debug",TType.intType,New TConstExpr.Create( TType.intType,opt_debug ),0 )
+	'env.InsertDecl New TConstDecl.Create( "release",TType.intType,New TConstExpr.Create( TType.intType,opt_release ),0 )
+
+	' threaded
+	env.InsertDecl New TConstDecl.Create( "threaded",TType.intType,New TConstExpr.Create( TType.intType,opt_threaded ),0 )
+
+	' macos
+	env.InsertDecl New TConstDecl.Create( "macos",TType.intType,New TConstExpr.Create( TType.intType,opt_platform="macos" ),0 )
+	env.InsertDecl New TConstDecl.Create( "macosx86",TType.intType,New TConstExpr.Create( TType.intType,opt_platform="macos" And opt_arch="x86"),0 )
+	env.InsertDecl New TConstDecl.Create( "macosppc",TType.intType,New TConstExpr.Create( TType.intType,opt_platform="macos" And opt_arch="ppc"),0 )
+	env.InsertDecl New TConstDecl.Create( "macosx64",TType.intType,New TConstExpr.Create( TType.intType,opt_platform="macos" And opt_arch="x64"),0 )
+
+	' windows
+	env.InsertDecl New TConstDecl.Create( "win32",TType.intType,New TConstExpr.Create( TType.intType,opt_platform="win32" ),0 )
+	env.InsertDecl New TConstDecl.Create( "win32x64",TType.intType,New TConstExpr.Create( TType.intType,(opt_platform="win64" And opt_arch="x64") Or (opt_platform="win32" And opt_arch="x64")),0 )
+	env.InsertDecl New TConstDecl.Create( "win64",TType.intType,New TConstExpr.Create( TType.intType,(opt_platform="win64" And opt_arch="x64") Or (opt_platform="win32" And opt_arch="x64")),0 )
+
+	' linux
+	env.InsertDecl New TConstDecl.Create( "linux",TType.intType,New TConstExpr.Create( TType.intType,opt_platform="linux" ),0 )
+	env.InsertDecl New TConstDecl.Create( "linuxx86",TType.intType,New TConstExpr.Create( TType.intType,opt_platform="linux" And opt_arch="x86"),0 )
+	env.InsertDecl New TConstDecl.Create( "linuxx64",TType.intType,New TConstExpr.Create( TType.intType,opt_platform="linux" And opt_arch="x64"),0 )
+	env.InsertDecl New TConstDecl.Create( "linuxARM",TType.intType,New TConstExpr.Create( TType.intType,opt_platform="linux" And opt_arch="arm"),0 )
+
+	' arch
+	env.InsertDecl New TConstDecl.Create( "ppc",TType.intType,New TConstExpr.Create( TType.intType,opt_arch="ppc" ),0 )
+	env.InsertDecl New TConstDecl.Create( "x86",TType.intType,New TConstExpr.Create( TType.intType,opt_arch="x86" ),0 )
+	env.InsertDecl New TConstDecl.Create( "x64",TType.intType,New TConstExpr.Create( TType.intType,opt_arch="x64" ),0 )
+	env.InsertDecl New TConstDecl.Create( "arm",TType.intType,New TConstExpr.Create( TType.intType,opt_arch="arm" ),0 )
+
+	' endian
+	env.InsertDecl New TConstDecl.Create( "bigendian",TType.intType,New TConstExpr.Create( TType.intType,opt_arch="ppc" ),0 )
+	env.InsertDecl New TConstDecl.Create( "littleendian",TType.intType,New TConstExpr.Create( TType.intType,opt_arch<>"ppc" ),0 )
+
+'	env.InsertDecl New TConstDecl.Create( "LANG",TType.stringType,New TConstExpr.Create( TType.stringType,ENV_LANG ),0 )
+'	env.InsertDecl New TConstDecl.Create( "TARGET",TType.stringType,New TConstExpr.Create( TType.stringType,ENV_TARGET ),0 )
+'	env.InsertDecl New TConstDecl.Create( "CONFIG",TType.stringType,New TConstExpr.Create( TType.stringType,ENV_CONFIG ),0 )
+
+	PushEnv env
+
+	Local toker:TToker=New TToker.Create( "",source )
+
+	Local parser:TParser=New TParser.Create( toker,Null )
+
+	Local expr:TExpr=parser.ParseExpr()
+
+	expr=expr.Semant()
+
+	If ty expr=expr.Cast( ty )
+
+	Local val$=expr.Eval()
+
+	PopEnv
+
+	Return val
+End Function
+
+Type TCastDets
+
+	Field name:String
+	Field retType:String
+	Field noGen:Int
+	Field args:String[0]
+
+End Type
+