Commit Graph

17215 Commits

Author SHA1 Message Date
Joe Bryan
1c9e004fb4 hoon: switches +soft to use +mole 2020-05-14 19:12:12 -07:00
Joe Bryan
981f4ed998 pill: updates solid 2020-05-14 19:11:13 -07:00
Joe Bryan
dae21cdbe7 hoon: modernizes virtualization style 2020-05-14 19:11:12 -07:00
Joe Bryan
7ad707edc5 hoon: adds +mole and +mure -- unitary virtualization 2020-05-14 18:45:33 -07:00
Joe Bryan
5141dc4de9 hoon: refactors +edit and +frag in +mink 2020-05-14 18:45:20 -07:00
Joe Bryan
56418b7ad7 hoon: refactors nock %11 in +mink 2020-05-14 13:24:38 -07:00
Joe Bryan
e7d8a64a21 hoon: refactors nock %6 in +mink 2020-05-14 13:24:38 -07:00
Joe Bryan
953091a920 hoon: refactors stack-trace production in +mook 2020-05-14 13:24:38 -07:00
Joe Bryan
3fd545e40f hoon: switches %hunk to scry sample 2020-05-14 11:00:52 -07:00
Joe Bryan
27a47cc72f hoon: switches +mink %hunk from tank to (untyped) path
a %hunk is the error-stack frame for a failed ([~ ~]) scry.
this changes the frame type from tank to *, avoiding
coordination overhead between +mink and the interpreter.
2020-05-14 00:09:52 -07:00
Jared Tobin
3bc12d0856
Merge pull request #2350 from frodwith/jt/minkleton
"extra commit"
2020-02-26 09:57:00 +04:00
Paul Driver
0671278a80 hoon: use constant hint pass-thru for +mink
Instead of trying to hint computations (buying us %memo, etc), we
simply pass through the nouns (with constant [1 noun] formulas)
to the underlying runtime.  This avoids spuriously product-hinting
the +tone results of +mink as the previous version did.
2020-02-25 13:32:40 -08:00
Paul Driver
44402bb2ec hoon: remove unused +mush
+mush was moved to be a helper of +mink, its only caller, but I
neglected to remove the original code.
2020-02-25 13:30:54 -08:00
Paul Driver
a486688481
hoon: style issue in +mook 2020-02-20 19:26:26 +04:00
Paul Driver
761458918f
vere: remove mino jet 2020-02-20 19:11:11 +04:00
Paul Driver
352c0c9f51
hoon: pills expunged of temporary names 2020-02-20 19:11:08 +04:00
Paul Driver
371f0be924
vere: restore calls to old names (mook) 2020-02-20 18:49:11 +04:00
Paul Driver
9c5cbfcb19
hoon: expunge temporary names (mino, tono, etc) 2020-02-20 18:49:11 +04:00
Paul Driver
acb17c18cc
hoon: pills refer to old names (mink etc), temp names remain 2020-02-20 18:48:52 +04:00
Paul Driver
d6b28db521
hoon, vere: copy mino, etc. back to old names 2020-02-20 18:32:29 +04:00
Paul Driver
66f8580127
vere: remove mink jet 2020-02-20 18:32:29 +04:00
Paul Driver
e5841d821d
hoon: pills contain no references to toon/tone/mook/mock/mink 2020-02-20 18:32:23 +04:00
Paul Driver
4d71c1150c
hoon, vere: move all mock and mook callers to moku/moko. 2020-02-20 18:21:35 +04:00
Paul Driver
b3558dee29
hoon: moko does not crash
When molds were changed to crash on bad input, mook was not updated.
It relied on the old behavior of bunting on bad input. +moko
(the replacement +mook) simply doesn't include stack items that don't
have the proper type (in constrast to +mook, which currently crashes
and used to leave a "blank"/bunted stack item for improperly typed
values).
2020-02-13 19:44:15 +04:00
Paul Driver
0d0549f6cb
hoon: update pills before moving mink callers 2020-02-13 19:43:58 +04:00
Paul Driver
5093d420b3
hoon: add staging redirections for mook, mock. 2020-02-13 19:21:00 +04:00
Paul Driver
a233fd5eb3
jet +mino, allow one invalid branch in nock 6
- change the nock interpreter to bail [1 block] instead of [1 block ~]
- modify mink jet to rewrite this error ball to the old style
- add a mino jet that takes advantage of the new style

%hand hints aren't handled by the normal interpreter, so they
were disabled in the test generator.

there was a mismatch in the case of a nock 6 with one invalid branch
(either yes or no), which necessitated a little extra logic when
compiling nock 6. invalid nock is rare in the wild and there are no
tests for this (somewhat subtle) behavior. previously, either branch
invalid was (incorrectly) considered an invalid formula and would not
compile.
2020-02-13 19:20:24 +04:00
Paul Driver
50aaa27ed1
hoon: add +mino, a new virtual nock interpreter
+mink, the current virtual nock interpreter, has a couple of problems.
 1. it propagates blocks as a list of paths, which is inconsistent with
    the way the jet behaves (only a single path is ever blocked on, with
    exception semantics).
 2. +mush was not updated after the change to molds to crash instead of
    bunting. it crashes when not given the right kind of data, which is
    inconsistent with the intended semantics of ++mink.
 3. it "eats" hints, causing (for example) slogs to disappear when running
    without a mink jet.
 4. the naming/style was typically cryptic. since +mink will never really
    be run, one could argue that its primary purpose is to be read.

+mino (which will be renamed to +mink after some staging) has had its
return type (+tono, to be renamed +tone) modified in the block case so
that it only blocks on one path, has a corrected +mush, carefully
"passes through" all hints to the underlying interpreter, and has more
meaningful names, with the intention of improving readability.

A generator (gen/mino.hoon) is also included in this commit; it contains
tests that were used during the development of +mino. It should be removed
before integration, and is included for posterity. The stack trace semantics
are expected to change in the near future (since they are dependent on jets
faithfully preserving the stack pushes of the pure nock, an onerous burden).
They are, however, tested in gen/mino.hoon, which makes it unsuitable as a
long-term test.
2020-02-13 19:19:52 +04:00
Jared Tobin
f848d60b68
Merge branch 'philip/ames-fix' (#2268)
* origin/philip/ames-fix:
  ames: make routing simpler

Signed-off-by: Jared Tobin <jared@tlon.io>
2020-02-12 16:44:10 +04:00
Philip Monk
41fd367bff
ames: make routing simpler 2020-02-10 17:49:18 -08:00
Jared Tobin
be5fb8b9cf
Merge branch 'king-haskell' (#2107)
* origin/king-haskell: (411 commits)
  Fix counting bug in event log replay.
  fix progress bar in daemon mode
  Got Linux release builds working again.
  king: style improvements
  king: Build without warnings.
  Fix king-haskell Linux release build.
  Update scripts to point to `urbit-king`.
  Renamed modules Ur.** to Urbit.** to be consistent with urbit-{atom,hob}
  king: Rename `king` package to `urbit-king`.
  Clean up `Urbit.Atom` and move it into it's own package.
  Module structure, doc strings
  Bump stackage version.
  Got docs to build.
  king haskell: automatically connect to terminal when running a ship
  king: add partial-replay and --dry-from
  Make sure we close HTTP sockets on close (or reconfigure).
  Hack around terminfo database problem.
  Fixed bug in HTTP Server (only first block from stream was handled).
  Logging for event sourced responses.
  Cleanup port binding logic.
  ...

Signed-off-by: Jared Tobin <jared@tlon.io>
2020-02-10 18:53:41 +04:00
Benjamin Summers
faec933b56 Merge branch 'master' of github.com:urbit/urbit into king-haskell 2020-02-05 15:44:11 -08:00
benjamin-tlon
8836513a7c
Merge pull request #2236 from urbit/bs/fix-log-replay
king: Fix log replay bug.
2020-02-05 15:43:33 -08:00
Benjamin Summers
3b42c5412f Fix counting bug in event log replay. 2020-02-05 15:20:32 -08:00
Jared Tobin
b49d4a0538
Merge branch 'risruc-habteb/patch-1' (#2232)
* risruc-habteb/patch-1:
  Update frontpage.hoon

Signed-off-by: Jared Tobin <jared@tlon.io>
2020-02-05 17:04:54 +04:00
risruc-habteb
67221aad29
Update frontpage.hoon
Swapped "p.bek" for "our" and uncommented line 22.
2020-02-04 21:40:14 -05:00
ixv
66b5f681ca
Merge pull request #2165 from urbit/king-auto-connect
king haskell: automatically connect to terminal when running a ship
2020-02-03 17:49:47 -08:00
Isaac Visintainer
98fa24908a fix progress bar in daemon mode 2020-02-03 17:27:16 -08:00
Isaac Visintainer
e25d30163d Merge branch 'king-haskell' of https://github.com/urbit/urbit into king-auto-connect 2020-02-03 14:23:44 -08:00
Jared Tobin
769996d09f
Merge branch 'liam-fitzgerald/langserver-doc-autocomplete' (#2204)
* liam-fitzgerald/langserver-doc-autocomplete:
  language-server: magic-spoon hover, autocomplete
  language-server: build ford prelude
  language-server: dynamically compute subject
  language-server: revive rune/symbol completion
  language-server: add completion JSON parsers

Signed-off-by: Jared Tobin <jared@tlon.io>
2020-02-02 19:11:04 +04:00
Jared Tobin
171fcbd263
gitattributes: export-ignore additions [ci skip]
Reflexively export-ignore .gitattributes; also export-ignore Nix
derivations.
2020-02-01 17:40:27 +04:00
Jared Tobin
7fab8be0dc
meta: remove herb, urbit .gitignore files [ci skip]
These were lying around from pre-monorepoisation.
2020-02-01 17:37:13 +04:00
Jared Tobin
ead17841bc
gitattributes: export-ignore default.nix in herb [ci skip] 2020-02-01 12:32:22 +04:00
Jared Tobin
9c644c4333
sh: add release-archive script [ci skip]
Adds a simple helper script for creating release archives.
2020-02-01 12:11:33 +04:00
Jared Tobin
eb27d67cca
gitattributes: export-ignore test directories [ci skip]
Don't include pkg/arvo/tests and pkg/urbit/tests when running
git-archive(1).

Additionally, move the export-ignore declaration for
pkg/urbit/hashtable_tests into the pkg/urbit/.gitattributes files.  For
default operation, git-archive(1) requires that these declarations be
located on the tree being archived.
2020-02-01 12:07:13 +04:00
Jared Tobin
769252f4e6
gitattributes: export-ignore hashtable_tests [ci skip]
Prevents pkg/urbit/hashtable_tests from being exported with
git-archive(1).
2020-02-01 11:22:47 +04:00
Jared Tobin
b8ce433e08
meta: remove deprecated files [ci skip]
Removes miscellaneous files that had lingered from pre-monorepoisation:

* pkg/arvo Travis and .gitignore, .gitattributes files
* pkg/urbit CONTRIBUTING.md (subsumed by file in repository root)
2020-02-01 11:17:49 +04:00
Jared Tobin
1daaf041a7
Revert "Merge branch 'jt/urbit-large-log' (#2211)"
This reverts commit 0fc9056074, reversing
changes made to 1e3a1434e0.

The changes made here evidently broke builds on some Linux variants.
2020-01-31 15:26:15 +04:00
Jared Tobin
0fc9056074
Merge branch 'jt/urbit-large-log' (#2211)
* jt/urbit-large-log:
  build: add urbit-large-log derivation
  build: use generic builder in urbit derivation

Signed-off-by: Jared Tobin <jared@tlon.io>
2020-01-31 14:54:09 +04:00
Jared Tobin
1e3a1434e0
Merge branch 'jt/extraction' (#2217)
* jt/extraction:
  build: make release tarballs extract to directory

Signed-off-by: Jared Tobin <jared@tlon.io>
2020-01-31 11:24:41 +04:00