Python runtime: Fix source positions linked to run-time errors (#401)

This commit is contained in:
Denis Merigoux 2023-02-21 10:27:01 +01:00 committed by GitHub
commit 830ec0e60c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -368,22 +368,22 @@ class EmptyError(Exception):
class AssertionFailed(Exception):
def __init__(self, source_position: SourcePosition) -> None:
self.source_position = SourcePosition
self.source_position = source_position
class ConflictError(Exception):
def __init__(self, source_position: SourcePosition) -> None:
self.source_position = SourcePosition
self.source_position = source_position
class NoValueProvided(Exception):
def __init__(self, source_position: SourcePosition) -> None:
self.source_position = SourcePosition
self.source_position = source_position
class AssertionFailure(Exception):
def __init__(self, source_position: SourcePosition) -> None:
self.source_position = SourcePosition
self.source_position = source_position
# ============================