wyvernlang / wyvern

The Wyvern programming language.

http://wyvernlang.github.io/

wyvernlang/wyvern Issues

Immutable Collections
Updated 4 years ago
Type checking of type members invariance is broken
Updated 4 years ago
python translation doesn't support nested "let" bindings
Updated 4 years ago
Effects are not checked for subtyping of DefDeclType
Updated 4 years ago
Option sugar
Updated 5 years ago2
Effect declarations should be allowed anywhere in a module
Closed 5 years ago1
Unable to define a resource type member
Updated 5 years ago
Types aren't handled properly in arrow types
Closed 5 years ago
Fail to check incompatible types of the return values of if and else arms
Updated 5 years ago
Issue with substituting `this` in effect annotations
Closed 5 years ago5
system.FFI effect doesn't "subsume" other effects
Updated 5 years ago2
Method effect annotations may differ between type and module
Updated 5 years ago1
import Java types from Wyvern
Closed 5 years ago1
Can’t use arrow types in module defs
Closed 5 years ago1
Support concatenation between Character literals and String literals
Updated 5 years ago
Support comparisons between boolean literals using operators like ==, !=
Updated 5 years ago
weird error importing options
Closed 5 years ago
functions should be values
Updated 5 years ago1
add mechanism for hiding information across files
Updated 5 years ago3
Add syntactic sugar "class"
Updated 5 years ago1
Support Command Line Arguments For Wyvern Interpreter
Updated 5 years ago
Support limited sharing of type/effect definitions.
Closed 5 years ago1
support multi-line lambdas
Closed 5 years ago2
supertype of all tagged types
Updated 5 years ago
implement type inheritance
Updated 5 years ago1
Effect bound for branch is not computed conservatively
Updated 5 years ago1
support an effect hierarchy
Updated 5 years ago
Quantification lifter can not lift arraylist module
Updated 5 years ago
Crash on var assignment of parameter with the same name
Updated 5 years ago2
Runtime ClassCastException with ValDeclType
Closed 5 years ago2
compute effects of lambdas
Updated 6 years ago1
effect annotations on module defs
Updated 6 years ago1
Check that a file is consistently annotated with effects
Updated 6 years ago
Strange error message when declaring type in which variable and method have same name
Closed 6 years ago
make DSL locations more deterministic
Updated 6 years ago1
Use TSLs for String/character literals
Updated 6 years ago
Script with only imports should compile and run
Updated 6 years ago
better support for multi-word method names
Updated 6 years ago
Extends not type safe
Closed 6 years ago
Broken method lookup in nested `new`s with generics
Closed 6 years ago5
All types are extensible?
Updated 6 years ago2
Effects declared in a pure module can’t be used inside it
Closed 6 years ago1
copy metadata into type properly
Updated 6 years ago
Effects aren't checked in types
Closed 6 years ago
Can't use imported modules in types
Closed 6 years ago
Effects in .wyt file with imports do not compile
Closed 6 years ago
Add polymorphic datatypes
Closed 6 years ago
Match broken on datatypes in other modules
Closed 6 years ago
Cannot use datatype from another module
Closed 6 years ago1
Default case in match expression not parsed
Closed 6 years ago1