Code

alias-type on record and adt types#2197

Code

Merged

b-scholz merged 3 commits intosouffle-lang:mastersouffle-lang/souffle:masterfrom quentin:aliastypesquentin/souffle:aliastypesCopy head branch name to clipboardMar 5, 2022

+183-45

Commits

Commits on Mar 2, 2022

• alias-type on record and adt types

  quentin

  committed
  aa0e6c2

  Copy full SHA for aa0e6c2

• formatting

  quentin

  committed
  8e25ea3

  Copy full SHA for 8e25ea3

Commits on Mar 4, 2022

• enable new tests

  quentin

  committed
  e554711

  Copy full SHA for e554711