Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

spec: add a formal definition of the source language #100

Merged
merged 12 commits into from
Dec 30, 2024
Merged

spec: add a formal definition of the source language #100

Show file tree
Hide file tree
Changes from 5 commits
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
72010ab
spec: add a formal definition of the source language
zerbina Dec 27, 2024
38a06e8
spec: minor rewording
zerbina Dec 27, 2024
a490313
koch: update the specification's file name
zerbina Dec 27, 2024
9d99280
ci: update the reference to the source lang specification
zerbina Dec 27, 2024
8ca29c0
spec: fix the parameter declaration grammar
zerbina Dec 28, 2024
31f2fb7
spec: fix some minor issues
zerbina Dec 28, 2024
82a0f74
spec: disallow type expressions in non-type context
zerbina Dec 28, 2024
36e6116
spec: minor formatting fixes
zerbina Dec 28, 2024
daf9bb7
spec: don't allow duplicate names for parameters
zerbina Dec 28, 2024
1c9ed28
spec: restore previous tuple behaviour
zerbina Dec 28, 2024
d1bbcd9
spec: add missing `Return` step
zerbina Dec 28, 2024
df09bb0
fix a few typos
zerbina Dec 30, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .github/workflows/build_and_test.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -101,4 +101,4 @@ jobs:
run: bin/passtool verify passes lang30

- name: "Check the source language grammar"
run: bin/passtool verify spec spec
run: bin/passtool verify spec specification
4 changes: 2 additions & 2 deletions koch.nim
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -71,8 +71,8 @@ proc generateModules(dir: string) =
# generate the modules:
require run(passtool, "gen-checks", "passes", "lang30", "passes/spec",
dir / "*_checks.nim")
require run(passtool, "gen-checks", "spec", "spec", "passes/spec_source",
dir / "source_checks.nim")
require run(passtool, "gen-checks", "spec", "specification",
"passes/spec_source", dir / "source_checks.nim")

proc buildSingle(args: string): bool

Expand Down
3 changes: 3 additions & 0 deletions spec/spec.md → spec/spec_old.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
## Phy Specification

> Note: this document is outdated an no longer authoritative. It's kept around
> for some of it's ideas/directions that haven't been formalized yet.

This document describes the semantics of the source language.

A *program* consists of a single *module*. A *module* consists of zero or more
Expand Down
Loading