deCapnKit: safe serialization for capn #205

dckc · 2019-03-09T10:23:58Z

includes deSubGraphKit etc. ported from E-on-Java

fixes #203

example from uneval.updoc:

    def x := [1, x, 3]
    test(s(x), "[1, <**CYCLE**>, 3]")

$ monte eval fun/uneval.mt >cycle.msg

$ capnp convert binary:text capn/montevalue.capnp DataExpr <cycle.msg 
( defRec = (
    promIndex = 0,
    rValue = (
      call = (
        receiver = (noun = "_makeList"),
        message = (
          verb = "run",
          args = [
            ( defExpr = (
                index = 2,
                rValue = (
                  literal = (int = (int32 = 1)) ) ) ),
            (ibid = 0),
            ( defExpr = (
                index = 4,
                rValue = (
                  literal = (int = (int32 = 3)) ) ) ) ],
          namedArgs = [] ) ) ) ) )

recognize() is TODO

- def -> object - comment out DEBuilderOf module decl - :[g1, g2] -> :Pair[g1, g2] - :generic(g) -> :generic[g] - :g[] -> :List[g] - :(g1 | g2) -> :Any[g1, g2] - <scheme:rest> -> scheme_uriGetter("rest") - for pat in expr -> for pat in (expr)

mute Single Method Object warnings too

- FinalPattern takes a NounExpr (for quasiquoting) - FlexSet.addElement -> include - CallExpr -> MethodCallExpr (with named args) - [].diverge().put(last, x) -> [].diverge().push(x)

- factored out SAX etc. - replace findDelim by oneOf().findFirst() - re-use name() etc. for end tag - hooked up unittest (untested) ~ ["success" => 25, "failure" => 0]

- handle input from files to parse from the wild - let null Element content signal void element

erights

Great to see this!

- rather than sending msg to stdout, test length and (partial) contents

dckc and others added 30 commits September 2, 2017 22:56

toward capper in monte: make hello

dfc74a0

persistentSlot method seems to work

f4352ad

[e-lang] Announcing E 0.8.22a: Preliminary Persistence & Upgrade Support

dcfeb79

[e-lang] Announcing E 0.8.22a: Preliminary Persistence & Upgrade Support

58be1ff

deSubgraphKit and deps: .emaker -> .mt

0a25987

deSubgraphKit port: docstrings

9a2d110

deSubgraphKit port: lexical fixes

37de015

- def -> object - comment out DEBuilderOf module decl - :[g1, g2] -> :Pair[g1, g2] - :generic(g) -> :generic[g] - :g[] -> :List[g] - :(g1 | g2) -> :Any[g1, g2] - <scheme:rest> -> scheme_uriGetter("rest") - for pat in expr -> for pat in (expr)

deSubgraphKit port: 1-1 name changes

393b667

deSubGraphKit: rewrite imports

679c78a

deSubgraphKit port: implicit returns (to / method)

79007ec

E-style guards: Guard, NotNull, Tuple

5b4c1a7

deSubGraph port: fix / postpone imports

6853b6b

deSubgraphKit port: mute unused name warnings

c3621a7

mute Single Method Object warnings too

deSubgraphKit port: runtime name changes

acab891

deSubGraphKit port: handle named args

e567cb9

deSubgraphKit port: get/2 -> fetch/2

6c4554b

deSubgraphKit: DeepFrozen exports

53804bf

deJSONKit builder

a1afc8a

deJSONKit test based on uneval.updoc

facc537

readOnly facet for maps

ab0ea0b

o.__optUncall() -> o._uncall()

1fd75c5

Monte generic guards use .get() rather than .run()

1437b0f

list guards: g[] -> List[g] (cont)

1b87fbb

bail on Tuple, for now

c02325f

Merge elib/serial port

8faaf0a

start porting deMNodeKit, deSrcKit

7315228

deSrcKit builder works in one case

bf7612d

deMNodeKit: E -> Monte API

0a27e87

- FinalPattern takes a NounExpr (for quasiquoting) - FlexSet.addElement -> include - CallExpr -> MethodCallExpr (with named args) - [].diverge().put(last, x) -> [].diverge().push(x)

deMNodeKit: 1/1 tests

ece921f

deJSONKit: use static Tuple guard

2d86089

dckc added 16 commits September 11, 2017 00:52

markupKit works in several cases

e9e7e5e

markupKit: fix Element._uncall()

5f2432b

- factored out SAX etc. - replace findDelim by oneOf().findFirst() - re-use name() etc. for end tag - hooked up unittest (untested) ~ ["success" => 25, "failure" => 0]

markupKit: handle <link />

d3c5b8e

- handle input from files to parse from the wild - let null Element content signal void element

markupKit: handle & in attrs

90cfacd

markupKit: handle - in Name

06ffb52

markupKit: comments, <!doctype>

15ff978

move elib to mast/lib

1ef12e4

Merge branch 'typhon-serial'

788c7f6

mast/lib/serial: update import paths

1ac811c

serial/guards: prune Tuple

2b22172

deCapnKit (WIP)

dd501cd

capnpc: fix a default value

dd3a52b

deCapnKit.buildRoot dumps message bytes

409f8d6

deCapnKit: clean up debug traceln

4403011

deCapnKit: oops! noun, not import

11d827b

uneval: send capn message to stdout

268adf5

erights reviewed Mar 9, 2019

View reviewed changes

dckc added 6 commits March 10, 2019 23:07

deSubGraphKit: to -> method

8acce48

deSubGraphKit: G(T, U) -> G[T, U]

5451259

deSubGraphKit: don't auto-extend FlexList

4c32b31

Merge branch 'serial-port' into serial-re-merge

50e0082

deCapnKit.recognize (modulo Char, Double, bigint)

c39d61a

- rather than sending msg to stdout, test length and (partial) contents

deCapnKit: Int32 code for Char, digit string for big Int

d1bf539

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

deCapnKit: safe serialization for capn #205

deCapnKit: safe serialization for capn #205

Uh oh!

dckc commented Mar 9, 2019 •

edited

Loading

Uh oh!

erights left a comment

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

deCapnKit: safe serialization for capn #205

Are you sure you want to change the base?

deCapnKit: safe serialization for capn #205

Uh oh!

Conversation

dckc commented Mar 9, 2019 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

erights left a comment

Choose a reason for hiding this comment

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

dckc commented Mar 9, 2019 •

edited

Loading