Skip to content

Make the check_all_arches target no-op on 32-bit architectures#1571

Closed
xclerc wants to merge 3 commits intoocaml:trunkfrom
xclerc:disable-all-arches-check-on-32bit
Closed

Make the check_all_arches target no-op on 32-bit architectures#1571
xclerc wants to merge 3 commits intoocaml:trunkfrom
xclerc:disable-all-arches-check-on-32bit

Conversation

@xclerc
Copy link
Copy Markdown
Contributor

@xclerc xclerc commented Jan 16, 2018

If the checks are actually run on a 32-bit architecture,
it means (among other things) that the 64-bit code emitters
cannot assume that nativeint is actually 64-bit.

@xclerc xclerc changed the title Make the check_all_arches target no-op on 32-bit architectures Make the check_all_arches target no-op on 32-bit architectures Jan 16, 2018
@xclerc xclerc mentioned this pull request Jan 16, 2018
@damiendoligez
Copy link
Copy Markdown
Member

damiendoligez commented Feb 5, 2018

Why do you need to disable it? I tried check_all_arches on a 32-bit machine and it worked because it is only compiling those back-ends, not trying to run them. Ideally, it would only do the type-checking, but compiling is easier to set up.
[edit: nevermind, I just found the answer in #1490]

Copy link
Copy Markdown
Member

@damiendoligez damiendoligez left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

If the test is false, you should display a message saying that the test was skipped. It won't change anything for Travis, but it's nicer to the user who launches the test by hand.

Other than that, LGTM

@xclerc
Copy link
Copy Markdown
Contributor Author

xclerc commented Feb 5, 2018

(...) it's nicer to the user who launches the test by hand.

Indeed.

@xclerc
Copy link
Copy Markdown
Contributor Author

xclerc commented Mar 20, 2018

Due to Travis issues I did not understand, I opened a roughly equivalent PR, #1671,
from a fresh branch and it fixed the problem(s).

@xclerc xclerc closed this Mar 20, 2018
rajgodse added a commit to rajgodse/ocaml that referenced this pull request Aug 18, 2023
* add partial to typedtree pattern guard type

* implements pattern guard translation

* added some tests

* linear time guardedness check

* test file cleanup

* convert typedtree pattern into record

* remove stray whitespace

* removed unnecessary type annotations

* bind all record fields in tast_iterator

* revise guard patching

* adds debug event around pattern guards

* abstracts action type

* inlines staticfail

* enumerate pattern guard fields in mapper

* polishes action (now rhs) interface

* format: multiline function application

Co-authored-by: Nick Roberts <nroberts02@gmail.com>

* format: constructor disambiguation

Co-authored-by: Nick Roberts <nroberts02@gmail.com>

* document handling of partial/total pattern guards

* adds cr-soon for rhs efficiency improvement

* type annotation to fix compile failure from disambiguation

---------

Co-authored-by: Nick Roberts <nroberts02@gmail.com>
EmileTrotignon pushed a commit to EmileTrotignon/ocaml that referenced this pull request Jan 12, 2024
Co-authored-by: Christine Rose <christinerose@users.noreply.github.com>
Co-authored-by: Thibaut Mattio <thibaut.mattio@gmail.com>
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

Successfully merging this pull request may close these issues.

2 participants