7 Commits

Author	SHA1	Message	Date
mark	aff55fdc9e	changed VData system again, renamed src/script to src/lang and added src/c.mers, which is an example something that currently does not work properly due to the VData implementation (and serves as a reminder to fix the issue)	2023-05-14 00:11:36 +02:00
mark	4efee9e2a2	completely changed the VData/VDataEnum system: Multiple VData can share one VDataEnum via an Arc<Mutex<VDataEnum>>. If one wants to modify the data, it copies it (Copy on Write). This copying is skipped for shared mutable data (references). This was necessary for the get_ref() function. Expect bugs!	2023-05-11 01:04:15 +02:00
mark	a7bb3e67fa	libraries can now work threaded if they wish (see http_requests). This means that multiple functions provided by one library can run at the same time (using thread(), see http.mers) and actually do the work they need to do simultaneously.	2023-05-09 22:11:13 +02:00
Dummi26	ca1dbf2722	changed "var type = value" syntax to "var::type = value" and added the tutor (mers -t)	2023-04-25 02:55:16 +02:00
Dummi26	699c0081aa	removed mers_libs/*/Cargo.lock	2023-04-13 17:55:18 +02:00
Dummi26	765a2597ee	added thread example and made small changes to the readme	2023-04-13 04:04:48 +02:00
Dummi26	ce61749260	- Added assume_no_enum() because the Err enum is used at least as often as [] for reporting fails. ... - changed substring(a b) behavior from "b is the max length of the resulting string" to "b is the exclusive end index, unless it is negative, in which case its abs() value is the maximum length". - fixed a bug in libs/path - added the http_requests library, which can be used to make very basic GET requests - fixed a bug in the gui library that would mess up button handling - you can now escape comments using a backslash `\`: \// will turn into the literal //, \/* will turn into the literal /*. Useful for URLs (because comments work in string literals). Putting a backslash before a linebreak will also ignore that linebreak (useful in long string literals)	2023-04-13 03:04:47 +02:00