Anna Maniscalco activity https://gitlab.com/pac85 2026-01-27T15:11:00Z tag:gitlab.com,2026-01-27:5038277612 Anna Maniscalco commented on merge request !565 at spade-lang / spade 2026-01-27T15:11:00Z pac85 Anna Maniscalco

Makes sense, done!

tag:gitlab.com,2026-01-27:5038274631 Anna Maniscalco pushed to project branch lambda_fixx at Anna Maniscalco / spade 2026-01-27T15:10:17Z pac85 Anna Maniscalco

Anna Maniscalco (ada8db66) at 27 Jan 15:10

Deduplicate lambda captures

tag:gitlab.com,2026-01-25:5030877666 Anna Maniscalco commented on merge request !565 at spade-lang / spade 2026-01-25T16:36:16Z pac85 Anna Maniscalco

Just noticed the typo in the commit message and todo CI was complaining about. Fixed that too

tag:gitlab.com,2026-01-25:5030876295 Anna Maniscalco pushed to project branch lambda_fixx at Anna Maniscalco / spade 2026-01-25T16:35:18Z pac85 Anna Maniscalco

Anna Maniscalco (7035b5df) at 25 Jan 16:35

Deduplicate lambda captures

tag:gitlab.com,2026-01-21:5019905155 Anna Maniscalco commented on merge request !565 at spade-lang / spade 2026-01-21T23:20:34Z pac85 Anna Maniscalco

You are welcome!

Should be addressed.

tag:gitlab.com,2026-01-21:5019901816 Anna Maniscalco pushed to project branch lambda_fixx at Anna Maniscalco / spade 2026-01-21T23:19:26Z pac85 Anna Maniscalco

Anna Maniscalco (1b5e51ff) at 21 Jan 23:19

Deduplicate lamda captures

tag:gitlab.com,2026-01-18:5006931054 Anna Maniscalco opened merge request !565: Deduplicate lamda captures at spade-lang / spade 2026-01-18T19:22:53Z pac85 Anna Maniscalco

This example

entity ex(
	arg: uint<8>,
) {
		let reqs: [uint<8>; 1] = [0];
    let reqs: [uint<8>; 1] = reqs
			.map(fn |i| {
					trunc(arg + arg)
			});
}

fails with the following error:

error: Multiple arguments with the same name
  ┌─ /tmp/lol.spade:2:2

2 │     arg: uint<8>,
  │     ^^^
  │     │
  │     arg later declared here
  │     arg previously declared here

error: {unknown} does not have any methods
   ┌─ <compiler dir>/stdlib/array.spade:36:14

36 │             [f.call((self[0],))].concat(self[1..N].map(f))
   │              ^

Error: aborting due to previous error

Location:
    spade-compiler/src/main.rs:174:17

Which is rather confusing. It turns out that this is a bug in the lambda variable capture code which creates a type definition with as many declarations for a capture as there are uses.

tag:gitlab.com,2026-01-18:5006926864 Anna Maniscalco pushed new project branch lambda_fixx at Anna Maniscalco / spade 2026-01-18T19:19:09Z pac85 Anna Maniscalco

Anna Maniscalco (78ff7b06) at 18 Jan 19:19

Deduplicate lamda captures

tag:gitlab.com,2026-01-18:5006918331 Anna Maniscalco pushed to project branch main at Anna Maniscalco / spade 2026-01-18T19:08:20Z pac85 Anna Maniscalco

Anna Maniscalco (9dcec060) at 18 Jan 19:08

Deduplicate lamda captures

tag:gitlab.com,2026-01-18:5006917611 Anna Maniscalco created project Anna Maniscalco / spade 2026-01-18T19:07:21Z pac85 Anna Maniscalco tag:gitlab.com,2025-05-22:4288705033 Anna Maniscalco pushed new project branch master at Anna Maniscalco / ftrace_gpumem 2025-05-22T16:57:51Z pac85 Anna Maniscalco

Anna Maniscalco (1107eed6) at 22 May 16:57

Initial commit

tag:gitlab.com,2025-05-22:4288703675 Anna Maniscalco created project Anna Maniscalco / ftrace_gpumem 2025-05-22T16:57:17Z pac85 Anna Maniscalco