aboutsummaryrefslogtreecommitdiff
path: root/BUGS
blob: e10c72078d20f38e176244e58a3a4312d86fbb7e (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
1.  Nested functions should inherit constants from parent scopes, but not
    local variables.  At the moment the former works, but when trying to
    (incorrectly) use a local variable from an outer scope in an inner
    function, the compiler crashes:

        foo :: () {
            x := 42;
            X :: 69;

            bar :: () int { return x; } /* not fine; breaks */
            baz :: () int { return X; } /* totally fine */
        }

    This is presumably due to the compiler maintaining a single tree of
    scopes where a scope contains information for both constants and
    variables.  If this is indeed the cause, then there should most
    probably be separate scope-trees; one which has scopes for constants,
    and one which has scopes for variables.

2.  Recursive functions crash the compiler.

        foo :: () { return foo(); } /* breaks */