Commit graph

142 commits

Author SHA1 Message Date
Jared Ramirez
8fe09d4b80
Fix last compile issues 2025-10-02 21:00:46 -04:00
Jared Ramirez
4d467ef0b4
Refactor expr num reqs + fix merge issues 2025-10-02 16:11:03 -04:00
Jared Ramirez
2c09638729
Implement patterns 2025-09-30 17:47:05 -04:00
Jared Ramirez
aac3d24c21
Fix playground test call, don't err on bad ext 2025-09-30 17:47:05 -04:00
Jared Ramirez
b8ea7e34c0
Fix playground compile 2025-09-30 17:47:04 -04:00
Jared Ramirez
ff11d0a636
Review snapshots & fix issues 2025-09-30 17:47:04 -04:00
Jared Ramirez
374b09b208
Fix merge issues, regen snapshots 2025-09-30 17:47:04 -04:00
Jared Ramirez
6815e413e4
Get mostly tests passing 2025-09-30 17:47:04 -04:00
Jared Ramirez
c58afd7d39
Fix tag ext and number layouts 2025-09-30 17:47:03 -04:00
Jared Ramirez
1ac7bf4239
Update snapshots 2025-09-30 17:44:47 -04:00
Jared Ramirez
193ce7b11a
Test against snapshots, fix alias unification 2025-09-30 17:44:46 -04:00
Jared Ramirez
56f632d509
Support external types in annos 2025-09-30 17:44:46 -04:00
Jared Ramirez
a32b4c5625
Correctly track and unify number requirements 2025-09-30 17:44:46 -04:00
Jared Ramirez
9a4e8e7689
Fix bug where rigid vars were being instantiated to flex 2025-09-30 17:44:45 -04:00
Jared Ramirez
42c9f8c3da
Misc 2025-09-30 17:44:45 -04:00
Jared Ramirez
72eed707f9
Add back match checking 2025-09-30 17:44:45 -04:00
Jared Ramirez
e27ccd3917
Add back if-else 2025-09-30 17:44:45 -04:00
Jared Ramirez
ef3225f2d0
Process type decls separately, generalize, then inst in annos 2025-09-30 17:44:45 -04:00
Jared Ramirez
fdb4fda577
Recursive nominal types 2025-09-30 17:43:52 -04:00
Jared Ramirez
d3207a6e71
Num type vars & generalization!!! 2025-09-30 17:41:35 -04:00
Jared Ramirez
ee82e2c08c
Add scope typed variables 2025-09-30 17:37:58 -04:00
Richard Feldman
b991d8fb17
Update playground tests 2025-09-29 12:41:40 -04:00
Richard Feldman
b69f3f4447
Delegate crash handling to host CrashContext 2025-09-29 07:38:31 -04:00
Richard Feldman
73d9885e0b
Convert everything over to use new interpreter 2025-09-26 20:54:43 -04:00
Richard Feldman
9142c8d69a
Restore legacy REPL implementation and float formatting 2025-09-26 09:42:48 -04:00
Richard Feldman
865f185b73
Replace legacy boolean operators in tests 2025-09-26 09:30:07 -04:00
Luke Boswell
cb42d26e11
Roc platform host shim (#8214)
* use zig Builder to generate LLVM bc for platform host shim

* WIP

* Working embedded LLVM compilation

* lints

* Update test_shared_memory_system.zig

* Update main.zig

* Refactor out builder into separate file

* remove clang fallback, remove -Dllvm build flag

* WIP change platform header

* WIP no hardcoded platform entrypoints

* WIP no hardcoded entrypoints

* remove hardcoded interpreter shim entrypoint

* WIP multiple entrypoints

* WIP multiple entrypoints

* WIP alignment issue

* it's working!!

* cleanup

* fmt

* fix tests and snapshots

* fix cross-compile

* WIP fix linking linux

* improved debug logging in rocRun

* WIP fix linux segfaults

* cleanup stray dbgs

* fix Windows linking

* WIP remove std.debug.print in prebuilt shim

* remove libc stubs, try C shim for platform host main

* WORKING ON LINUX!!!

* WIP fixing int platform

* prevent double mapping of shared memory

* WIP

* remove clang fallback

* cleanup test platforms

* vendor linux object files for musl and gnu in test platforms

* fix windows __main export

* typo

* avoide hardcoding libc path and dynamic linker on linux

* some fixes

* try CI fix for linux ARM64

* try use system CRT for ARM64

* use absolute pats for vendored CRT

* minimal roc build

* use target os for filename not host os

* implement app stubs for test platforms

* fix glibc

* WIP cross compilation

* fix run, fix build for native

* Merge remote/main

* fix macos

* add bookends

* remove hosts

* fix cross-compile for linux on macos

* fix files paths for Windows

* Update main.zig

* test ubu 24.04 too

Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>

* debug: log all used instructions

* fmt

* get bad instruction with gdb

* install gdb

* Revert last 4 commits

* simpler cross-compile arm64 runtime files

* add minimal cross-compilation for glibc

* simplify stub generation

* Update test_int_platform.sh

* Update ci_cross_compile.yml

* Update ci_cross_compile.yml

* try alpine3.18 x64musl files

* Claude's fix + removed CPU instructions

* fix fuzz crash empty after merge

* update snapshot

* restore full CI

* some cleanup

* remove debugging from CI - print all supported CPU instructions

* try using generic when LLVM compiles app stub

* enhanced error handling for app stub compilation using LLVM

* check machine ABI on linux

* try more debugging

* update test script to inidicate truncated error logs, temporarily display everything for arm64 linux errors

* fix missing arm64 libc search paths

* back to normal CI

* try without .git 

See https://github.com/ziglang/zig/issues/21316#issuecomment-2408071050

Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>

* undo .git change

Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>

* retry zig build command

Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>

* different retry strategy

Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>

---------

Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
Co-authored-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
2025-09-09 13:15:23 +02:00
Luke Boswell
480bbd6a62
Merge pull request #8229 from FabHof/formatter_playground
Add QUERY_FORMATTED to wasm playground
2025-09-06 08:09:42 +10:00
Fabian Schmalzried
f51c829858
Add missing unification branch 2025-09-01 21:09:33 +02:00
Fabian Schmalzried
3808ea302e
Implement type unification for equality/comparison in binary operations 2025-09-01 21:09:28 +02:00
Luke Boswell
0b6ad5bb66
Revert "Don't try to format malformed snapshots"
This reverts commit 61429d72bf.
2025-08-29 12:44:22 +10:00
JRI98
61429d72bf
Don't try to format malformed snapshots 2025-08-28 23:02:54 +01:00
JRI98
18f72dbed6
Fix fuzz crash by correctly handling incomplete imports
zig build repro-parse -- -b bW9kdWxlW11lPSIiIgppbXBvcnQjXA== -v
2025-08-28 18:42:08 +01:00
Fabian Schmalzried
b34e538856
first shot at QUERY_FORMATTED 2025-08-27 00:01:36 +02:00
Fabian Schmalzried
53f0eff1c0
run snapshot tool 2025-08-26 22:18:03 +02:00
JRI98
a901c014fe
Fix fuzz crash related to multiline string
zig build repro-parse -- -b bW9kdWxlW11sPSIiIg== -v
2025-08-26 09:00:36 +01:00
JRI98
5226b6d43a
Merge pull request #8224 from JRI98/fix-multiline-strings-fmt
Fix fuzz crashes related multiline strings by adding a newline after them
2025-08-26 00:37:04 +01:00
JRI98
ee812ce8f1
Fix fuzz crashes related multiline strings by adding a newline after them
zig build repro-parse -- -b cGFja2FnZVtde31sPTAKdj17YTooMC0iIiIKKSxjOltdfQ== -v
zig build repro-parse -- -b cGFja2FnZVtde31sPTAKdj17YTohIiIiCixiOigpLGM6W119 -v
2025-08-25 23:44:20 +01:00
Jared Ramirez
c10b7f91c1
Inline statement type annotations 2025-08-24 13:47:16 -04:00
Fabian Schmalzried
6326c49996
Keep single #
If the # is followed by just one space, we keep it, so why not also keep it if it is all alone?
2025-08-24 17:12:49 +02:00
Fabian Schmalzried
816a85e525
fix multiline string problem in packages header 2025-08-24 17:02:40 +02:00
Fabian Schmalzried
b2db10939b
Keep comments after record extension 2025-08-24 00:59:36 +02:00
Fabian Schmalzried
73d3bd63bf
change indentation of first comment inside record (aligns with old compiler) 2025-08-24 00:29:48 +02:00
Fabian Schmalzried
8b05031214
Alow only one empty line in the code 2025-08-24 00:06:43 +02:00
Fabian Schmalzried
b20d9f0f93
add snapshot example of lambda inside collections 2025-08-24 00:06:43 +02:00
Fabian Schmalzried
73b1b2982b
refactor multiline string formatting in snapshots for consistency 2025-08-23 20:01:44 +02:00
Fabian Schmalzried
a1dcc34954
change logic of fmt.has_newline and use it in formatting multiline_string 2025-08-22 21:59:36 +02:00
Fabian Schmalzried
f0537ca8ad
add special case to format multiline string in collections 2025-08-22 20:39:50 +02:00
Fabian Schmalzried
086a0f7ae8 remove MultilineStringEnd 2025-08-21 09:52:53 +00:00
Luke Boswell
f2321d8769
support string equality in the interpreter 2025-08-20 18:22:26 +10:00