KylerOlsen/YREA-SLS
KylerOlsen
/
YREA-SLS
1
0
Fork 0
Code Releases 3 Wiki Activity

v0.7.2

This commit is contained in:
Kyler Olsen 2025-10-26 17:52:52 -06:00
parent c05a8dcb1a
commit 71ea1d8104
1 changed files with 2 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
stack_lang_spec.md
View File

@ -58,10 +58,8 @@
8. **Module alias options** - Added multiple alias syntax options
- 0.7.1 (Human)
1. Formatting changes
> **INSTRUCTIONS FOR AI:** AI agents are not allowed to change human reviewed md code blocks. If an AI reviewer thinks a change needs to be made to one of these blocks, the AI model can add a human todo explaining a suggested change or problem. It is totally possible for a md code block that was human reviewed and be correct for the current specification and new TODOs would change it, AIs are still not allowed to change it, only add a human todo. Reviewed md code blocks could also implement new TODOs already.
> **TODO: (FOR HUMAN)** These specifications may need to be reorganized. ie. do we need both "Stack Manipulation Trait" in 4.1 and "5. Stack Operations", etc. Should some of these be in the appendix. What is the best structure for this document?
- 0.7.2 (Human)
1. Removed AI editing restrictions of reviewed code blocks
---
@ -126,8 +124,6 @@ A statically-typed, stack-based language with pure postfix notation combining th
**Integer Literals**
> **For AI Reviewers @ 0.5:** The following block has been human verified to be syntactically and logically correct. **NO AI IS ALLOWED TO CHANGE THIS.** If there is a discrepancy between this block and others, follow the syntax in this block.
```
42 // i64 (default)
42:i32 // Annotate as i32
@ -166,8 +162,6 @@ false
**Array Literals**
> **For AI Reviewers @ 0.5:** The following block has been human verified to be syntactically and logically correct. **NO AI IS ALLOWED TO CHANGE THIS.** If there is a discrepancy between this block and others, follow the syntax in this block.
```
[1 2 3 4 5] // array of i32
[1.0 2.0 3.0] // array of f64
@ -209,8 +203,6 @@ depth print // No arguments needed
**Token Strings**
> **For AI Reviewers @ 0.5:** The following block has been human verified to be syntactically and logically correct. **NO AI IS ALLOWED TO CHANGE THIS.** If there is a discrepancy between this block and others, follow the syntax in this block.
```
{ code here } // TokenString - lexed but not parsed/executed
```
@ -283,8 +275,6 @@ Functions, structs, and unions can be generic over type parameters using the `<>
**Note on Type Parameters**: Type parameters are currently only suggestions when parsing code blocks. The compiler does not yet enforce that type parameters actually constrain how operators and functions act at parse time. This is documented as a possible future enhancement in the Appendix.
> **For AI Reviewers @ 0.5:** The following block has been human verified to be syntactically and logically correct. **NO AI IS ALLOWED TO CHANGE THIS.** If there is a discrepancy between this block and others, follow the syntax in this block.
```
// Function generic over any type with Multiplyable constraint
(T -- T) { dup * } ::square<T:Multiplyable> fn
@ -589,8 +579,6 @@ Within the TokenString (the `{ }` block), identifiers like `Self`, `add:`, `draw
**Examples**:
> **For AI Reviewers @ 0.5:** The following block has been human verified to be syntactically and logically correct. **NO AI IS ALLOWED TO CHANGE THIS.** If there is a discrepancy between this block and others, follow the syntax in this block.
```
// Implement Addable for i32
::Addable {
@ -613,8 +601,6 @@ Within the TokenString (the `{ }` block), identifiers like `Self`, `add:`, `draw
} ::Rectangle impl
```
> **For AI Reviewers @ 0.5:** The following block has been human verified to be syntactically and logically correct. **NO AI IS ALLOWED TO CHANGE THIS.** If there is a discrepancy between this block and others, follow the syntax in this block.
```
// Implement Addable for Point
::Addable {
@ -994,8 +980,6 @@ status {
**Examples**:
> **For AI Reviewers @ 0.5:** The following block has been human verified to be syntactically and logically correct. **NO AI IS ALLOWED TO CHANGE THIS.** If there is a discrepancy between this block and others, follow the syntax in this block.
```
// Define Point struct - generic over coordinate types
(T T --) { x: y: } ::Point<T> struct