Code

Types are separated from terms#263

Code

Merged

gares merged 32 commits intoLPCIC:masterLPCIC/elpi:masterfrom FissoreD:functionalityFissoreD/elpi:functionalityCopy head branch name to clipboardOct 8, 2024

+1,306-657

Commits

Commits on Oct 7, 2024

• [functionality] add Functional constructor

  FissoreD

  committed
  6698aaa

  Copy full SHA for 6698aaa

• [functionality] add to lexer and grammar

  FissoreD

  committed
  5757765

  Copy full SHA for 5757765

• [functionality] pass functionality and modes to the checker

  FissoreD

  committed
  89b4db0

  Copy full SHA for 89b4db0

• [mode-checking] wip

  FissoreD

  committed
  66484be

  Copy full SHA for 66484be

• [mode checker] update

  FissoreD

  committed
  619b9d6

  Copy full SHA for 619b9d6

• [mode-checking] pass loc to error msg

  FissoreD

  committed
  3a7d13b

  Copy full SHA for 3a7d13b

• [mode-checking] check head output mode is rigid

  FissoreD

  committed
  31e4177

  Copy full SHA for 31e4177

• [mode-checking] non-fatal mode checker

  FissoreD

  committed
  90cc0af

  Copy full SHA for 90cc0af

• [mode-checking] better get-str + some rename

  FissoreD

  committed
  53a68ab

  Copy full SHA for 53a68ab

• [mode-checking] update checker

  FissoreD

  committed
  81ff6b8

  Copy full SHA for 81ff6b8

• [mode-checking] test promotion

  FissoreD

  committed
  3b3fdee

  Copy full SHA for 3b3fdee

• [mode-checking] datatype for mode with Fo and Ho

  FissoreD

  committed
  8fb745f

  Copy full SHA for 8fb745f

• [mode-checking] mode type in AST

  FissoreD

  committed
  ba3f784

  Copy full SHA for ba3f784

• [mode-checking] extend grammar.mly to parse modes in predicate

  FissoreD

  committed
  49e0b4c

  Copy full SHA for 49e0b4c

• [mode-checking] pass ho-mode to checker

  FissoreD

  committed
  339b783

  Copy full SHA for 339b783

• [mode-checking] add mode_checking_fo in tests/sources

  FissoreD

  committed
  e41b21b

  Copy full SHA for e41b21b

• [mode-checking] tests for HO types

  FissoreD

  committed
  cce8b56

  Copy full SHA for cce8b56

• [mode-checking] corrected parsing of HO modes

  FissoreD

  committed
  0e3e941

  Copy full SHA for 0e3e941

• [compiler] modes and types in a single data struct

  FissoreD

  committed
  f08ba27

  Copy full SHA for f08ba27

• [lexer] mode keyword raises an error in the lexer

  FissoreD

  committed
  11c8431

  Copy full SHA for 11c8431

• [compiler] cleanup

  FissoreD

  committed
  d569f08

  Copy full SHA for d569f08

• [compiler] term -> ttype (warning typeabbrv tests not working...)

  FissoreD

  committed
  d6f98cd

  Copy full SHA for d6f98cd

• [compiler] small update (still error in typeabbrv tests)

  FissoreD

  committed
  814b362

  Copy full SHA for 814b362

• [add-test] spilling with disjunction

  FissoreD

  committed
  ecb7093

  Copy full SHA for ecb7093

• [compiler] corrected bug of previous two commits

  FissoreD

  committed
  6d16cd2

  Copy full SHA for 6d16cd2

• [compiler] fix error + promote tests

  FissoreD

  committed
  75168f3

  Copy full SHA for 75168f3

• [compiler] remove constructor Mode from Program module

  FissoreD

  committed
  a01a6a3

  Copy full SHA for a01a6a3

• [compiler] update CHANGES.md

  FissoreD

  committed
  6a4d16d

  Copy full SHA for 6a4d16d

• [compiler] bug correction std.do! [CL=[];print-list {std.map CL p}]

  FissoreD

  committed
  b9f9668

  Copy full SHA for b9f9668

• [compiler] remove mode token

  FissoreD

  committed
  58f9520

  Copy full SHA for 58f9520

Commits on Oct 8, 2024

• [compiler] remove functionality from type program + use pred in ho arguments

  FissoreD

  committed
  3a7367f

  Copy full SHA for 3a7367f

• [compiler] smal fix

  FissoreD

  committed
  3c06274

  Copy full SHA for 3c06274