Tiger compiler

• compiler for Andrew Appel's Tiger language with a few tweaks.
• written in Free Pascal.
• compiles to inefficient assembly language for Mac OS X86_64.
• hand written recursive descent lexer and parser.

Differences from the Tiger book

• mod (integer division remainder) operator.
• & operator (logical and) changed to and.
• | operator (logical or) changed to or.
• boolean data type. Relational operators return booleans, true and false are pre-defined contants.
• char data type. Char literals are # followed by a single letter in quotation marks. eg #"a" or escape sequences #"\n".
• file data type (C FILE* pointer)
• sequences are enclosed in begin and end instead of parentheses.
• semicolon separators are optional between expressions in sequences.
• variable declarations: var keyword not used, format is <id>[: <type>] = <exp> (uses = instead of :=).
• function declarations: function keyword not used, format is <id>([<id>: <type> {, <id>: <type>}]) = <exp>.
• strings can include line breaks and span multiple lines.
• comments are SML style (* ... *)
• no nested comments
• type aliases are not implemented.
• break is not implemented.
• string comparison operators (<, <=, >, >=) not implemented -- use string_compare function instead.
• use "<file_name>" to include external definition file in let declaration block
• enum types. type <id> = <id>{| <id>}. Example type color = red | green | blue.
• case expression case <exp> of <const> : <exp> {| <const> : <exp>} else <exp>.

To do

• array bounds checking
• tail call optimization
• anonymous functions, first class functions
• type inference
• closures
• array literals
• garbage collector
• algebraic types and polymorphic functions
• modules
• optimization
• ffi
• unicode
• alternate backends

Standard Library

IO

Constants

• STD_INPUT
• STD_OUTPUT
• STD_ERROR
• EOF

Functions

• open_input(path: string): file
• open_output(path: string): file
• close_file(f: file)
• getchar(): char
• putchar(c: char)
• file_getchar(f: file): char
• file_putchar(c: char, f: file)
• write(s: string)
• writeln(s: string)
• file_write(s: string, f: file)
• file_writeln(s: string, f: file)
• command_argcount(): int
• command_arg(n: int): string
• halt(n: int)

Conversion

• str(i: int): string (converts int to string)
• num(s: string): int (converts string to int) (todo)
• ord(ch: char): int
• chr(n: int): char

Strings

• length(s: string): int
• substring(s: string, start: int, len: int): string
• string_concat(s1: string, s2: string): string
• string_compare(s1: string, s2: string): int
• make_string(size: int): string

Booleans

• true
• false
• not(b: bool): bool

Chars

• is_digit(c: char): bool
• is_space(c: char): bool
• is_upper(c: char): bool
• is_lower(c: char): bool
• is_alpha(c: char): bool

Integers

• min(m: int, n: int): int
• max(m: int, n: int): int