adl

adl copied to clipboard

bacek

timbod7

C++: Implement default values for custom type mappings

1

Given this ADL: ``` module test { import sys.types.Map; struct Test { Map foo = []; }; }; ``` generated c++ code will have: ``` Test::Test() : foo(std::map (mkvec())) {...

bacek

Enable pattern matching completeness checking in compiler build

2

ghc `-fwarn-incomplete-patterns`

timbod7

Check module name in file is consistent with file name

1

Inconsistency can cause name resolution to fail

timbod7

Generated Haskell records should have strict fields

3

The generated data types are intended to be used in two different ways: 1. External data that is received and parsed into the data structure 2. A data structure is...

bitc

Customizable code generation

4

This is probably most relevant for the Haskell generator, but maybe could be interesting for other languages. In Haskell there are many different styles for defining records: - Prefixed or...

bitc

Golang generator

1

gmhta

Generate lenses for haskell datatypes

1

Presumably via a compiler flag.

timbod7

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:...

timbod7