Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Some web functionality + go coroutines #159

Merged
merged 17 commits into from
May 15, 2016
Merged

Commits on May 14, 2016

  1. Added "load_meta_url" intrinsic

    - Added hyper as dependency
    bvssvni committed May 14, 2016
    Configuration menu
    Copy the full SHA
    7a260cd View commit details
    Browse the repository at this point in the history
  2. Added go

    - Added `go` keyword to syntax
    - Added “typechk/go.dyon”
    - Added `ast::Expression::Go`
    - Added “join_thread” intrinsic
    - Added `Thread` struct
    - Added `Variable::Thread`
    - Added unsafe impl of `Send` for `Variable`
    - Made `Module` clone-able by putting `Module::ext_prelude` in `Arc<_>`
    - Added `Kind::Go`
    - Require `->` on `go` functions in through type check
    - Switched from `ThreadRng` to `StdRng` to make new runtime work in
    `move || { … }`
    - Added `Runtime::go`
    bvssvni committed May 14, 2016
    Configuration menu
    Copy the full SHA
    1318515 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    0c73768 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    bd25eab View commit details
    Browse the repository at this point in the history
  5. Print out "_thread" when printing variable

    This prevents panic when printing out a variable that has no valid
    input representation.
    bvssvni committed May 14, 2016
    Configuration menu
    Copy the full SHA
    eb285d1 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    a31b06f View commit details
    Browse the repository at this point in the history

Commits on May 15, 2016

  1. Added Type::Thread

    - Added “typechk/threads.dyon”
    - Infer thread type from function
    - Infer numbers from short loops
    - Make sift infer type from body
    - Removed non-existing typechk test
    bvssvni committed May 15, 2016
    Configuration menu
    Copy the full SHA
    64135d0 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    933dfc7 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    e86b8c5 View commit details
    Browse the repository at this point in the history
  4. Fixed "call" return type

    - Made type checker show an error when result is unused
    bvssvni committed May 15, 2016
    Configuration menu
    Copy the full SHA
    8464843 View commit details
    Browse the repository at this point in the history
  5. Separate type check on call arguments from the return type of call

    - Added “typechk/unused_result.dyon”
    - Fixed “random” intrinsic
    bvssvni committed May 15, 2016
    Configuration menu
    Copy the full SHA
    91a299a View commit details
    Browse the repository at this point in the history
  6. - Fixed “syntax/new_pos.dyon”

    - Added “typechk/unused_result_2.dyon”
    - Check type of only one child for some nodes
    - Check all expressions in body of a functions that does not return
    bvssvni committed May 15, 2016
    Configuration menu
    Copy the full SHA
    9b0a559 View commit details
    Browse the repository at this point in the history
  7. Infer return type from body

    Infer return type from body of functions that are declared as
    mathematical expressions.
    
    - Clean up `Type::Void` usage
    bvssvni committed May 15, 2016
    Configuration menu
    Copy the full SHA
    dade173 View commit details
    Browse the repository at this point in the history
  8. Copy refined returned types

    The refined returned types inferred by the type checker should be
    copied to the AST for more accurate type checking when calling loaded
    function declared as mathematical expressions.
    bvssvni committed May 15, 2016
    Configuration menu
    Copy the full SHA
    05efe28 View commit details
    Browse the repository at this point in the history
  9. Made "functions" intrinsic include type information

    - Changed “returns” to a string representing the type
    - Added “takes” for each argument representing the type
    bvssvni committed May 15, 2016
    Configuration menu
    Copy the full SHA
    9dff311 View commit details
    Browse the repository at this point in the history
  10. Added thread benchmarks

    bvssvni committed May 15, 2016
    Configuration menu
    Copy the full SHA
    9cbb5ff View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    6bd0312 View commit details
    Browse the repository at this point in the history