language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-02 00:01:16 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Merge pull request #2627 from rtfeldman/constraints-soa

Browse source 
Constraints using Struct of Arrays
This commit is contained in:
Richard Feldman 2022-03-04 19:39:03 -05:00 • committed by GitHub
commit c89a6c109a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
21 changed files with 1413 additions and 768 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/mono/src/exhaustive.rs
View file

@ -1,5 +1,5 @@
use crate::ir::DestructType;
use roc_collections::all::Index;
use roc_collections::all::HumanIndex;
use roc_exhaustive::{
is_useful, Context, Ctor, Error, Guard, Literal, Pattern, RenderAs, TagId, Union,
};
@ -189,7 +189,7 @@ fn to_nonredundant_rows(
return Err(Error::Redundant {
overall_region,
branch_region: region,
index: Index::zero_based(checked_rows.len()),
index: HumanIndex::zero_based(checked_rows.len()),
});
}
}