Skip to content

Properties.getProperty should return Maybe #385

@matil019

Description

@matil019

java.util.Properties.getProperty returns null if the specified entry doesn't exist. The native declaration in frege.java.Util should reflect that by returning a ST s (Maybe String).

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions