Code

Remove the old C backend#1862

Code

Merged

janmasrovira merged 11 commits intomainanoma/juvix:mainfrom remove-old-c-backendanoma/juvix:remove-old-c-backendCopy head branch name to clipboardMar 14, 2023

+22-7,586

Commits

Commits on Mar 14, 2023

• remove Backend.C.Translation.FromInternal

  lukaszcz

  committed
  3819d62

  Copy full SHA for 3819d62

• MiniCResult

  lukaszcz

  committed
  d0cdc00

  Copy full SHA for d0cdc00

• MiniCResult

  lukaszcz

  committed
  19eda9f

  Copy full SHA for 19eda9f

• remove 'foreign' and 'compile' blocks

  lukaszcz

  committed
  7cccbb0

  Copy full SHA for 7cccbb0

• remove unused tests

  lukaszcz

  committed
  ac114a3

  Copy full SHA for ac114a3

• update documentation

  lukaszcz

  committed
  3217e89

  Copy full SHA for 3217e89

• remove unused functions in Core

  lukaszcz

  committed
  761c423

  Copy full SHA for 761c423

• make ormolu happy

  lukaszcz

  committed
  5a30011

  Copy full SHA for 5a30011

• remove c-runtime

  lukaszcz

  committed
  ddc9f95

  Copy full SHA for ddc9f95

• removed unused parts of Backend/C/Language

  lukaszcz

  committed
  851b47e

  Copy full SHA for 851b47e

• remove unused strings

  lukaszcz

  committed
  4848ec0

  Copy full SHA for 4848ec0