Commit graph

162 commits

Author SHA1 Message Date
Richard Feldman
31345252b5
More ModuleEnv consistency fixes 2025-10-12 19:44:24 -04:00
Richard Feldman
c55008ff08
Add new builtins to snapshot tests 2025-10-08 22:01:31 -04:00
Richard Feldman
abab38771f
Fix some snapshots 2025-10-07 14:26:06 -04:00
Richard Feldman
c4ad0970d8
Auto-expose all nested types in type modules 2025-10-07 13:43:30 -04:00
Richard Feldman
a44225d647
Make nested types be in scope in their blocks 2025-10-07 13:19:09 -04:00
Richard Feldman
db6b777253
Remove fallback logic 2025-10-07 11:14:05 -04:00
Richard Feldman
ecb6fce65a
More repl improvements 2025-10-06 23:08:58 -04:00
Richard Feldman
65a8ca1282
Eval nested types 2025-10-06 22:29:02 -04:00
Richard Feldman
e846704273
Restore type=snippet 2025-10-06 22:22:24 -04:00
Richard Feldman
43ac59ace2
Canonicalize nested types 2025-10-06 17:01:18 -04:00
Richard Feldman
cd7c1fb754
Add nested types 2025-10-06 16:55:55 -04:00
Richard Feldman
312d1ad300
Make snapshots use filename 2025-10-06 16:48:36 -04:00
Richard Feldman
f265318700
Add nested types 2025-10-06 16:44:17 -04:00
Richard Feldman
239d67a5a6
Simplify snapshots to use snippets 2025-10-06 16:23:18 -04:00
Richard Feldman
0a2ba8be25
Revise some things 2025-10-06 12:08:00 -04:00
Richard Feldman
79ccc07770
Refactor out ValidationContext 2025-10-06 10:44:41 -04:00
Richard Feldman
30ea992a83
import type modules 2025-10-06 10:44:18 -04:00
Richard Feldman
28c787285d
Update snapshot description 2025-10-04 15:00:39 -04:00
Richard Feldman
0c189b93cf
Add type modules 2025-10-04 14:44:54 -04:00
Richard Feldman
bc2946f3b3
Add associated items 2025-10-04 13:16:56 -04:00
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