search

fmease / lushui

The reference compiler of the Lushui programming language
Apache License 2.0
5 stars 0 forks source link

Local bindings should not shadow namespaces #82

Closed fmease closed 2 years ago

fmease commented 3 years ago

Meta: Task: Expand and list exceptions.

Example of what should be possible but is not right now:

use extern.core.nat.Nat

module folder of
    use extern.core.nat.(Nat *)

    @public
    double: Nat -> Nat = * 2

focus: Nat =
    let folder = 90
    in folder.double folder ;;; yields `180`