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

Jump to bottom

Better section parsing #91

Merged
merged 1 commit into from
Sep 22, 2023
Merged

Better section parsing #91

merged 1 commit into from
Sep 22, 2023

Conversation

fizruk
Copy link
Member

@fizruk fizruk commented Sep 22, 2023 •
edited

Closes #90.

More specifically, this is now the output for the minimal example:

#lang rzk-1
#section left-open

Loading file /Users/nikolaikudasov/git/rzk-lang/rzk/test.rzk
Checking module from /Users/nikolaikudasov/git/rzk-lang/rzk/test.rzk
An error occurred when typechecking!
Type Error:
Definitions in context:


Local tope context:
  ⊤

/Users/nikolaikudasov/git/rzk-lang/rzk/test.rzk:
  Error occurred when checking
    #section left-open

Section left-open is not closed with an #end

@fizruk fizruk merged commit c01b4f3 into develop Sep 22, 2023
2 checks passed
@fizruk fizruk deleted the better-section-parsing branch September 22, 2023 20:45
@fizruk fizruk mentioned this pull request Sep 23, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Syntax error on sections left open at the end of a file
1 participant
@fizruk