language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-27 13:59:08 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Define naturality of tuple indices

Browse source
This commit is contained in:
Ayaz Hafiz 2023-03-22 16:55:23 -05:00
parent cb5a21cb20
commit 4d3bda51e1
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
crates/compiler/derive/src/decoding/tuple.rs
View file

@ -1,7 +1,7 @@
use roc_can::expr::{
AnnotatedMark, ClosureData, Expr, Field, IntValue, Recursive, WhenBranch, WhenBranchPattern,
};
use roc_can::num::IntBound;
use roc_can::num::{IntBound, IntLitWidth};
use roc_can::pattern::Pattern;
use roc_collections::SendMap;
use roc_module::called_via::CalledVia;
@ -635,11 +635,11 @@ fn step_elem(
WhenBranch {
patterns: vec![WhenBranchPattern {
pattern: Loc::at_zero(Pattern::IntLiteral(
env.subs.fresh_unnamed_flex_var(),
env.subs.fresh_unnamed_flex_var(),
Variable::NAT,
Variable::NATURAL,
index.to_string().into_boxed_str(),
IntValue::I128((index as i128).to_ne_bytes()),
IntBound::None,
IntBound::Exact(IntLitWidth::Nat),
)),
degenerate: false,
}],