Richard Feldman
|
f3dfab8a94
|
Fix incorrect merge resolution of Http module
|
2022-09-14 11:26:44 -05:00 |
|
Richard Feldman
|
7d1376b273
|
Add Env to cli example
|
2022-09-14 11:26:43 -05:00 |
|
Richard Feldman
|
ddbfd48ca3
|
Merge branch 'main' into pass-args-to-cli
|
2022-09-12 23:53:55 -04:00 |
|
Richard Feldman
|
3f467459f9
|
roc format
|
2022-09-12 20:39:06 -04:00 |
|
Richard Feldman
|
33ca6147c9
|
Fix CLI platform docs
|
2022-09-12 20:39:05 -04:00 |
|
Richard Feldman
|
21b74f6dbb
|
Add Dir and Env to CLI platform
|
2022-09-12 20:19:12 -04:00 |
|
Richard Feldman
|
4ccd726141
|
Fix File.readBytes
|
2022-09-12 20:18:52 -04:00 |
|
Richard Feldman
|
81d11e4edd
|
Add File.delete to CLI platform
|
2022-09-12 20:18:51 -04:00 |
|
Ayaz Hafiz
|
c85562f3e8
|
Format
|
2022-09-12 12:25:37 -04:00 |
|
Ayaz Hafiz
|
42fdae4a57
|
Pass args by pointer
|
2022-09-12 12:25:37 -04:00 |
|
Ayaz Hafiz
|
203b21f7d1
|
Use OS args rather than string args
|
2022-09-12 12:25:36 -04:00 |
|
Ayaz Hafiz
|
ec628ed5c6
|
Pass cli arguments to main required by cli platform
|
2022-09-12 12:23:28 -04:00 |
|
Richard Feldman
|
24dcc91799
|
Work around formatter bug (namely #4013)
|
2022-09-11 20:26:49 -04:00 |
|
Richard Feldman
|
d13d79d455
|
roc format
|
2022-09-11 19:28:36 -04:00 |
|
Richard Feldman
|
079311d080
|
Flesh out basic file I/O examples
|
2022-09-11 16:56:04 -04:00 |
|
Richard Feldman
|
224475a87d
|
Simplify File error types
|
2022-09-11 16:56:04 -04:00 |
|
Richard Feldman
|
d7235d376f
|
Improve documentation in File.roc
|
2022-09-11 16:56:04 -04:00 |
|
Folkert
|
a0fe1ec453
|
use repr(u8) instead of repr(C) for an enum
|
2022-09-11 16:56:03 -04:00 |
|
Richard Feldman
|
7adc9c972b
|
Reanme path_from_list to path_from_roc_path
|
2022-09-11 16:56:03 -04:00 |
|
Richard Feldman
|
13ae5c068b
|
Extract write_slice
|
2022-09-11 16:56:03 -04:00 |
|
Richard Feldman
|
ca730c5b52
|
Basic implementations of file I/O in the host
|
2022-09-11 16:56:02 -04:00 |
|
Richard Feldman
|
f39e7e6737
|
Add File to CLI platform
|
2022-09-11 16:56:02 -04:00 |
|
Richard Feldman
|
75af7b2c5c
|
Add InternalTask
|
2022-09-11 16:56:02 -04:00 |
|
Richard Feldman
|
4a14a019b6
|
Add new File I/O CLI effects
|
2022-09-11 16:56:02 -04:00 |
|
Richard Feldman
|
762fa75511
|
Add Stderr.line to cli-platform
|
2022-09-11 16:56:02 -04:00 |
|
Richard Feldman
|
1093bdde63
|
Fix a broken doc link
|
2022-09-03 20:25:48 -04:00 |
|
Richard Feldman
|
1ce5d7c98c
|
Remove some incorrect pf. qualifications
|
2022-09-03 19:00:31 -04:00 |
|
Richard Feldman
|
37329860d1
|
Re-enable and consolidate some CLI tests
|
2022-08-11 17:22:02 -04:00 |
|
Anton-4
|
6a15a7b41b
|
changed Cargo versions from 0.1.0 to 0.0.1
|
2022-08-03 11:41:19 +02:00 |
|
Richard Feldman
|
763f7eafcd
|
Use rustls in cli-platform example
|
2022-07-25 13:05:01 -04:00 |
|
Richard Feldman
|
ed69a73786
|
Update glue tests
|
2022-07-24 11:57:01 -04:00 |
|
Brian Carroll
|
49aef87b4a
|
Get rid of options that don't do anything
|
2022-07-23 09:11:30 +01:00 |
|
Brian Carroll
|
e5a2bb86b6
|
Handle response headers
|
2022-07-23 09:04:47 +01:00 |
|
Brian Carroll
|
b5edd03554
|
http: configure method, headers, etc.
|
2022-07-23 08:53:52 +01:00 |
|
Brian Carroll
|
f8771ebeb2
|
http: Switch to using reqwest crate for blocking http
|
2022-07-23 08:53:51 +01:00 |
|
Brian Carroll
|
a2b130a3c3
|
Use RocList::from_iter in sendRequest
|
2022-07-23 08:53:51 +01:00 |
|
Richard Feldman
|
c0b0b5e12b
|
Merge remote-tracking branch 'origin/trunk' into path-fixes
|
2022-07-21 11:02:23 -04:00 |
|
Ayaz Hafiz
|
29b37a10df
|
Correctly use module name in linked functions
|
2022-07-21 09:02:04 -04:00 |
|
Brian Carroll
|
5c94064c7b
|
Remove multiPartBody since it's not implemented properly
|
2022-07-18 23:21:24 +01:00 |
|
Brian Carroll
|
e1bf4a317a
|
Re-export Http types from the Http module itself
|
2022-07-18 23:16:54 +01:00 |
|
Brian Carroll
|
16af6fc297
|
Format Http.roc
|
2022-07-18 18:26:49 +01:00 |
|
Brian Carroll
|
e7c26ae3b1
|
Regenerate glue code for cli-platform
|
2022-07-17 22:00:21 +01:00 |
|
Brian Carroll
|
bcfd50724f
|
More cleanup on Http platform & app
|
2022-07-17 22:00:21 +01:00 |
|
Brian Carroll
|
b0e8951e6b
|
Add some TODO comments
|
2022-07-17 22:00:20 +01:00 |
|
Brian Carroll
|
b84aac098e
|
Tidy up reading the Response body bytes
|
2022-07-17 22:00:20 +01:00 |
|
Brian Carroll
|
c50cbd265a
|
Wrap a record in Box before passing it to the host, to work around an ABI issue
|
2022-07-17 22:00:19 +01:00 |
|
Brian Carroll
|
3c506eb79c
|
Update bindgen glue code
|
2022-07-17 22:00:19 +01:00 |
|
Brian Carroll
|
a4e4dc84b1
|
Change Method type to a tag union
|
2022-07-17 22:00:19 +01:00 |
|
Brian Carroll
|
f1e88e8af6
|
Use a tag instead of record for Http Header. Nicer in real usage.
|
2022-07-17 22:00:18 +01:00 |
|
Brian Carroll
|
33d8e12d31
|
Http example is running! Not debugged yet.
|
2022-07-17 22:00:17 +01:00 |
|