Sam Mohr
444becdb01
Remove removed TypedHole usage
2024-12-01 20:11:13 -08:00
Sam Mohr
0a82f313c3
Merge branch 'main' into allow-try-in-statements
2024-12-01 23:02:41 -05:00
Sam Mohr
dea9101f87
Merge pull request #7286 from smores56/fix-early-return-type-issue
...
Generalize return vars
2024-12-01 22:25:07 -05:00
Joshua Warner
f21e3ac373
Merge branch 'main' into reland-fuzzing-fixes-2
2024-12-01 17:12:31 -08:00
Joshua Warner
f7a5f06e5b
Fix a bunch of bugs found in fuzzing
2024-12-01 12:40:19 -08:00
Joshua Warner
5cd38c969f
Fix a couple minor parsing bugs
2024-12-01 12:40:17 -08:00
Joshua Warner
d4301e86a3
Improve parsing of negative + not'd exprs
2024-12-01 12:40:16 -08:00
Joshua Warner
61d885039d
Improve normalization to handle cases found in fuzzing
2024-12-01 12:40:14 -08:00
Joshua Warner
912db1b76b
Fix round-trip parse->fmt->parse for dbg stmts with more than one arg
2024-12-01 12:40:13 -08:00
Joshua Warner
cfd83ffcdf
Add some currently-passing tests
2024-12-01 12:40:08 -08:00
Joshua Warner
085c5e2fe7
Fix nasty perf bug in parsing types
2024-12-01 12:39:47 -08:00
Eli Dowling
21b555d0b2
Merge pull request #7285 from faldor20/purity-inference-module-params-fixes
...
Purity inference module params fixes
2024-12-01 22:04:30 +10:00
Sam Mohr
febe95c228
Generalize return vars
2024-12-01 02:24:51 -08:00
Sam Mohr
29c8759bc0
Merge branch 'main' into allow-try-in-statements
2024-12-01 00:35:18 -08:00
faldor20
f3f262574d
Check if a module is using purity inference and enable purity inference effects
2024-12-01 17:16:29 +10:00
faldor20
8549e48d0b
make effectful functions unify properly
2024-12-01 16:09:42 +10:00
Luke Boswell
8acd31e8f0
Merge pull request #7283 from gamebox/fix-issue-7175-check-crashing-on-module
...
Add platform data for a check run with a single file
2024-12-01 15:15:03 +11:00
Luke Boswell
d7556be7bf
Merge pull request #7264 from shua/saturated
...
gen-dev: complete Num{Mul,Add,Sub}Saturated impls
2024-12-01 14:01:48 +11:00
Luke Boswell
7cc24cbced
Merge pull request #7277 from shua/jd/powi
...
Num.powInt: panic on overflow
2024-12-01 13:05:21 +11:00
Anthony Bullard
2b8ef21720
Add platform data for a check run with a single file
2024-11-30 20:02:52 -06:00
shua
5712e265ae
patch: macos arm64, fix gen-llvm i128 bitcode call
2024-12-01 00:02:49 +01:00
shua
8fd2fbc3a1
gen-dev: complete Num{Mul,Add,Sub}Saturated impls
...
MulSaturated and AddSaturated are now implemented for u128, i128
SubSaturated is now implemented for Dec even if it's a little strange to
saturate at a decimal value:
```
» Num.subSaturated -170_141_183_460_469_231_731dec 1
-170141183460469231731.687303715884105728 : Dec
```
I decided to rm the `build_num_{mul,add}_saturated` methods because
they don't require any asm-specifics. They either call out to bitcode, or
use the non-saturated version for floats.
2024-11-30 23:01:44 +01:00
Anton-4
74d137cad4
Revert "Merge pull request #7267 from joshuawarner32/fuzzing-bugs-2"
...
This reverts commit 364249a29d0e550a7f68
2024-11-30 18:43:16 +01:00
shua
6dfa458e6c
Num.powInt: panic on overflow
2024-11-30 11:26:42 +01:00
Joshua Warner
364249a29d
Merge pull request #7267 from joshuawarner32/fuzzing-bugs-2
...
Fix a bunch of parser/formatter bugs found in fuzzing
2024-11-29 17:33:57 -08:00
Joshua Warner
ed62bcc15a
Fix a bunch of parser/formatter bugs found in fuzzing
...
Notably:
* Unified how parens are formatted between (1) when we have a ParensAround, and (2) when we've decided an Apply needs to have parens
* Made unary minus require the be indented to the same level as any other expression continuation. (it used to accidentally have rules meant for binary operators applied)
* Don't apply extra indent to the backpassing continuation in the case that the call does itself require indentation
* Make `try@foo` correctly parse as `try @foo`, so that formatting doesn't change the tree when it adds that space
* Detect more cases where we need to outdent trailing e.g. {} blocks in applies
* Approximately a bagillion other things, 90% of which I added tests for, and none of which affected the formatting of examples or builtins
2024-11-29 16:25:59 -08:00
Richard Feldman
0e550a7f68
Merge pull request #7265 from roc-lang/workspace-deps
...
Update cargo dependencies to use workspace
2024-11-29 17:38:03 -05:00
Luke Boswell
9e37b93336
remove accidental change from debugging
2024-11-30 08:27:21 +11:00
Richard Feldman
bfbc9ceef0
Merge pull request #7258 from JRI98/remove_unused_typedhole_variant
...
Remove unused code
2024-11-29 00:19:49 -05:00
Luke Boswell
e43b78b354
update to workspace deps for miscellaneous
2024-11-29 11:37:39 +11:00
Luke Boswell
624021bf49
replace cargo deps with workspace in test_solve_helpers, test_syntax, types, uitest, unify, work, worker
2024-11-29 11:31:48 +11:00
Luke Boswell
fdaaca8c8b
replace cargo deps with workspace in lower_parms, module, mono, parse, problem, roc_target, serialize, solve, solve_problem, specialize_types, test_*
2024-11-29 11:29:04 +11:00
Luke Boswell
39ca41c243
replace cargo deps with workspace in gen_wasm, late_solve, load, load_internal
2024-11-29 11:21:57 +11:00
Luke Boswell
3c394028d1
replace cargo deps with workspace in derive_key, exhaustive, fmt, gen_dev, gen_llvm
2024-11-29 11:17:42 +11:00
Luke Boswell
56228a25c0
replace cargo deps with workspace in checkmate, constrain, derive
2024-11-29 11:15:26 +11:00
Luke Boswell
6ce35c4337
replace cargo deps with workspace in alias_analysis, build, builtins, can
2024-11-29 11:12:25 +11:00
Luke Boswell
8ad7ecdc10
replace cargo deps with workspace in roc_build
2024-11-29 10:40:20 +11:00
Luke Boswell
1ecb003887
Merge pull request #7250 from shua/fracdec
...
implement Num.isNaN,isFinite,isInfinite for Dec
2024-11-29 10:16:17 +11:00
JRI98
771a34054c
Remove an unused enum and a struct
2024-11-28 20:17:17 +00:00
JRI98
75f13d3f2e
Remove unused RuntimeErrorFunction variant from roc_mono::ir::Expr
2024-11-28 20:11:56 +00:00
JRI98
dcb6c543c0
Remove unused TypedHole variant from roc_can::expr::Expr
2024-11-28 20:11:37 +00:00
Sam Mohr
46067cf28c
Merge pull request #7255 from JRI98/fix_dec_zero_div_zero
...
Fix division of zero by zero for Dec
2024-11-28 15:06:18 -05:00
Agus Zubiaga
c4fcd0dcd0
Merge pull request #7254 from roc-lang/allow-suffixed-host-exposed-pure
2024-11-27 21:59:56 -03:00
Luke Boswell
b178b41c50
Merge pull request #7248 from shua/rmdeps
...
rm unused dependencies
2024-11-28 11:26:41 +11:00
JRI98
61ca278e31
Fix division of zero by zero for Dec
2024-11-27 23:38:21 +00:00
shua
039e5dd3d7
fix gen-llvm
2024-11-27 22:41:56 +01:00
Agus Zubiaga
2e7e67019f
Add doc comment to SolveConfig.host_exposed_symbols
2024-11-27 14:15:08 -03:00
Agus Zubiaga
6ffc8a507b
Allow suffixed pure functions that are exposed to the host
2024-11-27 14:06:37 -03:00
Agus Zubiaga
1dc9dd0a90
Merge branch 'main' into specialize-exprs
2024-11-27 11:35:14 -03:00
Joshua Warner
0295bb58da
Merge pull request #7245 from joshuawarner32/dbg-expr-only
...
Make dbg always be parsed as an expression
2024-11-26 17:41:28 -08:00
