Max Graey

> f people have other files I should test on please let me know Here's another pretty big file. This is the AssemblyScript compiler compiled by itself in release mode:...

> it immediately hits a bug in the superoptimizer and crashes... Note we use sign extensions, bulk memory and non-trapping float conv by default. Perhaps this may cause to problem...

Btw you can add all found missing opportunities for peephole opt here: https://github.com/WebAssembly/binaryen/issues/1764

Well, `8.` is not a bug: ```ts export function test(x: i32): bool { return (x & 128) != 128; } ``` This optimized by Binaryen as ```wat (func $test (param...

Well, this good proposal which propose to finally complete Sigma-type (Σ type) and Π type from Dependent Types theory (TypeScript supports a limited form where you can only make enumerations...

> And another strange thing: > > ``` > ERROR TS2339: Property 'fromU8a' does not exist on type 'assembly/AbstractInt/AbstractInt'. > > expect(UInt32.fromU8a([0xff, 0xff, 0xff, 0x3f])).toStrictEqual( > ~~~~~~~ > in assembly/__tests__/UInt.spec.ts(214,31)...

Hmm, good catch. That's definitely could be improved

Perhaps this is an interesting idea for implementing Partial Evaluation (which can be "online", "offline" and most flexibly ["hybrid"](https://www.cs.utexas.edu/~wcook/Drafts/2011/javape.pdf))

Should be fixed now

Thanks for explanation! > you may think that []str is possible, which isn't. But isn't this pretty meaningful limitation? Why arrays of strings not possible? Or is it temporal limitation?