73 Commits

Author	SHA1	Message	Date
bakaq	baae1dca15	Refactor UserInput to use channels	2025-02-16 04:04:48 -03:00
bakaq	7a6620b52d	Add input stream channel	2025-02-16 04:04:48 -03:00
bakaq	dd6533e76c	Add callback streams	2025-02-16 03:52:52 -03:00
Emilie Burgun	7f2ce57ba7	Fix stream realiasing possibly shadowing other streams.	2025-02-06 23:01:33 +01:00
Emilie Burgun	949d316773	Fix realiased streams causing close/1 to leave a dangling stream	2025-02-06 23:00:00 +01:00
Emilie Burgun	0cf46d3ec4	Encapsulate accesses to IndexStore::streams and ::stream_aliases ... These two fields are able to hold `Stream` instances, which predicates like `close/1` expect to be managed properly for their correctness. To ensure that this is the case, I have removed direct accesses to those two fields, so that they can be properly managed in one place.	2025-02-06 23:00:00 +01:00
Emilie Burgun	2fe7b55343	Fix close/1 messing up stream_aliases when user_input or user_output aren't set to Stdin and Stdout	2025-02-03 00:07:39 +01:00
bakaq	d32f3ee2f3	Fix warnings	2024-09-06 18:42:31 -03:00
Adrián Arroyo Calle	e310f9683e	Fix build on WASM after #2442 ... (cherry-pick of 3acf4c637b6f8b17bb0230edeaaae0507d9030d1 from PR mthom/scryer-prolog#2446)	2024-07-26 01:08:00 +02:00
Bennet Bleßmann	1eb6a883f6	run rustfmt	2024-07-23 00:01:58 +02:00
Mark Thom	eaa95293e4	Merge pull request #2439 from Skgland/miri ... Some cleanup and miri fixes	2024-07-22 13:40:57 -06:00
Bennet Bleßmann	5d03be4b09	fix leak of slaps with dropped payload	2024-07-07 19:22:46 +02:00
Bennet Bleßmann	1b19ae81d5	wrap Payloads that are dropped eraly in ManuallyDrop	2024-07-07 15:58:31 +02:00
Bennet Bleßmann	496e4e9f56	fix clippy again	2024-07-07 11:31:36 +02:00
Adrián Arroyo Calle	08a9f7c068	Fix at_end_of_stream/1 for http read stream	2024-07-06 16:00:50 +02:00
Bennet Bleßmann	285f11ccdc	add associated Payload type to ArenaAllocated	2024-07-06 15:37:08 +02:00
Bennet Bleßmann	dd2548453b	rework some unsafe parts ... - removed some unsafe - added some safety comments - add explicit types to transmute calls - reworked UntypedArenaPtr -> TypedArenaPtr conversion might help with mthom/scryer-prolog#2438, I noticed fewer complains from miri after changing the default impl for `ArenaAllocated::alloc`	2024-07-05 23:45:02 +02:00
Bennet Bleßmann	1a9d10d298	fix two clippy lints	2024-05-28 21:28:18 +02:00
Mark Thom	a6157a926d	improve use of unsafe Rust in arena.rs (#2391)	2024-04-24 20:28:06 -06:00
Mark	b70f121e46	use scryer-modular-bitfield on github, version bump	2024-02-29 10:08:14 -07:00
Mark	75a94fd0b3	fmt	2024-02-02 11:49:02 -07:00
bakaq	f02c0eacd8	Make "cargo miri test" actually run	2024-01-09 04:38:53 -03:00
Mark	631674db29	open pl files instead of directories (#2014)	2023-11-28 15:32:06 -07:00
infogulch	9444e62df9	Resolve lints and format	2023-11-04 02:16:54 -05:00
Nicolas Luck	0c9740fe52	Fix wasm warnings	2023-10-17 22:07:38 +02:00
Adrián Arroyo Calle	660860bccf	Replace Hyper with Warp for HTTP server ... - Use Warp - Optimize clones - HTTPS server - Content-Length limit - HTTP Basic Auth - Stop server with Ctrl-C	2023-09-27 18:50:19 +02:00
Mark	b3239abea1	throw resource error if OpenOptions raises an error of uncategorized kind (#1375)	2023-09-21 14:36:53 -06:00
Skgland	86166dbf25	[WIP] make AtomTable concurrentcy ready	2023-09-05 19:12:22 +02:00
Skgland	b2130c2a48	run cargo fmt	2023-09-05 19:12:17 +02:00
Rujia Liu	4fd059be5f	32-bit system support, addressing all (at most) 4GB addresses of RAM.	2023-08-24 20:05:40 +08:00
Rujia Liu	25d4950216	Allow users to disable optional features. Needed for wasm32 support (see #615).	2023-08-21 10:01:24 +08:00
Mark	86c90d77dd	do a better job handling EOF in read_term (#1887)	2023-07-17 13:19:30 -06:00
Mark	b051f39145	correct peek_byte/2 bugs (#1882)	2023-07-13 12:23:20 -06:00
Mark	3f5dbc1680	emit stream aliases as permission error culprits whenever possible	2023-07-12 12:17:06 -06:00
Mark	067b5998ee	clarify EOF error across stream types and predicates (#1867, #1870)	2023-07-08 13:38:52 -06:00
Adrián Arroyo Calle	330e9ba4ef	Multiple fixes for http libraries ... * use reqwest for http_open (still uses Hyper underneath) * use Hyper 1.0.0-rc3 for server * Modify all internal handling of server	2023-06-29 23:43:37 +02:00
Mark	16f281e3d1	enable unification of streams to alias atoms (#1823)	2023-06-27 12:23:40 -06:00
Mark Thom	ce56a7303e	avoid arena allocation of stream in read_term_from_chars (#1266)	2023-01-31 00:15:57 -07:00
Adrián Arroyo Calle	181be5be3f	HTTP Server 2.0	2022-10-26 23:36:07 -06:00
Mark Thom	1ffbf63d20	inline metacalls	2022-10-26 23:36:07 -06:00
Mark Thom	084fc84590	use existence_error for dropped streams (#1472)	2022-05-23 11:15:58 -06:00
Mark Thom	10a11c293e	fix stream position and term comparison bugs (#1472)	2022-05-22 14:16:14 -06:00
Mark Thom	32bdedde6d	Merge pull request #1373 from aarroyoc/http-open ... Add Hyper based `http_open/3`	2022-03-28 23:10:08 -06:00
Mark Thom	48960f1beb	print closed stream handle as '$dropped_value' (#1376)	2022-03-28 19:03:33 -06:00
Adrián Arroyo Calle	45c35eca3e	Add close handling of http stream	2022-03-28 21:04:46 +02:00
Adrián Arroyo Calle	3acbe2a418	http_open/3 with method option	2022-03-28 20:38:52 +02:00
Mark Thom	f520c38b60	Stream::close() should close file handles (#1374)	2022-03-27 13:08:43 -06:00
William Kral	5f1f07e5a1	Add --no-add-history flag ... Flag prevents the input stream from saving terms to ~/.scryer_history when set. Use the flag when running tests to increase test isolation.	2022-03-10 21:48:41 -08:00
Mark Thom	66c209f9e4	reset ReadlineStream from read_query_line (#1317, #1285)	2022-03-05 17:39:13 -07:00
Mark Thom	1a86ad5cec	upgrade rustyline	2022-01-06 21:44:41 -07:00