Tim Docker

RSA decryption

1

I can successfully decrypt some rsa encrypted data with ``` openssl rsautl -inkey key.pem -decrypt ``` Does the library have functionality equivalent to this? I suspect that the OpenSSL C...

Currently the rule is that ADL types `Float` and `Double` are serialised as json numbers. This won't work for NaN and Inf across the language bindings. A possible alternate rule...

Prototyping serialization without typeclasses in the haskell backend

1

So far I've just hand translated the https://github.com/timbod7/adl/blob/master/haskell/compiler/tests/demo1/input/picture.adl and added some support to the adl runtime.

1.0 Release Features

15

ADL has been actively used in a range of projects for more than 4 years. It's worked well, though usage has suggested some improvements that are difficult to make in...

Enable pattern matching completeness checking in compiler build

2

ghc `-fwarn-incomplete-patterns`

Check module name in file is consistent with file name

1

Inconsistency can cause name resolution to fail

Generate lenses for haskell datatypes

1

Presumably via a compiler flag.

ADL accepts and generates code for this declaration as expected: ``` struct X { X x; }; ``` but, unfortunately, adding a default sends the compiler into an infinite loop:...

There are circumstances where we need the type expression for the alias (eg inside dynamics). Possibly emit a java class for the type alias, but which only has static factory...