wyvernlang/wyvern issues and pull requests

#399 - Bump cacheable-request and nodemon in /frontend

Pull Request - State: open - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#398 - Bump http-cache-semantics from 4.1.0 to 4.1.1 in /frontend

Pull Request - State: open - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#397 - Bump ws from 5.2.2 to 5.2.3 in /frontend

Pull Request - State: closed - Opened by dependabot[bot] about 2 years ago - 1 comment
Labels: dependencies

#396 - Bump ejs from 2.6.1 to 3.1.7 in /frontend

Pull Request - State: closed - Opened by dependabot[bot] about 2 years ago - 1 comment
Labels: dependencies

#395 - Bump jsdom from 11.12.0 to 16.5.0 in /frontend

Pull Request - State: closed - Opened by dependabot[bot] about 2 years ago - 1 comment
Labels: dependencies

#394 - Bump protobufjs from 6.8.6 to 6.11.3 in /native/javascript

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago - 1 comment
Labels: dependencies

#393 - Bump undefsafe from 2.0.2 to 2.0.5 in /frontend

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago - 1 comment
Labels: dependencies

#392 - Bump path-parse from 1.0.6 to 1.0.7 in /frontend

Pull Request - State: open - Opened by dependabot[bot] about 3 years ago
Labels: dependencies

#391 - Bump lodash from 4.17.19 to 4.17.21 in /frontend

Pull Request - State: closed - Opened by dependabot[bot] over 3 years ago - 1 comment
Labels: dependencies

#390 - Effect members and annotations for imported Java code

Pull Request - State: open - Opened by maxeonyx over 3 years ago

#389 - Bump lodash from 4.17.15 to 4.17.19 in /frontend

Pull Request - State: closed - Opened by dependabot[bot] about 4 years ago
Labels: dependencies

#388 - Type members

Pull Request - State: closed - Opened by tmoux about 4 years ago - 2 comments

#387 - Immutable Collections

Issue - State: open - Opened by FrankC01 about 4 years ago

#386 - Adding multi-argument functions

Pull Request - State: closed - Opened by tmoux about 4 years ago - 1 comment

#385 - adding subtyping rules and examples

Pull Request - State: closed - Opened by tmoux about 4 years ago - 1 comment

#384 - binding/typechecking of lambdas

Pull Request - State: closed - Opened by tmoux about 4 years ago

#383 - Update to bound AST

Pull Request - State: closed - Opened by tmoux about 4 years ago - 1 comment

#382 - update tests--Fn test will add later

Pull Request - State: closed - Opened by tmoux about 4 years ago

#381 - Tidy up running

Pull Request - State: closed - Opened by potanin about 4 years ago

#380 - adding new expr and type checking

Pull Request - State: closed - Opened by tmoux over 4 years ago

#379 - adding fields and T-field rule

Pull Request - State: closed - Opened by tmoux over 4 years ago - 1 comment

#378 - adding member function type declarations--now 1+1 can be typed

Pull Request - State: closed - Opened by tmoux over 4 years ago

#377 - start of typechecker

Pull Request - State: closed - Opened by tmoux over 4 years ago - 1 comment

#376 - Merge pull request #1 from wyvernlang/master

Pull Request - State: closed - Opened by tmoux over 4 years ago - 1 comment

#375 - adding numbers

Pull Request - State: closed - Opened by tmoux over 4 years ago - 1 comment

#374 - Type checking of type members invariance is broken

Issue - State: open - Opened by potanin over 4 years ago

#373 - Bump acorn from 5.7.3 to 5.7.4 in /frontend

Pull Request - State: closed - Opened by dependabot[bot] over 4 years ago
Labels: dependencies

#372 - Make function calls from Java have the FFI effect

Pull Request - State: closed - Opened by anlunx over 4 years ago

#371 - python translation doesn't support nested "let" bindings

Issue - State: open - Opened by JonathanAldrich over 4 years ago
Labels: bug, someday

#370 - Add the ThemePlugin and UIEffects type

Pull Request - State: closed - Opened by anlunx over 4 years ago

#369 - Add text editor 2

Pull Request - State: closed - Opened by anlunx over 4 years ago

#368 - Effects are not checked for subtyping of DefDeclType

Issue - State: open - Opened by anlunx over 4 years ago

#367 - Add effect hierarchy

Pull Request - State: closed - Opened by anlunx over 4 years ago

#366 - Support explicit option type conversion from T? to T using "!" operator

Pull Request - State: closed - Opened by sychoo over 4 years ago

#365 - Supported implicit option type conversion for var declarations.

Pull Request - State: closed - Opened by sychoo almost 5 years ago

#364 - Added examples of implicit type conversion in both example folder and OIRTests. Fixed minor problems regarding option type check.

Pull Request - State: closed - Opened by sychoo almost 5 years ago

#363 - Fix EQARROW not resetting flagTok

Pull Request - State: closed - Opened by zyx-billy almost 5 years ago

#362 - Fix Lexer flagTok not always reset

Pull Request - State: closed - Opened by zyx-billy almost 5 years ago - 1 comment

#361 - Option Type Sugar: Supported Implicit Type Conversion for Assignment Statements and Val Declarations

Pull Request - State: closed - Opened by sychoo almost 5 years ago - 2 comments

#360 - Annotates text-editor application with effects

Pull Request - State: closed - Opened by Darya- almost 5 years ago

#359 - Supported Option Type Syntactic Sugar

Pull Request - State: closed - Opened by sychoo almost 5 years ago - 1 comment

#358 - Resolved issue 214, added short circuit evaluation for "boolean and" and "boolean or" operation.

Pull Request - State: closed - Opened by sychoo almost 5 years ago

#357 - Unable to define a resource type member

Issue - State: open - Opened by selvasamuel almost 5 years ago

#356 - Fix handling of octal escape sequences in string literals

Pull Request - State: closed - Opened by selvasamuel almost 5 years ago

#355 - Resolved issue 214, added short circuit evaluation for "boolean and" and "boolean or" operation.

Pull Request - State: closed - Opened by sychoo almost 5 years ago

#354 - Effect declarations should be allowed anywhere in a module

Issue - State: closed - Opened by Darya- almost 5 years ago - 1 comment
Labels: bug, priority: high

#353 - Deleted Parameterized Option Type Module

Pull Request - State: closed - Opened by sychoo almost 5 years ago

#352 - Meeting

Pull Request - State: closed - Opened by anlunx about 5 years ago

#351 - Fail to check incompatible types of the return values of if and else arms

Issue - State: open - Opened by sychoo about 5 years ago

#350 - Bump mixin-deep from 1.3.1 to 1.3.2 in /frontend

Pull Request - State: closed - Opened by dependabot[bot] about 5 years ago
Labels: dependencies

#349 - system.FFI effect doesn't "subsume" other effects

Issue - State: open - Opened by Darya- about 5 years ago - 2 comments
Labels: bug, priority: high

#348 - Bump lodash from 4.17.11 to 4.17.15 in /frontend

Pull Request - State: closed - Opened by dependabot[bot] about 5 years ago
Labels: dependencies

#347 - Method effect annotations may differ between type and module

Issue - State: open - Opened by Darya- about 5 years ago - 1 comment
Labels: bug, priority: high

#346 - Network I/O

Pull Request - State: closed - Opened by jennyafish about 5 years ago

#345 - Types aren't handled properly in arrow types

Issue - State: closed - Opened by Darya- about 5 years ago
Labels: bug, priority: high

#344 - Splits the FFI effect into two: FFIWrite and FFIRead

Pull Request - State: closed - Opened by Darya- about 5 years ago - 2 comments

#343 - Issue with substituting `this` in effect annotations

Issue - State: closed - Opened by Darya- about 5 years ago - 5 comments
Labels: bug, priority: high

#342 - Resolved issue #52. Allow Java Interop with Wyvern Rationals. Added use cases and test cases for rational type operations.

Pull Request - State: closed - Opened by sychoo about 5 years ago

#341 - Resolved issue #332, supported arrow types in module defs. Added two test case in ModuleSystemTests.java.

Pull Request - State: closed - Opened by open-journal about 5 years ago - 1 comment

#340 - Resolved issue #61, allow lambda arguments to be inferred in var declaration and var assignment. Unlocked test cases in ILTest.java

Pull Request - State: closed - Opened by open-journal about 5 years ago

GitHub / wyvernlang/wyvern issues and pull requests