Commit Graph

15471 Commits

Author SHA1 Message Date
pilfer-pandex
5da2d4149d more things to Hoon 2019-10-01 16:46:28 -07:00
pilfer-pandex
cdcc9860b7 Merge branch 'pp/proto' of github.com:urbit/urbit into pp/proto 2019-10-01 16:00:24 -07:00
pilfer-pandex
8a199176af desugar compiles 2019-10-01 16:00:16 -07:00
Benjamin Summers
844e568959 Merge branch 'pp/proto' of github.com:urbit/urbit into pp/proto 2019-10-01 15:52:47 -07:00
Benjamin Summers
a06e334a34 Proto Parser -- Got something compiling (port of Hoon parser). 2019-10-01 15:52:31 -07:00
pilfer-pandex
b57f8973c4 Merge branch 'pp/proto' of github.com:urbit/urbit into pp/proto 2019-10-01 15:09:30 -07:00
pilfer-pandex
926ef695c8 partway through desugar 2019-10-01 15:09:23 -07:00
Benjamin Summers
a900b905b5 Merge branch 'pp/proto' of github.com:urbit/urbit into pp/proto 2019-10-01 15:08:55 -07:00
Benjamin Summers
dd95eef744 stack.yaml -> .gitignore AND switch to same LTS version as King Haskell. 2019-10-01 15:08:39 -07:00
pilfer-pandex
6f8a60e5fa surface language ast 2019-10-01 15:04:47 -07:00
pilfer-pandex
15233bd758 ben's review 2019-10-01 15:04:11 -07:00
pilfer-pandex
58f76ac540 reorg 2019-09-30 16:47:44 -07:00
pilfer-pandex
0e7cc99cfb fix fast hint nock generation 2019-09-30 16:27:35 -07:00
pilfer-pandex
7d4ab2ceb9 add decrement example to UntypedLambda 2019-09-28 22:47:20 -07:00
pilfer-pandex
c966f98a0f now fix works! 2019-09-28 22:44:29 -07:00
pilfer-pandex
64698af7bf first version of fix; nope 2019-09-28 20:40:21 -07:00
pilfer-pandex
28021c22af sorry set 2019-09-28 19:38:58 -07:00
pilfer-pandex
508aec7e3b better preface 2019-09-28 19:28:33 -07:00
pilfer-pandex
10fad1e9e7 the jet system! 2019-09-23 16:10:24 -07:00
pilfer-pandex
98e8bda3c6 Forgot to add some files a while ago 2019-09-22 22:17:16 -07:00
pilfer-pandex
fe914cac51 added fix and set, but I was wrong about fix 2019-09-22 22:12:55 -07:00
pilfer-pandex
38c4a9f9e2 fix copy 2019-09-22 20:19:17 -07:00
pilfer-pandex
48c82c0692 enrich with nockish ops, but copy broken 2019-09-18 13:14:11 -07:00
pilfer-pandex
b454305f67 new calling convention ("copy") now works 2019-09-17 14:46:48 -07:00
pilfer-pandex
489ad3f90f finish old cc, start new 2019-09-12 20:42:07 -07:00
pilfer-pandex
51487456df some nock stuff 2019-09-10 18:57:00 -04:00
pilfer-pandex
c008c28fba start proto code 2019-09-09 14:36:25 -04:00
Jared Tobin
d7f9d9aefc
Merge pull request #1708 from urbit/mp-publish-info
Publish: Add a check for publish-info when importing a notebook
2019-09-09 08:38:42 -02:30
Jared Tobin
785a42ce33
Merge branch 'scry-safe-mule' (#1678)
* scry-safe-mule:
  pills: update solid, brass, ivory
  talk, chat: disables scry in hoon eval
  hoon: enable scry in +mule
  arvo, ford: add type safety to scry

Signed-off-by: Jared Tobin <jared@tlon.io>
2019-09-09 07:59:42 -02:30
Jared Tobin
53f4b5c258
pills: update solid, brass, ivory 2019-09-09 07:59:15 -02:30
Joe Bryan
f5263e0395
talk, chat: disables scry in hoon eval
We don't care about the static types in the use-cases where we need to
prevent scry (to prevent accidental data disclosure). We can evaluate
the expression, virtualized and untyped, and then just clam.
2019-09-08 19:45:20 -02:30
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
Joe Bryan
a6272a97a8
arvo, ford: add type safety to scry
Adds a nest-check to the scry-wrapper functions +sloy and +sloy-light,
plugging a type hole in .^ namespace reads (scry).
2019-09-08 19:44:06 -02:30
Matilde Park
645e60c55d Publish: Add positive assertion for publish-info
Publish's %serve command makes builds for notes even if the
publish-info file is missing. It now crashes the build if the file is
missing with a one-line ?> asserting that the file is found in the
list of paths associated with the collection.
2019-09-06 22:37:18 -04:00
Jared Tobin
806871de4e
Merge pull request #1700 from urbit/dk-pill-fix
Updated pills to match latest master
2019-09-06 15:54:55 -02:30
Jared Tobin
7322d7adae
Merge branch 'mp-interface-objs' (#1701)
* mp-interface-objs:
  Interface: Update urbit-ob dependency

Signed-off-by: Jared Tobin <jared@tlon.io>
2019-09-06 13:35:29 -02:30
Matilde Park
14b3cb1a89 Interface: Update urbit-ob dependency
Updates all Landscape applications to use the
latest version of urbit-ob, from 3.1.1 to 4.1.2.

Removes urbit-ob from applications that don't
use it (Clock, Launch, Weather).

Compiled JS for all the above included in this
commit.
2019-09-06 10:59:23 -04:00
David Kerschner
5ab2618239 Updated pills to match latest master 2019-09-05 20:10:39 -07:00
Jared Tobin
bf1392de3d
Merge branch 'la-1692-fix' (#1693)
* la-1692-fix:
  chat: potential fix for #1692

Signed-off-by: Jared Tobin <jared@tlon.io>
2019-09-05 09:31:33 -02:30
Jared Tobin
3c1cc36e93
Merge branch 'publish-error-handling' (#1694)
* publish-error-handling:
  publish: fix broken post bug, add recover function

Signed-off-by: Jared Tobin <jared@tlon.io>
2019-09-05 09:31:23 -02:30
Isaac Visintainer
d52b051196
publish: fix broken post bug, add recover function
In Publish, users could get in a bad state if they made a post with
valid udon, and subsequently edited to contain invalid udon.
Furthermore, users subscribed to them would get in the same bad state.

This fixes the original bug, and users who are already in the broken
state will be able to run a recovery command: :publish %state-surgery
which will also fix the downstream broken state of their subscribers.
2019-09-05 09:30:05 -02:30
Logan Allen
5560482897 chat: potential fix for #1692 2019-09-04 16:07:49 -07:00
Jared Tobin
afc3338f68
Merge branch 'yosoyubik/weather' (#1686)
* yosoyubik/weather:
  weather: updates api url to use automatic units

Signed-off-by: Jared Tobin <jared@tlon.io>
2019-09-03 12:54:18 -02:30
Jared Tobin
07d9581934
Merge branch 'jt-contributing' (#1673)
* jt-contributing:
  readme: update contributing info
  contributing: use parentheses instead of commas
  contributing / interface: 'confirm' -> 'apply'
  contributing: s/urbit/Urbit
  contributing: text fixup
  contributing: remove labelling discussion
  contributing: adds userspace information, links
  contributing: add hoon style guide link
  contributing: improve description.. description
  contributing: add 'issues' section
  contributing: add mailing list info to intro
  contributing: update kernel & pills section
  contributing: touch up code style section
  contributing: add git/release info

Signed-off-by: Jared Tobin <jared@tlon.io>
2019-09-03 12:46:02 -02:30
Jared Tobin
575d196d38
readme: update contributing info 2019-09-02 17:29:21 -02:30
Jared Tobin
174e194cf9
contributing: use parentheses instead of commas 2019-09-02 17:08:26 -02:30
yosoyubik
feb9ae58d9 weather: updates api url to use automatic units
Appends a parameter 'units=auto' to the darksky api endpoint that
"automatically select[s] units based on geographic location"
2019-09-02 04:43:25 +02:00
Jared Tobin
40bc5deada
Merge branch 'origin/philip/fix-zpmc' (#1683)
* origin/philip/fix-zpmc:
  hoon: don't nest check in zpmc

Signed-off-by: Jared Tobin <jared@tlon.io>
2019-08-31 01:29:16 -02:30
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
Jared Tobin
87a1036614
Merge remote-tracking branch 'origin/mp-publish-edit'
* origin/mp-publish-edit:
  Publish: Bring post editing UI to new post parity

Signed-off-by: Jared Tobin <jared@tlon.io>
2019-08-29 19:31:17 -02:30