Development Build (trunk)

Commits

• fb6f199: Fix errors in primop modules (Dan Doel) #5416
• 534b11b: Turn unison/primops into a re-export module (Dan Doel) #5416
• 1b69188: Remove unison/builtin (Dan Doel) #5416
• 7db52eb: Remove unison/builtin import from unison-runtime (Dan Doel) #5416
• 980521d: Fix remaining compile errors (Dan Doel) #5416
• 31625ce: Remove unison/arithmetic (Dan Doel) #5416
• 42d3193: MERGETOOL->UCM_MERGETOOL, tmp dir for tmp files (Mitchell Rosen) #5411
• e742b12: remove unused import (Mitchell Rosen) #5411
• f068357: move dependents implementation into its own module (Mitchell Dalvi Rosen) #5466
• be92ca2: Add basic roundtrip test for ANF (Chris Penner) #5414
• 2d92c23: Test serialization on multiple versions (Chris Penner) #5414
• d54fc2e: automatically run ormolu (ChrisPenner) #5414
• 6e0faa9: Implement roundtrip for SCache (Chris Penner) #5414
• 96ab099: Fix serialization tests for cases where we discard combs (Chris Penner) #5414
• 84b801e: Fix erroneous Nat.shiftRight (Dan Doel) #5416
• 0ebe124: Remove use of sums in bytes-nat implementations (Dan Doel) #5416
• 5089b9b: Remove references to compound-wrappers (Dan Doel) #5416
• c198068: Implement atan2 (Dan Doel) #5416
• 70909e4: Fix up some tag testing mistakes (Dan Doel) #5416
• 655f037: Make data tag FOp just use the struct projection (Dan Doel) #5416
• f7d5f8a: mergetool exit failure feedback (Mitchell Dalvi Rosen) #5411
• 4d2c0e7: Unify some logic on ensure/augSeg (Chris Penner) #5397
• 7d1e6d0: Fix some concurrent issues (Dan Doel) #5416
• b2996d5: Change jumpCont to a potentially more correct implementation (Dan Doel) #5416
• 5dd6cc8: Some final builtin fixes (Dan Doel) #5416
• 9b7259a: Bump @unison/internal version (Dan Doel) #5416
• e5d2077: Move EvalMode into RuntimeUtils (Dan Doel) #5416
• d4395f5: Add native testing commands (Dan Doel) #5416
• 774a8bd: Fix vector copying operations (Dan Doel) #5416
• 167ae6d: automatically run ormolu (dolio) #5416
• c3653e2: Rename unison/primops/universal file (Dan Doel) #5416
• fe1e33a: Fix a bug in unison-closure implementation (Dan Doel) #5416
• 503ab9c: Remove no longer necessary unison/math file (Dan Doel) #5416
• 4e35221: ⅄ trunk → 24-10-09-edit-add-to-fold (Mitchell Dalvi Rosen) #5404
• 31dad59: rename edit -> edit.new, edit2 -> edit (Mitchell Dalvi Rosen) #5404
• 7cdf99a: re-run round trip test transcript (Mitchell Dalvi Rosen) #5404
• 73f269e: Add test case (Dan Doel) #5420
• e18c304: Expose a better API for simultaneous ABTN renaming (Dan Doel) #5420
• 59eaddd: Fix variable capture bug during context flattening (Dan Doel) #5420
• ca48c9c: automatically run ormolu (dolio) #5420
• 95c1fe7: Ensure ALL primitive array access goes through bounds checks (Chris Penner) #5423
• 412d7d1: Use actual Int size rather than hard-coding 8 bytes. (Chris Penner) #5423
• 666d389: Fix bad augSeg math (Chris Penner) #5423
• e28a16f: Fix deprecated array size checks (Chris Penner) #5423
• a85132c: Standardize optimization flags (Chris Penner) #5424
• 6c98852: Debug entry comb (Chris Penner) #5431
• 7abbed6: Don't unbox binops (Chris Penner) #5431
• 7920271: Add stack debugging (Chris Penner) #5431
• 49cd2de: Add newtype for type tags (Chris Penner) #5431
• ef778cf: Pack type tags into boxed unboxed vals (Chris Penner) #5431
• 4b76407: Add a bunch more typed poke/peek primitives (Chris Penner) #5431
• 34a113d: Patterns for unboxed type closures (Chris Penner) #5431
• eae00c5: Fix a bunch of poke types (Chris Penner) #5431
• b6f67fa: Finish re-writing upokes in Machine (Chris Penner) #5431
• 1897ec0: Finish propagating runtime type tags (Chris Penner) #5431
• fbc5cc2: Pass type of unboxed values to decompilation (Chris Penner) #5431
• e11b12c: Add new Nat instrs to fix runtime types for Nat arithmetic (Chris Penner) #5431
• 5dbe3df: Fix SubN (Chris Penner) #5431
• 5770fd4: Add instruction comments (Chris Penner) #5431
• 8d59343: Remove most unboxes (Chris Penner) #5431
• 0ec982a: Undo most natRef boxing (Chris Penner) #5431
• 15e8ac2: Remove most int/float/char reboxings (Chris Penner) #5431
• 25aeb88: Fix bad args (Chris Penner) #5431
• fd87e56: Add new Elem type for combined unboxed/boxed types (Chris Penner) #5431
• 495f937: WIP (Chris Penner) #5431
• 19662df: Elem -> Val (Chris Penner) #5431
• dd183b9: Add pattern matching for unboxed Val types (Chris Penner) #5431
• 782ccfe: Propagate Val to ANF reification/reflection (Chris Penner) #5431
• 6704f8e: Implement fast calls for exactly saturated applications (Dan Doel) #5432
• Fix reify/reflect to work with Vals #5431 (Chris Penner)
• 5e2d999: Runtime Val WIP (Chris Penner) #5431
• 8a1b0c8: Assert that Mark denv in Closure Vals (Chris Penner) #5431
• bfb9dcd: Implement an inlining pass for ANF (Dan Doel) #5432
• 3cb4845: automatically run ormolu (dolio) #5432
• 0f9ef19: Fix up some Comb pretty printing (Dan Doel) #5432
• 8ebb0fa: One more pretty printing tweak (Dan Doel) #5432
• 9096f7c: Make inlining a bit less limited (Dan Doel) #5432
• f19c386: Try to avoid infinite inlining up front (Dan Doel) #5432
• 057bfac: Do inlining before generating combinators (Dan Doel) #5432
• 73246e6: Pass combinator reference into enter (Dan Doel) #5432
• 8ca01f2: Merge branch 'topic/interp-code-opt' of github.com:unisonweb/unison into topic/interp-code-opt (Dan Doel) #5432
• a2216ec: Indentation snafu during merge (Dan Doel) #5432
• 47bf0df: Finish fixing foreigns (Chris Penner) #5431
• 3ba9026: Remove unboxing in casts (Chris Penner) #5431
• 6f2e5c5: Support unboxed vals in dumpData (Chris Penner) #5431
• 926941b: Replace boxed casting with coerceType (Chris Penner) #5431
• 2f9a562: Fix numValue calculation (Chris Penner) #5431
• ab44375: add failing transcript (Mitchell Dalvi Rosen) #5434
• c3568eb: Reduce clutter of pretty printed Combs (Dan Doel) #5432
• 562b0c8: automatically run ormolu (dolio) #5432
• dedupe ability lists after binding names #5434 (Mitchell Dalvi Rosen)
• a151252: ⅄ trunk → 24-10-10-mergetool (Mitchell Dalvi Rosen) #5411
• c52b08e: populate $MERGED file with two-way line-based diff (Mitchell Dalvi Rosen) #5411
• 5d90b70: Improve stack debugging (Chris Penner) #5431
• 3a993eb: Fix buggy outMaybeNat (Chris Penner) #5431
• f844e57: Switch resolve to handle Vals (Chris Penner) #5431
• c7a510b: Fix universalEq/compare to work on unboxed values too. (Chris Penner) #5431
• bb94217: Closure -> Val in apps (Chris Penner) #5431
• 5af46ff: Use Vals instead of Closures almost everywhere (Chris Penner) #5431
• ab66f8e: Clean up closure patterns (Chris Penner) #5431
• 86c6234: Remove TypedUnboxed and the convention of storing unboxed values in DataU1 closures (Chris Penner) #5431
• 8cc3f5c: Change builtins/foreigns to use Val rather than Closures (Chris Penner) #5431
• 71f5518: tweak temp file names (Mitchell Dalvi Rosen) #5411
• 79df683: Fix bad uargOnto (Chris Penner) #5431
• f5dabea: Replace Closures with Val in most builtins (Chris Penner) #5431
• 3918cdf: Add a few runtime transcript tests (Chris Penner) #5431
• 9349c7a: Simplify BLits by removing superfluous refs and tags (Chris Penner) #5431
• 5f97c6e: Collapse DataU1 DataU2 DataB1 DataB2... into just Data1 Data2 (Chris Penner) #5431
• 35119f1: Unify MCode Lits to simplify boxing/unboxing of lits (Chris Penner) #5431
• 963d823: Fix up UnboxedVal patterns (Chris Penner) #5431
• e254c11: Simplify ForeignOp helpers (Chris Penner) #5431
• 2ed0ec6: Remove unnecessary type references on primops (Chris Penner) #5431
• 25a67b7: Rerun transcripts (Chris Penner) #5431
• 3394a5e: Add CAST instruction for runtime type coercion (Chris Penner) #5431
• c57e7a9: Fix cast (Chris Penner) #5431
• 848c406: Fix Nat -> Word conversions (Chris Penner) #5431
• 82d466d: Debugging stack-arg issues (Chris Penner) #5431
• 1657260: Stack debugging: Add stack_check macros (Chris Penner) #5431
• f85c958: Add stack arg debugging (Chris Penner) #5431
• 96fe58e: Debug.Interpreter (Chris Penner) #5431
• 494b741: Put stack debugging behind preprocessor flag (Chris Penner) #5431
• 033df41: Fix bad toEnum in NatVal (Chris Penner) #5431
• ba7a4d6: Clean up debugging (Chris Penner) #5431
• 1d3f439: Fix broken stack debugging (Chris Penner) #5431
• 5c48d51: Remove redundant EQLU implementation (Chris Penner) #5431
• fa98895: Fix bad eqlu/cmpu (Chris Penner) #5431
• 86bd7fb: Fix byte poking (Chris Penner) #5431
• 2e0678d: Remove some debugging (Chris Penner) #5431
• 00f0ee0: Add separate instructions for Int versions of bit-twiddling (Chris Penner) #5431
• 679239d: Fix truncate0 (Chris Penner) #5431
• 741231b: Fix dropn output type (Chris Penner) #5431
• b698ae8: automatically run ormolu (ChrisPenner) #5431
• e0dbbf1: Sort branches local to the current project to the bottom of the fzf list. (Chris Penner) #5437
• b795c72: Enable top-level value caching in jit (Dan Doel) #5438
• e0f0471: Just use nats for buffer tags on the stack (Chris Penner) #5431
• 809c23a: Split up in-place mutation so the stack debugger works (Chris Penner) #5431
• 0f691a9: Update transcripts (Chris Penner) #5431
• e9f2b0b: Re-merge trunk (Chris Penner) #5431
• 80a7473: Fix runtime Serialization tests (Chris Penner) #5431
• ca2d1f6: Fix bad unsafeCoerce to Closure (Chris Penner) #5431
• d604eb9: Use the proper unit calling conventions for builtins (Chris Penner) #5431
• 4b06b4c: Relax int/nat equality/comparisons to account for loss of information in load/save roundtrips (Chris Penner) #5431
• 0e98a5f: Re-run transcripts (Chris Penner) #5431
• f963030: Don't need to peek boxed stack (Chris Penner) #5431
• 384bd6b: Bump macos github actions runners from deprecated macos-12 to macos-13 (Chris Penner) #5439
• 2c05951: Fix up universalCompare some more (Chris Penner) #5431
• 8a455ab: Add some more runtime tests (Chris Penner) #5431
• 687bcda: switch more instances of macos-12 to -13 (Arya Irani) #5439
• 99097ac: ⅄ trunk → 24-10-16-edit-dependents (Mitchell Dalvi Rosen) #5466
• ea2586b: fix unisonweb#5441 - malformed Unison examples in source code (Kyle Goetz) #5442
• 5e64b29: Replace PackedTag runtime types with a custom type (Chris Penner) #5431
• bf1f160: Merge trunk (Chris Penner) #5431
• d7dce78: Remove borked copied file (Chris Penner) #5431
• b9dbf49: add some merge progress output messages (Mitchell Dalvi Rosen) #5443
• 18287d5: PR cleanup (Chris Penner) #5431
• afb65c9: Make universalCompare more consistent (Chris Penner) #5431
• 570b186: Fix universalCompare's handling of value lists and nats/ints (Chris Penner) #5431
• 237947e: Rerun runtime tests transcript (Chris Penner) #5431
• e4d7193: ⅄ trunk → 24-10-31-merge-feedback (Mitchell Dalvi Rosen) #5443
• f1ba835: switch to console regions for merge progress output (Mitchell Dalvi Rosen) #5443
• 2c11caa: move delete.namespace implementation into its own module (Mitchell Dalvi Rosen) #5452
• 1355300: Remove unnecessary allocations of unboxed type tags (Chris Penner) #5431
• 78cbe72: add failing transcript (Mitchell Dalvi Rosen) #5452
• ade889f: Add verification for non-test transcripts (Greg Pfeil) #5406
• bff98d3: Fix typo in bug_report template (Greg Pfeil) #5406
• bc93be5: Merge remote-tracking branch 'upstream/trunk' into transcript-edit (Greg Pfeil) #5406
• 2673620: Update interpreter test output (Greg Pfeil) #5406
• 2775b58: Unify @keyword{…} constructs in Doc parser (Greg Pfeil) #5450
• 911c799: Validate pull_request_template as transcript (Greg Pfeil) #5406
• 5ee4794: in delete.namespace, don't worry about endangered definitions in lib itself (Mitchell Dalvi Rosen) #5452
• e05237e: Fix stackchecks (Chris Penner) #5431
• 77757dd: Actually calculate inlining info for builtins (Dan Doel) #5454
• d4ea9a2: Fix stack debugging (Chris Penner) #5431
• a8e18d8: Remove ANF.inline (Chris Penner) #5457
• 32c748a: Add instructions for DropN and truncate0 (Chris Penner) #5447
• b670409: Make Ref.read Ref.write instructions (Chris Penner) #5447
• 3abb9b4: Make instructions for more Ref primitives (Chris Penner) #5447
• b66619f: PR cleanup (Chris Penner) #5447
• 4b9e75f: Merge latest trunk (Chris Penner) #5431
• 6336c05: Get CAS working as expected and add some comments (Chris Penner) #5447
• 3052612: Add indicator to prompt when on staging (Chris Penner) #5458
• cfc85bb: Don't treat blocks with null annotations as equal by default (Chris Penner) #5460
• c60cbbc: Make unsafe.force-push visible (Chris Penner) #5459
• cad3c76: Simplify special cases to just hash-references (Chris Penner) #5460
• 5d11b23: Get compiling (Chris Penner) #5460
• d39e1a0: Re-run transcripts (Chris Penner) #5460
• 68f55ac: add edit.dependents command (Mitchell Dalvi Rosen) #5466
• 7545ed6: ⅄ trunk → 24-10-16-edit-dependents (Mitchell Dalvi Rosen) #5466
• 111356e: add progress messages to edit.dependents (Mitchell Dalvi Rosen) #5466
• f80caa6: Provide proper fallback for case where things are actually equal. (Chris Penner) #5462
• 5c3f615: Update transcripts (Chris Penner) #5462
• b6f8895: Better handling of weird tuple case (Chris Penner) #5462
• 4495ac2: Rerun transcripts (Chris Penner) #5462
• 4332f42: Remove stray HasCallStack in Machine (Chris Penner) #5463
• 9b92ea2: Gitignore more profiling files (Chris Penner) #5463
• 547fdbf: rerun transcripts (reminder to rerun CI!) (aryairani) #5459
• c08c309: add failing transcript (Mitchell Dalvi Rosen) #5465
• don't consider shortening variables with use statements #5465 (Mitchell Dalvi Rosen)
• b7edcd6: More precise blank lines in transcript UCM blocks (Greg Pfeil) #5406
• 7e26050: Merge remote-tracking branch 'upstream/trunk' into transcript-edit (Greg Pfeil) #5406
• 0d7fefa: make edit.dependents pull in the edited thing as well, not just dependents (Mitchell Dalvi Rosen) #5466
• 9ca3fc9: Stabilize a comment that breaks Ormolu idempotency (Greg Pfeil) #5469
• 6d14ff1: Run Ormolu 0.7.2.0 on the entire code base (Greg Pfeil) #5469
• 606419a: Some manual formatting, based on Ormolu changes (Greg Pfeil) #5469
• fbc64a0: ⅄ trunk → 24-10-16-edit-dependents (Mitchell Dalvi Rosen) #5466
• 395571b: PR feedback (Chris Penner) #5447
• 6c2a6e9: run transcripts (Mitchell Dalvi Rosen) #5466
• 89c2fe2: Define BoolVal patterns and true/false singleton vals (Chris Penner) #5449
• 9d5911f: Define new instrs for lt, neq (Chris Penner) #5449
• 2424312: Remove boolift/notlift (Chris Penner) #5449
• 845833c: Remove superfluous bool combinators (Chris Penner) #5449
• 17531ab: Fix up bool pattern matching (Chris Penner) #5449
• 91b6405: Fix Stack.hs in stackcheck mode (Chris Penner) #5449
• 4ac40d4: Re-merge trunk (Chris Penner) #5447
• b04aa8b: Add dumpcore flag (Chris Penner) #5449
• cb69a72: Revert Ref.read Ref.write to untracked because they're shared between IO and Scope interfaces. (Chris Penner) #5474
• fcfee18: make update output use console regions (Mitchell Dalvi Rosen) #5479