Andy Wingo
it is very silly for webassembly to have three top types. i said it!
Mar 3 at 1:24pmWeb
Show threadalgernon.stMar 3
@wingo is this the vectype, numtype, and absheaptype; or am i skimming the spec too lightly
Show threadAndy WingoMar 3
@zardoz03 any, func, and extern
Show threadRyan HuntMar 3
@wingo four if you count contref! Whoever suggested we have a “bottomest bottom” type should feel v. silly
Show threadLaurence TrattMar 3
@wingo You want four, or more?
Show threadAndy WingoMar 3
@ltratt you ask, @ryan has provided 😇 https://social.eqrion.net/@ryan/116165616001095274
Show threadLaurence TrattMar 3
@wingo @eqrion Problem solved!
Show threadBen ZaninMar 4
@wingo tyop types
Show threadBen ZaninMar 4
@wingo indeed, a tryo of tyop types