326 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
ajeffrey@roblox.com	dbf35b4176	Get smoketest to run	2022-02-08 10:30:53 -06:00
ajeffrey@roblox.com	1aae874c38	Try package-env not package-db	2022-02-08 10:07:56 -06:00
ajeffrey@roblox.com	ae1f2e2e86	Try using an explcit package.db	2022-02-08 09:55:24 -06:00
ajeffrey@roblox.com	48831529d8	Try to get cabal weirdness not to be weird	2022-02-07 22:03:58 -06:00
ajeffrey@roblox.com	90e356c77c	Try to get cabal weirdness not to be weird	2022-02-07 21:40:13 -06:00
ajeffrey@roblox.com	7dae33b7ae	Try to get cabal weirdness not to be weird	2022-02-07 21:14:16 -06:00
ajeffrey@roblox.com	8c390ffee2	Try to get cabal weirdness not to be weird	2022-02-07 20:10:15 -06:00
ajeffrey@roblox.com	2d04049077	Run prototypinmg action when workflows dir changes	2022-02-07 19:35:01 -06:00
ajeffrey@roblox.com	d0a4510d2d	Install agda from cabal	2022-02-07 19:00:47 -06:00
ajeffrey@roblox.com	33ba6b0e3f	Trying to get it to compile with Agda 2.6.0	2022-02-07 18:10:13 -06:00
ajeffrey@roblox.com	e86b9772c8	Renaming Main to PrettyPrinter	2022-02-07 17:20:56 -06:00
ajeffrey@roblox.com	ce9b7e4c70	Add cabal update to workflow	2022-02-07 17:10:58 -06:00
ajeffrey@roblox.com	50a9ea1b63	Updated README	2022-02-07 17:09:58 -06:00
ajeffrey@roblox.com	a1325c106d	First cut github actions	2022-02-07 17:04:34 -06:00
ajeffrey@roblox.com	121bc52cc3	Exit code 1 on errors	2022-02-07 16:34:03 -06:00
ajeffrey@roblox.com	9ac0bec0d9	Got a smoke test to run	2022-02-07 16:17:06 -06:00
ajeffrey@roblox.com	32f36a2f36	Merge remote-tracking branch 'upstream/master' into prototyping	2022-02-07 14:58:27 -06:00
ajeffrey@roblox.com	de2eabd0f3	Completed translating lambda-calculus + nil from JSON to Agda	2022-02-07 14:50:37 -06:00
Lily Brown	7ffb5fc4fd	Add Luau.Ast.CLI target (#345) ... Adds a `luau-ast` CLI that dumps Luau source to JSON. @asajeffrey and I are planning to use this functionality to construct an Agda model of the Luau type system/operational semantics, to allow formally proving properties of Luau's type systems.	2022-02-07 12:08:43 -08:00
ajeffrey@roblox.com	9281afe33d	Added more FromJSON keys	2022-02-07 11:45:33 -06:00
ajeffrey@roblox.com	1fdc53d0ce	Improved handling of Stat/Block	2022-02-04 18:53:55 -06:00
ajeffrey@roblox.com	f736da826c	Added bare-bones examples	2022-02-04 16:52:39 -06:00
Arseny Kapoulkine	e51ff38d19	Sync to upstream/release/513 (#342)	2022-02-04 12:46:08 -08:00
Arseny Kapoulkine	d58e70b8c1	Sync to upstream/release/513 (#340)	2022-02-04 08:45:57 -08:00
ajeffrey@roblox.com	7112657c87	Added pretty printer	2022-02-03 17:45:22 -06:00
ajeffrey@roblox.com	dbbe6788f5	Added more bindings from Data.Aeson	2022-02-03 14:49:33 -06:00
ajeffrey@roblox.com	4fbca71dcd	Added first cut syntax	2022-02-03 14:16:05 -06:00
ajeffrey@roblox.com	7ae6aca387	First cut reading JSON into Agda	2022-02-02 19:01:33 -06:00
Andy Friesen	c572f6944f	January 2022 recap (#331)	2022-02-01 14:49:55 -08:00
Arseny Kapoulkine	2f989fc049	Sync to upstream/release/512 (#330) ... - Improve refinement support for unions, in particular it's now possible to implement tagged unions as a union of tables where individual branches use a string literal type for one of the fields. - Fix `string.split` type information - Optimize `select(_, ...)` to run in constant time (~2.7x faster on VariadicSelect benchmark) - Improve debug line information for multi-line assignments - Improve compilation of table literals when table keys are constant expressions/variables - Use forward GC barrier for `setmetatable` which slightly accelerates GC progress	2022-01-27 15:46:05 -08:00
Vlad Marica	4b96f7efc1	luau-analyze: Add support for reading source code from stdin (#325) ... Co-authored-by: Arseny Kapoulkine <arseny.kapoulkine@gmail.com>	2022-01-25 08:25:01 -08:00
Arseny Kapoulkine	8fe95c9963	Sync to upstream/release/511 (#324) ... - TableOperations lint now includes a warning for table.create(N, {}) (which is likely a mistake since the table is shared by all entries) - Type checker now type checks #v when v is a union - Parser now rejects sources that consists of a single unfinished long comment - Work around significant MSVC 2022 performance regression, bringing it more or less in line with MSVC 2019 - Compiler now predicts array size for newly allocated tables when the table is filled in a short loop - Small improvements in compilation throughput (~2% faster) - Implement paged sweeper for GC which improves sweep throughput 2-3x and reduces memory consumption by 8 bytes per object (once it is stabilized we will see additional 8 bytes per object of savings) - Improve Repl Tab completion - Repl now supports -i (interactive mode to run code in context of a script's environment) and -On (to control optimization flags)	2022-01-21 09:00:19 -08:00
Shiro	478a3da634	Update copyright years. (#323)	2022-01-20 09:42:49 -08:00
JohnnyMorganz	4e5ff99582	Improve Grammar documentation (#315)	2022-01-20 08:27:19 -08:00
dcope-rbx	49ce5096a4	Fixed a couple spelling mistakes in markdown files. (#316)	2022-01-17 09:44:31 -08:00
Halalaluyafail3	497d625f73	Fix some mistakes in the documentation (#314)	2022-01-14 13:42:49 -08:00
Arseny Kapoulkine	32c39e2162	Sync to upstream/release/510 (#313)	2022-01-14 08:20:09 -08:00
Arseny Kapoulkine	b2af550b08	Update grammar.md ... Add forgotten quotes around 'type'; reported by @Dionysusnu	2022-01-13 15:23:18 -08:00
Arseny Kapoulkine	d6ba106be6	Update compatibility.md ... Add a note about function identity	2022-01-12 11:56:46 -08:00
T 'Filtered' C	abf9fc2754	Update compatibility.md to split coroutine.close from lua_resetthread (#309) ... Co-authored-by: Arseny Kapoulkine <arseny.kapoulkine@gmail.com>	2022-01-12 11:50:25 -08:00
rafa_br34	b7f78f4997	MSVC warning C4244 fixes (#308) ... Co-authored-by: Arseny Kapoulkine <arseny.kapoulkine@gmail.com>	2022-01-12 10:05:31 -08:00
Arseny Kapoulkine	b7a7b92d12	Update syntax.md ... Remove confusing block because it reads as if we *do* support this syntax if you aren't reading carefully.	2022-01-11 13:24:56 -08:00
Arseny Kapoulkine	a23b467485	Add turbofish discussion to generic function RFC (#300)	2022-01-07 11:07:36 -08:00
Arseny Kapoulkine	287b46e6a7	Mark bidirectional ascription RFC as implemented (#305)	2022-01-07 11:07:22 -08:00
Arseny Kapoulkine	b5e338325b	Mark coroutine.close RFC as implemented (#304)	2022-01-07 08:52:33 -08:00
Arseny Kapoulkine	d50b079325	Sync to upstream/release/509 (#303) ... - Rework transaction log used for type checking which should result in more robust type checking internals with fewer bugs - Reduce the amount of memory consumed by type checker on large module graphs - Type checker now errors on attempts to change the type of imported module fields - The return type of newproxy is now any (fixes #296) - Implement new number printing algorithm (Schubfach) which makes tostring() produce precise (round-trippable) and short decimal output up to 10x faster - Fix lua_Debug::linedefined to point to the line with the function definition instead of the first statement (fixes #265) - Fix minor bugs in Tab completion in Repl - Repl now saves/restores command history in ~/.luau_history	2022-01-06 17:46:53 -08:00
Arseny Kapoulkine	d323237b6c	Sync to upstream/release/508 (#301) ... This version isn't for release because we've skipped some internal numbers due to year-end schedule changes, but it's better to merge separately.	2022-01-06 15:26:14 -08:00
Alan Jeffrey	82587bef29	RFC: Fix an unsoundness issue around stripping optional properties (#276) ... * Fix an unsoundness issue around stripping optional properties Co-authored-by: vegorov-rbx <75688451+vegorov-rbx@users.noreply.github.com>	2022-01-06 12:48:09 -06:00
Arseny Kapoulkine	73b7bcb2da	docs: Move Luau.Web.js fetch to the end of the page ... This was moved in the CodeMirror change, but that may break Module setup in the embedded <script> block, so move it back.	2022-01-04 15:04:25 -08:00
Arseny Kapoulkine	fa35884e5b	Update library.md ... A few small tweaks and fixes.	2021-12-27 13:08:56 -08:00