5 Commits

Author	SHA1	Message	Date
Edwin Brady	0a246af449	Make Buffer more primitive ... Meaning that the FFI is aware of it, so you can send arbitrary byte data to foreign calls. Fixes #209 This means that we no longer need the hacky way of reading and writing binary data via scheme, so can have a more general interface for reading and writing buffer data in files. It will also enable more interesting high level interfaces to binary data, with C calls being used where necessary. Note that the Buffer primitive are unsafe! They always have been, of course... so perhaps (later) they should have 'unsafe' as part of their name and better high level safe interfaces on top. This requires updating the scheme to support Buffer as an FFI primitive, but shouldn't affect Idris2-boot which loads buffers its own way.	2020-06-11 14:05:52 +01:00
Edwin Brady	2eb2ce6097	Add Bits primitives ... Including appropriate casts, and Num/Eq/Ord/Show implementations. Also includes new primitives in Data.Buffer, and calls to foreign functions in C as 'unsigned'.	2020-06-01 11:48:03 +01:00
Edwin Brady	cff5fc2625	Workaround for byte vectors in Racket ... Racket appears to have a different notion of current directory than the system does, so we need to tell it which directory we think we're in when reading and writing bytevectors using the scheme file functions.	2020-05-23 21:37:31 +01:00
Edwin Brady	2569b6e991	Update libraries from upstream	2020-05-19 17:03:18 +01:00
Edwin Brady	dec7dff622	Add libraries	2020-05-18 14:00:08 +01:00