chore: prepare v0.3.0 release

Author: 0xpantera

CHANGELOG.md

@@ -55,4 +55,19 @@
 - Added record syntax for multi-field data constructors
 - Standardized naming conventions in core types
 - Simplified token type names
-- Made qualified imports consistent across modules
+- Made qualified imports consistent across modules
+
+## 0.3.0.0 -- 2024-11-27
+
+### Added
+- Support for binary operators:
+  - Addition
+  - Subtraction  
+  - Multiplication
+  - Division
+  - Remainder
+- Precedence climbing parser for handling operator precedence
+- New assembly instructions for binary operations (add, sub, imul, idiv)
+- Proper handling of division and remainder with EAX/EDX registers
+- Sign extension support using cdq instruction
+- Updated instruction fix-up pass for binary operation constraints

README.md

@@ -29,50 +29,49 @@ Programs are represented internally using a series of increasingly lower-level d
 1. **Abstract Syntax Tree (AST)**:
   ```haskell
   data Program = Program Function
-  data Function = Function 
-    { name :: Text
-    , body :: Statement 
-    }
+  data Function = Function Text Statement
   data Statement = Return Expr
   data Expr
-    = Constant { value :: Int }
-    | Unary { operator :: UnaryOp, operand :: Expr }
+    = Constant Int
+    | Unary UnaryOp Expr
+    | Binary BinaryOp Expr Expr
   data UnaryOp = Complement | Negate
+  data BinaryOp = Add | Subtract | Multiply | Divide | Remainder
   ```
 
 2. **TACKY IR**:
   ```haskell
   data Program = Program Function
-  data Function = Function 
-    { name :: Text
-    , body :: [Instruction]
-    }
+  data Function = Function Text [Instruction]
   data Instruction
-    = Return { value :: Val }
-    | Unary { operator :: UnaryOp, src :: Val, dst :: Val }
+    = Return Val
+    | Unary UnaryOp Val Val
+    | Binary BinaryOp Val Val Val
   data Val = Constant Int | Var Text
   data UnaryOp = Complement | Negate
+  data BinaryOp = Add | Subtract | Multiply | Divide | Remainder
   ```
 
 3. **Assembly AST**:
   ```haskell
   data Program = Program Function
-  data Function = Function 
-    { name :: Text
-    , instructions :: [Instruction]
-    }
+  data Function = Function Text [Instruction]
   data Instruction
-    = Mov { src :: Operand, dst :: Operand }
-    | Unary { operator :: UnaryOp, operand :: Operand }
-    | AllocateStack { bytes :: Int }
+    = Mov Operand Operand
+    | Unary UnaryOp Operand
+    | Binary BinaryOp Operand Operand
+    | Idiv Operand
+    | Cdq
+    | AllocateStack Int
     | Ret
   data Operand 
     = Imm Int 
     | Register Reg
     | Pseudo Text
     | Stack Int
   data UnaryOp = Neg | Not
-  data Reg = Ax | R10
+  data BinaryOp = Add | Sub | Mult
+  data Reg = Ax | DX | R10 | R11
   ```
 
 
@@ -220,7 +219,7 @@ The compiler provides detailed error reporting for:
 ### The Basics
 - [x] A minimal compiler
 - [x] Unary operators
-- [ ] Binary operators
+- [x] Binary operators
 - [ ] Logical and relational operators
 - [ ] Local variables
 - [ ] if statements and conditional expressions

halcyon.cabal

@@ -1,6 +1,6 @@
 cabal-version:      3.0
 name:               halcyon
-version:            0.2.2.0
+version:            0.3.0.0
 -- synopsis:
 -- description:
 license:            BSD-3-Clause