Skip to content

Tagged union typechecking regression #519

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

Closed
robarnold opened this issue Jun 19, 2011 · 4 comments
Closed

Tagged union typechecking regression #519

robarnold opened this issue Jun 19, 2011 · 4 comments
Assignees

Comments

@robarnold
Copy link
Contributor

Checkout 612f447e698ad127f57af1900e82923b8f5fee9b in my fork and try to build. I see the following error:
../src/lib/aio.rs:50:8:50:17: error: mismatched types: expected port[iorequest] but found port[iorequest](types differ)

This used to work a few days ago but I've lost track of which working version I was on.

@brson
Copy link
Contributor

brson commented Jun 19, 2011

It is rightly a type mismatch, but the second type reported is incorrect (issue #516). In fn iotask, a port[ctx] is attempting to receive an iorequest (where ctx is defined as chan[iorequest]). So either the port type needs to be port[iorequest] or the received type needs to be ctx.

@brson
Copy link
Contributor

brson commented Jun 19, 2011

After further looking at the port type checking, there may yet be an issue here. Investigating.

@ghost ghost assigned brson Jun 19, 2011
@brson
Copy link
Contributor

brson commented Jun 19, 2011

After further investigation, I believe the typechecking for ports is ok and the example has a type error as explained above.

@robarnold
Copy link
Contributor Author

I have no idea how this used to typecheck or how that error got introduced. Awesome!

pdietl pushed a commit to pdietl/rust that referenced this issue Apr 23, 2020
ZuseZ4 added a commit to EnzymeAD/rust that referenced this issue Mar 7, 2023
* [gsoc] result. Helper tool for building rustc/llvm/enzyme/clang in the
required configuration.

* Updating to Rust 1.55 and Enzyme 0.0.18

* Updating to Rust 1.56 and Enzyme 0.0.20

* running cargo-fmt and updating README to latest Rust release

* applying clippy lints

* Refactoring and update to latest enzyme/rustc

* Use base path instead of build

* Remove reqwest dependency

* remove unnecessary default-features

* Add LLVM header requirements to README

* switch from config to cache dir for build data

* Use LLVM header from rustc

* Add requried curl features

* Support for Enzyme fork

* building enzyme from main enzyme github

* Moving to Rust 1.57

* updating to enzyme 0.0.24 release

* Create LICENSE-APACHE

* Create LICENSE-MIT

* Update README.md

* Update README.md

* testing a binary as compile-manager

* using .env() to handle build flag

* fixing typo

* testing cargo-something convention

* reorder code layout

* Adjust readme to latest changes

* fetching target at compile, not runtime

* Adding documentation

* Updating toml file to prepare for release

* updating main to use enum instead of string

* lookup target at compile, not run-time

* adjustments for release under enzyme name

* Add missing dependencies

* Adjust version 

The empty readme used to block enzyme on crates.io was marked as version 0.1.0, so we have to update the minor version instead of starting with a patch version.

* crates.io only allows 5 keywords, so removing one

* Make code directly copy-able

* Required for nightly cargo (due to -Zbuild-std)

* Bump to new Enzyme release

* make building enzyme a one-liner

* Bump to Enzyme 0.0.25, Re-use artifacts if possible

* bump to 0.3, due to enzyme 0.0.25

* moving to enzyme 0.0.26

* allow specification of io paths for generate_api

* Update releases, allow custom builds

* nicer arg parsing

* update links and comments

* re-license to be compatibel with the LLVM Project

* wip

* large refactor

* adjust version numbers

* minor fixes

* unpack into right directory

* improve handling of generated bindings

* more checkfiles to reduce repeating tasks

* swap paths for github downloads

* improving docs/readme

* Update repository path

* removed Allowlist to reduce maintenance costs.

Co-authored-by: Lorenz Schmidt <[email protected]>
GuillaumeGomez pushed a commit to GuillaumeGomez/rust that referenced this issue Jul 10, 2024
simd: implement pointer provenance intrinsics
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants