Code

Improved error handling#126

Code

Merged

kjekac merged 37 commits intomasterethereum/act:masterfrom errorloggerethereum/act:errorloggerCopy head branch name to clipboardNov 16, 2021

+877-833

Commits

Commits on Aug 2, 2021

• add ErrorLogger

  kjekac

  committed
  634602c

Commits on Sep 1, 2021

• error handling using Validation and Writer in Type.hs

  kjekac

  committed
  063c36c

Commits on Sep 2, 2021

• add semigroupoids build dependency

  kjekac

  committed
  18d78b0

Commits on Sep 9, 2021

• singleton types work; lets us remove several ugly (>>=?)

  kjekac

  committed
  68217e6

• remove bad do

  kjekac

  committed
  9e3930e

Commits on Sep 13, 2021

• completely Applicative style in Type.hs

  kjekac

  committed
  2a6a550

• custom Alt-function, TStorageItem uses Sing

  kjekac

  committed
  0e57111

Commits on Sep 15, 2021

• new error handling done in Type.hs

  kjekac

  committed
  db8b853

• parser uses new error handling

  kjekac

  committed
  ed28424

Commits on Sep 21, 2021

• Error doesn't require a Pn (backends don't have them)

  kjekac

  committed
  26d9b69

• add test to check error messages of polymorphic stuff

  kjekac

  committed
  78327c8

Commits on Sep 27, 2021

• K.hs uses Error.hs

  kjekac

  committed
  f76384c

• cleanup, reorg, some adaptations to new styles

  kjekac

  committed
  f8c08bd

• restructure cabal file to avoid repeated builds

  kjekac

  committed
  04031e9

• cleanup

  kjekac

  committed
  0294e84

• fix build errors

  kjekac

  committed
  e113d41

Commits on Sep 29, 2021

• cleanup

  kjekac

  committed
  ebeaea3

• retrieve Typeable instance without extra type layer or pattern noise

  kjekac

  committed
  d6f125e

Commits on Oct 2, 2021

• all AST constructors use singletons

  kjekac

  committed
  d81dd69

• fix CI build errors

  kjekac

  committed
  3673272

• cleanup

  kjekac

  committed
  c5e1a0a

• fix CI build errors

  kjekac

  committed
  731ad47

• Merge branch 'master' into errorlogger

  kjekac

  committed
  5e49b6e

• cleanup

  kjekac

  committed
  31f33c7

Commits on Oct 3, 2021

• documentation

  kjekac

  committed
  0b4c157

• docs

  kjekac

  committed
  dab0a6b

Commits on Oct 13, 2021

• minor comment rephrasing

  kjekac

  committed
  6a72abd

Commits on Nov 1, 2021

• Apply suggestions from code review

  Show description for eb0c990
  

  kjekac

  and

  d-xo

  authored
  eb0c990

• make MType a type synonym instead of an ADT

  kjekac

  committed
  b24087c

• remove Pn from Transition

  kjekac

  committed
  5511d0f

Commits on Nov 2, 2021

• MType patterns and clearer metaType implementation

  kjekac

  committed
  6c0d335

Commits on Nov 10, 2021

• simplifications, fewer constraints, COMPLETE patterns, ...

  kjekac

  committed
  7031b20

• remove custom instance reflection stuff

  kjekac

  committed
  53b4e6f

Commits on Nov 14, 2021

• fix CI errors

  kjekac

  committed
  5b38496

• restructure and rename defs in 'Syntax.Types'

  kjekac

  committed
  30e2571

• GADT instead of existential types

  kjekac

  committed
  5241996

• enrich outside of compile

  kjekac

  committed
  b90f163