Pyry Kovanen
e09788f2b3
Merge branch 'next/kelvin/411' into next/hoon/138
2023-10-06 21:16:38 +03:00
Joe Bryan
f2495aafdc
Revert "hoon: add pin and awl arms to test and trim subaxes"
2023-10-06 12:31:22 -04:00
Joe Bryan
cddc013ae0
hoon: redefine +shas to match urcrypt jet
2023-10-05 18:37:34 -04:00
Joe Bryan
b3389ef779
hoon: remove ^~ from +bool, misses jet on initial compilation
2023-10-04 22:15:26 -04:00
Joe Bryan
8b1e66c6a1
Merge branch 'next/kelvin/411' into next/hoon/138
2023-10-04 21:58:48 -04:00
Joe Bryan
9a774af4fd
Merge pull request #5884 from urbit/m/wuthax
...
hoon: make ?# wuthax work correctly
2023-09-29 11:49:12 -04:00
Joe Bryan
508c5bd53c
hoon: fix gol type enforcement for trivial %cnts
2023-08-16 13:46:01 +03:00
Ted Blackman
4c1b4c943d
Merge pull request #6639 from urbit/as/bif
...
hoon: refactor unnecessary parameter to bif:by
2023-06-20 12:14:27 -04:00
Ted Blackman
88b3e4bc48
Merge pull request #6640 from urbit/as/rut
...
hoon: remove rut:by, duplicate of urn:by
2023-06-19 13:22:55 -04:00
Joe Bryan
7773caf9f8
Merge pull request #6423 from urbit/dr/jar-add-tap-uni
...
hoon: add +zip to jar engine
2023-06-19 13:17:44 -04:00
Alex Shelkovnykov
9509254a2d
hoon: remove rut:by, duplicate of urn:by
2023-06-17 13:37:26 -04:00
Alex Shelkovnykov
fe34f55a04
hoon: refactor unnecessary parameter to bif:by
2023-06-17 13:30:18 -04:00
dr-frmr
e9c6273757
jar: tap -> zip
2023-06-12 19:33:11 -04:00
Quodss
be0e8c0a50
strip faces of subjects in ++curr, ++cury, ++corl
2023-06-12 19:24:39 +02:00
Quodss
46ec863734
fix ++curr
...
Fixes sample of a wet gate produced by ++curr
2023-06-12 11:19:27 +02:00
dr-frmr
e1786c7009
hoon: remove +uni from +ja, keep +tap
2023-06-09 11:30:14 -04:00
Josh Lehman
c0cb7d810a
Merge pull request #6592 from urbit/ea/add-subaxis-test
...
hoon: add pin and awl arms to test and trim subaxes
2023-06-08 08:30:09 -07:00
Joe Bryan
8bb1873041
hoon: fixes +sane style
2023-05-31 14:34:11 -04:00
Joe Bryan
e71d9d6631
hoon: fixes (sane %t) for multi-byte glyphs
2023-05-31 14:33:35 -04:00
dr-frmr
4454ba388b
Merge branch 'next/hoon/138' into dr/jar-add-tap-uni
2023-05-30 15:30:49 -04:00
Joe Bryan
cb280d9eb4
Merge branch 'next/hoon/138' into m/wuthax
2023-05-24 11:51:53 -04:00
Joe Bryan
4a23809063
hoon: embrace the combinatorial explosion
2023-05-24 11:47:56 -04:00
Ted Blackman
b5ff3be787
Merge pull request #6460 from urbit/i/6448
...
hoon: allow `%.` in spec mode
2023-05-24 11:36:23 -04:00
Ted Blackman
00775beba4
hoon: 138k
2023-05-24 11:34:11 -04:00
Edward Amsden
5606bb32f1
hoon: make +pin total over non-zero atoms
2023-05-16 19:32:09 -05:00
Edward Amsden
a19a41198a
hoon: +awl -> +hub
2023-05-16 19:07:36 -05:00
Edward Amsden
e020d06cd4
hoon: address review comments for pin and awl
2023-05-16 18:51:07 -05:00
Edward Amsden
cce2b5c9ed
hoon: add pin and awl arms to test and trim subaxes
2023-05-16 18:09:09 -05:00
Ted Blackman
09fb89bd5b
Merge pull request #6509 from urbit/jon/doccords-lustar-tistar
...
turn off doccord parsing for +*, =*
2023-05-02 11:23:15 -04:00
Joe Bryan
1c26d431f5
hoon: threads doccords flags through +vang, compatibly
2023-05-02 10:34:33 -04:00
Joe Bryan
4a92c7d7d4
Revert "hoon: add doc parsing flag to +vang"
...
This reverts commit 94ba944188
2023-05-02 10:31:42 -04:00
Jonathan Paprocki
e718423135
hoon: remove swap +vang for (doc |) in +loll
2023-05-01 11:37:27 -04:00
Jonathan Paprocki
45431dbc89
hoon: remove +lien
...
its not actually being used anywhere, i just wrote it to balance out
having a "hoon without docs" arm. but i guess this just adds needless bloat
2023-04-26 22:03:04 -04:00
Jonathan Paprocki
f6c780a7e7
hoon: second hoon for =* has docs
...
the issue with compiling not working is with doccords on the deferred
expression, not everything that follows (which would turn off doccords
for anything past =*)
2023-04-26 01:13:24 -04:00
Jonathan Paprocki
971db7effe
doccords: parsing off for =*, +*
...
see #6307
this turns doccord parsing off for =* and +*, which was not intended to
be allowed for the first release, but it ended up not compiling if
postfix doccords were put on either of these.
the right way to fix this is to actually implement doccord parsing for
=* and +*, but at least turning them off seems to fix the compile error here.
2023-04-25 15:42:08 -04:00
Jonathan Paprocki
94ba944188
hoon: add doc parsing flag to +vang
...
+vang is for setting +vast params, but was missing the parameter for
doc. this adds it and changes the callsites to vang around %base to
reflect this
2023-04-25 14:59:15 -04:00
~wicrum-wicrun
3d89342154
hoon: bump kelvin
2023-04-09 02:18:38 +02:00
~wicrum-wicrun
e30a97cc75
hoon: allow %. in spec mode
2023-04-09 02:17:45 +02:00
dr-frmr
0d779fb12c
hoon: add +tap and +uni to jar engine
2023-03-27 00:35:44 -04:00
Ted Blackman
4e5c73c826
hoon: fix merge conflict
2023-03-19 16:25:23 -06:00
Ted Blackman
3622c5f33e
Merge branch 'next/kelvin/413' into m/typed-paths
2023-03-17 12:07:39 -04:00
Ted Blackman
d81fc6e519
Merge pull request #6373 from urbit/m/dumb-apes
...
hoon: in +ape:ag, make zero a plain atom
2023-03-15 15:00:30 -04:00
John Hyde
aa6d6b1a42
hoon: fix style issues and update solid pill
2023-03-12 14:03:33 -07:00
John Hyde
50b6153119
hoon: make sane more memory-efficient
2023-03-09 03:07:29 -06:00
John Hyde
05726833ba
hoon: make sane sane
2023-03-08 17:43:31 -06:00
fang
6f6fee2b89
hoon: in +ape, make zero a plain atom
...
In the `+ape` parser constructor, we were providing `0` as the parsing result
for the zero character. Hoon syntax dictates this is a `@ud` however,
resulting in a parsing output type of `?(@ud etc)`. Since `+ape` is commonly
used for parsing atoms of various kinds, one might end up with a result
of `?(@ud @)`, which would fail to nest directly under, say, `@uv`, requiring
parsers to add a casting step.
Here, we simply cast the zero result to `@` to make it perfectly generic. This
should alleviate the need for a casting step in parsers that need to fit their
output into a specific aura.
(The output type in the common case (ie, `+hex:ag`, `+viz:ag`) is now `?(@ @)`,
which is still somewhat strange, but should have better ergonomics.)
Since `@` can be used in any place `@ud` is accepted, this is a non-breaking
change.
2023-03-04 18:02:33 +01:00
Alex Shelkovnykov
5b9bed244f
Minor improvement to +mod and +dvr
2023-02-23 20:37:53 +01:00
Philip Monk
d9e5ebe806
Merge pull request #6117 from urbit/lf/lure
...
hoon: add +lure, for turning a singleton into a list
2023-01-17 15:22:58 -07:00
Philip Monk
899712383a
Merge pull request #6160 from urbit/jon/remove-plat
...
hoon: remove $plat
2023-01-17 15:00:27 -07:00
Philip Monk
86cf63986b
Merge remote-tracking branch 'origin/jon/bartar-crusade' into next/415
2023-01-13 17:58:12 -07:00
