ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-16 10:49:26 +03:00
Code Issues Packages Projects Releases Wiki Activity
9,480 Commits 6 Branches 0 Tags 164 MiB
b75c19e854
Commit Graph

464 Commits

Author SHA1 Message Date
Ted Blackman
b75c19e854 +has:in typecheck hack 2019-01-29 16:42:15 -08:00
Fang
8cd2a02f04 Remove trailing whitespace 2019-01-17 21:37:34 -08:00
benjamin-tlon
bf78d3a343
Type Printer Integration (#970) 
Moved plum/plume/xray/pprint into the kernel, made it accessible from the dojo, and did a bit of cleanup.
 2019-01-10 15:29:58 -08:00
Joe Bryan
9873cd77cf adds explicit types to the sample of +uno:by 2019-01-10 02:33:40 -05:00
Joe Bryan
d318b2cfcf renames +vor to +mor, comments noun-order gates 2019-01-08 22:37:28 -05:00
Joe Bryan
1d2f2ff36a switch +mug to murmur3 2019-01-08 22:07:01 -05:00
Joe Bryan
7f1168aa84 Revert "stage parallel noun-orders, map engine, and compiler" 
This reverts commit 52db016fdc.
 2019-01-08 22:06:46 -05:00
Joe Bryan
e71afba77d Revert "use +mur in place of +mug" 
This reverts commit 5b4ab145cc.
 2019-01-08 22:05:14 -05:00
Joe Bryan
ec7cc5a581 removes +lor 2019-01-08 18:10:40 -05:00
Joe Bryan
d0aaea8df5 removes +hor 2019-01-08 18:10:40 -05:00
Joe Bryan
0c4f2f9f14 uses +gor in place of +hor 2019-01-08 18:10:40 -05:00
Joe Bryan
5b4ab145cc use +mur in place of +mug 2019-01-08 18:10:40 -05:00
Joe Bryan
52db016fdc stage parallel noun-orders, map engine, and compiler 2019-01-08 18:10:40 -05:00
Joe Bryan
47d6b95edd renames +mum to +mur 2019-01-07 23:47:01 -05:00
Elliot Glaysher
9828c02473 Remove duplicated code between arvo and hoon 
Also removes some dead code from arvo which lets us clean up some
^ in dojo.
 2019-01-02 11:09:25 -08:00
Ted Blackman
7ed3a02a92
+slum to call raw nock gate; some associated cleanup (#923) 2018-12-08 18:42:36 -08:00
Elliot Glaysher
946204edd9
Merge pull request #924 from urbit/dont-nuck-in-sloy 
Dont nuck in sloy
 2018-12-07 15:06:51 -08:00
Elliot Glaysher
e65f374cc1 Also have some more hints. 2018-12-07 14:45:55 -08:00
Ted Blackman
51c7147a3d
Fix turn types (#919) 
fix +turn types
 2018-12-07 11:40:21 -08:00
Elliot Glaysher
98e62e353b
Merge pull request #917 from urbit/no-dude 
Use a trap to lazily evaluate the arguments to %dude in Eyre.
 2018-12-06 15:58:12 -08:00
Elliot Glaysher
f659f91107 Use a trap to lazily evaluate the arguments to %dude in Eyre. 
Also adds a bunch of hints to make runtime more legible.
 2018-12-06 15:10:34 -08:00
Elliot Glaysher
2d7c281515 Don't do two passes in the unjetted +sort 
While jetting +sort (urbit/urbit#1088), I made it do only a single
pass to separate the list around a pivot instead of using two. Do
this in the hoon code, too.
 2018-12-06 13:54:43 -08:00
Joshua Reagan
39dd1c56b0
%hold removed 2018-12-06 12:31:39 -06:00
Joshua Reagan
be45aaeefe
losing the b reference 2018-12-06 11:47:55 -06:00
Joshua Reagan
4f0a4e795b
remove !: 2018-12-06 01:15:09 -06:00
joshuareagan
95f0a5c797 use assertion 2018-12-06 01:01:54 -06:00
joshuareagan
b8a4ab3f10 type variance bug fix 2018-12-05 22:23:36 -06:00
Elliot Glaysher
af3e4c641e Add special cases for %da and %ta to +slaw 
+slav calls +slaw with %da and %ta in several places across multiple
vanes. This refactors the date parsing code into its own arm so it
can be called from +slaw.
 2018-12-05 11:08:11 -08:00
Elliot Glaysher
86ec9b060a Also add %uv handling to +slaw 2018-12-04 14:07:01 -08:00
Elliot Glaysher
552401abf4 Rush parshing 2018-12-04 10:19:50 -08:00
Elliot Glaysher
770025c155 Do fast special cases for +slaw instead of always calling +slay. 
+slay is a giant, recursive, slow parser combinator. +slaw is called
on every beam handling. In actual usage, we can special case based
on the passed in type and use a much smaller parser.
 2018-12-03 16:41:30 -08:00
Joshua Reagan
744a064b98
Merge pull request #902 from urbit/release-candidate-variance 
variance fix: calling lead, zinc gates
 2018-11-29 19:04:34 -06:00
Elliot Glaysher
708396cfbf
Merge pull request #896 from urbit/more-arvo-cache 
Additional caching in the arvo kernel
 2018-11-29 11:28:16 -08:00
joshuareagan
0eaca3970f variance fix: calling lead, zinc gates 2018-11-29 12:49:08 -06:00
Elliot Glaysher
fc37eedfd3 Additional caching in the arvo kernel 2018-11-26 11:31:34 -08:00
Joe Bryan
265fe6bc8a fixes +hunt to support null units 2018-11-26 00:19:40 -05:00
David Kerschner
717073b22d Added support for uppercase letters in sail attributes (#890) 2018-11-19 09:57:32 -08:00
Fang
113f82b6f0
Merge pull request #824 from urbit/vat-q 
Add @q, phonetic data representation
 2018-11-13 11:07:25 -08:00
rmariani
7a5f5d0df0 Fixes ``` UMD bug 
In Udon, you can now display a literal ``` in code-quotes using this syntax:

```
`\``
```

big thanks to Ted for helping me with this.
 2018-11-06 23:30:09 -08:00
Joe Bryan
c8f1b4d5a1 Merge branch 'release-candidate' into ames-eth-keys 
* release-candidate: (33 commits)
  update pin-vere-commit.txt
  Bug fix for metal-wrapping runes
  Remove old-zuse (#867)
  Type Analysis (#865)
  remove clam from error sigpam
  Fix compiler error.
  Remove temporary type analysis work.
  Remove ++cook from ++auri parsing
  Remove forced ssl upgrade for localhost http reqs
  moved to new branch with updated arvo
  11. demacrotizes %6, %7, %8, and %9
  10. updates %5 to require two subformulas (4K)
  9. emits %10 (4K)
  8. adds and implements edit (%10) (4K)
  7. removes %13 and %14 (4K)
  6. emits %11 and %12 (4K)
  5. implements hint at %11 and wish at %12 (4K)
  4. removes %10 and %11 (4K)
  3. emits %13 and %14 (4K)
  2. implements %13 and %14 (4K)
  ...
 2018-11-01 00:18:54 -04:00
Joshua Reagan
58cf323aa7
Bug fix for metal-wrapping runes 
A bug causes this cast to go through:

```
^+(|=(@ 15) ^&(|=(@ 15)))
```

It should nest-fail.  This change makes the cast work correctly with the metal wrapping runes `^&`, `^|`, and `^?`.
 2018-10-31 13:56:56 -05:00
Curtis Yarvin
31df8efda8 Fix compiler error. 2018-10-22 15:38:27 -07:00
Curtis Yarvin
3333d47de2 Merge branch 'research-final' into release-candidate 2018-10-22 12:47:26 -07:00
Joe Bryan
535ab6e90b updates %jael to save and %ames to give domains (on boot/startup) 
also defers initial clay merge,
renames +turf (utf8 to utf32) to +taft,
and removes duplicate +turf (domain) declarations,
and updates pinned vere to use them
 2018-10-16 21:02:41 -04:00
Joe Bryan
06fa0d14a9 11. demacrotizes %6, %7, %8, and %9 2018-10-10 23:23:41 -04:00
Joe Bryan
6e2e6b001f 10. updates %5 to require two subformulas (4K) 2018-10-10 23:04:29 -04:00
Joe Bryan
f16f052401 9. emits %10 (4K) 2018-10-10 20:10:56 -04:00
Joe Bryan
48d67779df 8. adds and implements edit (%10) (4K) 2018-10-10 19:33:11 -04:00
Joe Bryan
f48ce3509c 7. removes %13 and %14 (4K) 2018-10-10 19:27:38 -04:00
Joe Bryan
ad6c489528 6. emits %11 and %12 (4K) 2018-10-10 18:58:19 -04:00