Alex Cruise

Clustering/scale-out roadmap?

1

Hi there, I see there's been some activity in a branch called `chain-replication` but it'd be nice to know what you folks have in mind for scale-out architecture. :)

Privacy doc?

1

Hi there, I really like the look of Clippy but I can see certain people not wanting to use it on closed-source projects for fear of accidentally disclosing various aspects...

A default Map[Int,X] format is available at compile time, but fails at runtime

14

``` scala> import spray.json._ scala> import spray.json.DefaultJsonProtocol._ scala> val jf = implicitly[JsonFormat[Map[Int,String]]] jf: spray.json.JsonFormat[Map[Int,String]] = spray.json.CollectionFormats$$anon$3@2de7fe0e scala> jf.write(Map(1 -> "Foo")) spray.json.SerializationException: Map key must be formatted as JsString, not '1'...

Validation/Either support for failures

1

Correct me if I'm wrong, but it looks like the `asJson` and `convertTo` methods always throw exceptions when something fails. It would be nice if there were alternative entry points...

Allow non-string while string-able values as map keys

4

Hey folks, this library looks pretty good so far, but I'm running into one awkwardness around Map properties keyed by something other than `String`. When the key type is a...

Add `sept` to short month names

1

A rather unfortunate [backwards-incompatible Java update](https://stackoverflow.com/questions/69267710/septembers-short-form-sep-no-longer-parses-in-java-17-in-en-gb-locale) has highlighted the need for more flexible date parsing, and your library looked pretty good... Unfortunately my data, created in a different environment, includes...

TODO: * Implement operators * Omit lookahead results from parsers (copy SkipParser's homework) * Implement syntax AST for LookaheadCombinator

Negative lookahead?

9

Hi there, I have a grammar with some negative lookahead rules. From what I can tell, some other PEG parsers have a `!` operator that can help with this, but...

`s3a` URLs don't work as in documentation

1

EDIT: this helped, the doc may need to be updated: ``` sc.hadoopConfiguration.set("fs.defaultFS", "s3a://commoncrawl/") ``` **Describe the bug** According to the docs, `aut` should be able to read data from `s3a`...

Why is `ConcTree.Empty` not a `case object`?

1

Just out of curiosity... :) https://github.com/epfl-lara/stainless/blob/536d418f47f2699c7f7bc154a8792204714f5cf8/frontends/benchmarks/verification/valid/ConcTree.scala#L82