Allow for deferred assignment #43

New issue

Open

opened 2023-06-02 20:13:51 +02:00 by samvv · 0 comments

samvv commented

2023-06-02 20:13:51 +02:00

(Migrated from github.com)

As discussed in issue #42, it should be possible to omit the body of a variable expression and only have it assigned later in the program.

Eventually, this will require a program that can track the control-flow of Bolt source code, as in the following example:

let foo : Int

if toss.
  foo = 1 # branch 1
else.
  foo = 2 # branch 2

foo # correct: both branches assigned a value

As discussed in issue #42, it should be possible to omit the body of a variable expression and only have it assigned later in the program. Eventually, this will require a program that can track the control-flow of Bolt source code, as in the following example: ``` let foo : Int if toss. foo = 1 # branch 1 else. foo = 2 # branch 2 foo # correct: both branches assigned a value ```

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: samvv/bolt#43

No description provided.