pascal 0.1.1

A Pascal compiler in rust implementation with MCP support
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96

# SPEC - pascal-rs Pascal Compiler

## Overview

pascal-rs is a Pascal compiler and interpreter written in Rust. It provides both compilation to x86-64 assembly and direct interpretation of Pascal programs.

## CLI Commands

| Command | Description |
|---------|-------------|
| `pascal compile <file>` | Compile a Pascal source file |
| `pascal run <file>` | Interpret/run a Pascal program |
| `pascal info <ppu>` | Show PPU file information |
| `pascal clean [dir]` | Remove compiled PPU files |

### Compile Options

| Flag | Description |
|------|-------------|
| `-o, --output <dir>` | Output directory (default: `.`) |
| `-O <level>` | Optimization level 0-3 |
| `-S, --asm` | Generate assembly output |
| `-g, --debug` | Generate debug info |
| `-v, --verbose` | Verbose output |
| `-j, --parallel` | Enable parallel compilation |
| `-I, --include <path>` | Additional search paths |

## Supported Pascal Constructs

### Data Types
- `integer` - 64-bit signed integer
- `real` - 64-bit floating point
- `boolean` - true/false
- `char` - single character
- `string` - string type
- `array` - static arrays with index ranges
- `record` - structured types
- `pointer` - pointer types

### Statements
- `assignment` - `:=` operator
- `if/then/else` - conditional
- `while/do` - pre-test loop
- `for/to/downto/do` - counted loop
- `repeat/until` - post-test loop
- `case/of` - multi-way branch
- `begin/end` - compound statement
- `procedure call` - with or without arguments

### Expressions
- Arithmetic: `+`, `-`, `*`, `/`, `div`, `mod`
- Comparison: `=`, `<>`, `<`, `>`, `<=`, `>=`
- Logical: `and`, `or`, `not`, `xor`
- Bitwise: `shl`, `shr`
- String concatenation: `+`
- Function calls
- Unary: `-`, `+`, `not`

### Declarations
- `program` header with optional `uses` clause
- `const` section
- `type` section
- `var` section (supports comma-separated names)
- `function` declarations with parameters and return type
- `procedure` declarations with parameters

## Interpreter Built-ins

### Procedures
- `write(args...)` - output without newline
- `writeln(args...)` - output with newline
- `readln(var)` - read line from stdin
- `inc(var [, amount])` - increment
- `dec(var [, amount])` - decrement
- `halt([code])` - exit program

### Functions
- Math: `abs`, `sqr`, `sqrt`, `sin`, `cos`, `ln`, `exp`
- Conversion: `round`, `trunc`, `ord`, `chr`, `inttostr`, `strtoint`
- String: `length`, `concat`, `copy`, `pos`, `upcase`, `lowercase`
- Ordinal: `odd`, `succ`, `pred`
- Other: `random`

## Compilation Pipeline

```
Source (.pas) → Lexer → Parser → AST → [Optimizer] → Code Generator → Assembly (.asm)
                                    ↘ Interpreter (direct execution)
```

## Module System

- Units with `interface` and `implementation` sections
- PPU (Precompiled Unit) files for caching
- Module dependency resolution
- Parallel compilation support via rayon