Philip Monk
7c4316fce4
mall: refactor gift/sign/task types
...
+on-agent now takes a +sign:agent:mall, which doesn't include spurious
options. Similarly, +task:agent:mall is smaller.
2019-11-08 17:35:24 -08:00
Philip Monk
c05704965a
hoon: nits picked
2019-11-08 14:48:01 -08:00
Philip Monk
43e02c25e4
hoon: extend gol check through cores
...
This extends `gol` "backward-inference" typechecking to thread through cores. Recall that `gol` is used exclusively for receiving more specific error messages; these changes should have no effect on programs which already compile successfully.
Before, this would type-fail on the second `|%`.
```
!:
^+ ^?
|%
++ foo *@ud
--
|%
++ foo
?: =(1 1)
2
%foo
--
```
With these changes, it gives a mint-nice at `%foo`. It will also give you explicit errors if you have the wrong number/names of arms, including which arms it expects.
This is becoming much more important with static gall, since it's the first time we've used core subtyping so extensively and in userspace.
2019-11-08 12:53:03 -08:00
Philip Monk
82513c27fc
Merge branch 'master' into philip/mall-real
2019-11-04 19:35:24 -08:00
Philip Monk
0014d1cf2b
auto: fix some crashes on strange wet gates
2019-10-31 21:37:24 -07:00
Joe Bryan
fa01bfb0a5
hoon: moves new pretty-printer back into userspace
2019-10-17 17:52:45 -07:00
yosoyubik
f970e1c264
hoon: fix for +uno/uni ( #1779 ) set/map union
2019-10-16 13:26:02 -07:00
Jared Tobin
b100160198
Merge branch 'treap-traverse' into yosoyubik-contribs
...
* treap-traverse:
pills: update solid
hoon: replaces manual +tree cons with explicit %=
Signed-off-by: Jared Tobin <jared@tlon.io>
2019-10-10 10:07:03 +04:00
yosoyubik
d482167e21
hoon: replaces manual +tree cons with explicit %=
...
Rewrites several arms in +to, +in, +by, that perform tree operations,
with explicit %= updates
2019-10-09 07:37:47 +02:00
yosoyubik
7ed0a938e2
hoon: fix for +uno/uni ( #1779 ) set/map union
2019-10-06 12:00:53 +02:00
yosoyubik
b55149af55
hoon: fix for +apt:to ( #1778 ) queue correctness
2019-10-06 12:00:48 +02:00
Philip Monk
e6f5b0d3fd
mall: fix %child-sync ph test
2019-09-25 13:19:09 -07:00
Philip Monk
fc9f17ae23
mall: convert talk to mall
...
also change !< to crash on failure
2019-09-23 15:44:48 -07:00
Jared Tobin
472c27ef6c
Merge branch 'barbus' ( #1712 )
...
* barbus:
hoon: removed unused parser type
hoon: remove extraneous cast
hoon: removed barhax. No hax!
hoon: replace barhax with barbus
hoon: changed barbus to match barhax
hoon: replaced barbus usage with barhax
hoon: add parsing for barhax
hoon: added barhax to replace barbus
hoon: update tall parsing for |$
hoon: replace +* name usage with ++ name |$
hoon: add parsing rules for |$
hoon: add ast for |$
2019-09-11 15:27:04 -02:30
David Kerschner
46b681e96a
hoon: removed unused parser type
2019-09-11 01:20:38 -07:00
David Kerschner
b32fb23166
hoon: remove extraneous cast
2019-09-11 01:20:33 -07:00
David Kerschner
09575c4915
hoon: removed barhax. No hax!
2019-09-11 01:20:28 -07:00
David Kerschner
60c6d4fed1
hoon: replace barhax with barbus
2019-09-11 01:20:21 -07:00
David Kerschner
5762140ebb
hoon: changed barbus to match barhax
2019-09-11 01:20:15 -07:00
David Kerschner
504e4fcac1
hoon: replaced barbus usage with barhax
2019-09-11 01:20:10 -07:00
David Kerschner
b752cf660e
hoon: add parsing for barhax
2019-09-11 01:20:01 -07:00
David Kerschner
0935b87dc6
hoon: added barhax to replace barbus
...
barhax will implement changes request in pr and is used to stage changes to barbus
2019-09-11 01:19:45 -07:00
David Kerschner
936c79d616
hoon: update tall parsing for |$
2019-09-10 11:59:32 -07:00
David Kerschner
b226d24a50
hoon: replace +* name usage with ++ name |$
2019-09-10 11:59:22 -07:00
David Kerschner
755515463c
hoon: add parsing rules for |$
2019-09-10 11:59:14 -07:00
David Kerschner
043dec26cf
hoon: add ast for |$
...
|$ is being added as a mold builder rune. This change is ultimately part of
reclaiming +* for use as aliases on cores.
2019-09-10 11:58:10 -07:00
Joe Bryan
d461ec40b0
hoon: enable scry in +mule
...
Enables .^ in +mule (statically-typed virtualization), by specifying a
scry-handler function that punts the namespace read to a higher
virtualization layer via virtual-nock (mock) 12.
2019-09-08 19:45:00 -02:30
Philip Monk
fc682fc585
Merge remote-tracking branch 'origin/scry-safe-mule' into philip/mall-real
2019-09-06 13:18:42 -07:00
Philip Monk
c5cec4036b
add !< rune
2019-09-03 11:05:41 -07:00
Philip Monk
6bac377bd2
hoon: don't nest check in zpmc
...
This check required the new type of +type to nest within the old type of
+type, which is wrong. Specifically, this disallowed adding new runes
without a staging procedure (which we didn't successfully complete).
2019-08-29 17:08:48 -07:00
Joe Bryan
97d67e81fb
enables scry in +mule (by way of explicit nock 12 in +mute)
2019-08-28 15:55:13 -07:00
pkova
4313e8af55
Sort clauses of $fork type pretty-printing
2019-08-22 16:47:52 +03:00
pilfer-pandex
bbe0cb3014
revert change to ben's comment
2019-08-09 14:26:37 -07:00
pilfer-pandex
06e25fdf89
Merge branch 'master' into decap-all
2019-08-09 14:26:20 -07:00
pilfer-pandex
9997accabf
fix the %mean hints
2019-08-09 13:56:01 -07:00
John Franklin
98732b75b6
modify udon parser to preserve gaps in inline code blocks
2019-08-07 09:58:19 -05:00
pilfer-pandex
7a44ad8e0e
fix the %mean nest-fail in nest
2019-08-01 18:18:52 -07:00
Ted Blackman
1c3ea0b188
add +slam:wa and tests
2019-08-01 11:21:24 -07:00
pilfer-pandex
a5a9220284
decapitate nest:ut with caching for dext
2019-08-01 11:13:40 -07:00
pilfer-pandex
acb55a3b28
fix mismatch in mull (tscm again)
2019-07-26 13:47:22 -07:00
Joe Bryan
b5d02a0082
adds sample type to +get:by, fixes call-sites
2019-07-18 11:51:34 -07:00
pilfer-pandex
a54d18a440
fix play jet mismatch (missing tscm, different sand)
2019-07-17 16:37:14 -07:00
Fang
e7cc662ddb
Add comment for got:by
2019-06-30 14:30:00 +02:00
Fang
45ea701956
Implement gut:by
2019-06-30 14:28:54 +02:00
John Franklin
d945ed588e
Correct indentation of ++render-atom (whitespace-only change)
2019-06-29 20:56:25 +08:00
Jared Tobin
b3901ab42f
Add 'pkg/arvo/' from commit 'c20e2a185f131ff3f5d3961829bd7a3fe0f227f8'
...
git-subtree-dir: pkg/arvo
git-subtree-mainline: 9c8f40bf6cc20e2a185f
2019-06-28 12:48:05 +08:00
