wyvernlang/wyvern

Issues

• Immutable Collections

  #387 opened 5 years ago by FrankC01
  0

• Type checking of type members invariance is broken

  #374 opened 5 years ago by potanin
  0

• python translation doesn't support nested "let" bindings

  #371 opened 5 years ago by JonathanAldrich
  0

• Effects are not checked for subtyping of DefDeclType

  #368 opened 5 years ago by anlunx
  0

• Option sugar

  #297 opened 6 years ago by JonathanAldrich
  2

• Effect declarations should be allowed anywhere in a module

  #354 opened 5 years ago by Darya-
  1

• Unable to define a resource type member

  #357 opened 5 years ago by selvasamuel
  0

• Types aren't handled properly in arrow types

  #345 opened 5 years ago by Darya-
  0

• Fail to check incompatible types of the return values of if and else arms

  #351 opened 5 years ago by sychoo
  0

• Issue with substituting `this` in effect annotations

  #343 opened 5 years ago by Darya-
  5

• system.FFI effect doesn't "subsume" other effects

  #349 opened 5 years ago by Darya-
  2

• Method effect annotations may differ between type and module

  #347 opened 5 years ago by Darya-
  1

• import Java types from Wyvern

  #325 opened 5 years ago by JonathanAldrich
  1

• Can’t use arrow types in module defs

  #332 opened 5 years ago by JonathanAldrich
  1

• Support concatenation between Character literals and String literals

  #337 opened 6 years ago by sychoo
  0

• Support comparisons between boolean literals using operators like ==, !=

  #334 opened 6 years ago by sychoo
  0

• weird error importing options

  #330 opened 6 years ago by JonathanAldrich
  0

• functions should be values

  #296 opened 6 years ago by JonathanAldrich
  1

• add mechanism for hiding information across files

  #314 opened 6 years ago by JonathanAldrich
  3

• Add syntactic sugar "class"

  #328 opened 6 years ago by sychoo
  1

• Support Command Line Arguments For Wyvern Interpreter

  #326 opened 6 years ago by sychoo
  0

• Support limited sharing of type/effect definitions.

  #329 opened 6 years ago by sychoo
  1

• support multi-line lambdas

  #290 opened 6 years ago by JonathanAldrich
  2

• supertype of all tagged types

  #324 opened 6 years ago by JonathanAldrich
  0

• implement type inheritance

  #289 opened 6 years ago by JonathanAldrich
  1

• Effect bound for branch is not computed conservatively

  #318 opened 6 years ago by anlunx
  1

• support an effect hierarchy

  #321 opened 6 years ago by JonathanAldrich
  0

• Quantification lifter can not lift arraylist module

  #317 opened 6 years ago by anlunx
  0

• Crash on var assignment of parameter with the same name

  #313 opened 6 years ago by potanin
  2

• Runtime ClassCastException with ValDeclType

  #298 opened 6 years ago by potanin
  2

• compute effects of lambdas

  #294 opened 6 years ago by JonathanAldrich
  1

• effect annotations on module defs

  #295 opened 6 years ago by JonathanAldrich
  1

• Check that a file is consistently annotated with effects

  #293 opened 6 years ago by JonathanAldrich
  0

• Strange error message when declaring type in which variable and method have same name

  #246 opened 6 years ago by hcnelson99
  0

• make DSL locations more deterministic

  #291 opened 6 years ago by JonathanAldrich
  1

• Use TSLs for String/character literals

  #247 opened 7 years ago by JonathanAldrich
  0

• Script with only imports should compile and run

  #245 opened 7 years ago by craigthelinguist
  0

• better support for multi-word method names

  #292 opened 6 years ago by JonathanAldrich
  0

• Extends not type safe

  #248 opened 6 years ago by hcnelson99
  0

• Broken method lookup in nested `new`s with generics

  #250 opened 6 years ago by hcnelson99
  5

• All types are extensible?

  #254 opened 7 years ago by hcnelson99
  2

• Effects declared in a pure module can’t be used inside it

  #286 opened 6 years ago by Darya-
  1

• copy metadata into type properly

  #288 opened 6 years ago by JonathanAldrich
  0

• Effects aren't checked in types

  #285 opened 6 years ago by Darya-
  0

• Can't use imported modules in types

  #269 opened 6 years ago by Darya-
  0

• Effects in .wyt file with imports do not compile

  #251 opened 7 years ago by justinlubin
  0

• Add polymorphic datatypes

  #238 opened 7 years ago by justinlubin
  0

• Match broken on datatypes in other modules

  #253 opened 7 years ago by hcnelson99
  0

• Cannot use datatype from another module

  #252 opened 7 years ago by hcnelson99
  1

• Default case in match expression not parsed

  #239 opened 7 years ago by justinlubin
  1