Code

[determinacy] big refactor#290

Code

Draft

FissoreD wants to merge 43 commits intoLPCIC:masterLPCIC/elpi:masterfrom FissoreD:scoped-term-wipFissoreD/elpi:scoped-term-wipCopy head branch name to clipboard

+2,542-1,059

Commits

Commits on Dec 16, 2024

• [compiler+determinacy] no modes in AST + new check determinacy + unique_type_id

  Show description for 8eb7038
  FissoreD

  committed
  8eb7038

  Copy full SHA for 8eb7038

• remove dead code

  FissoreD

  committed
  a5e9000

  Copy full SHA for a5e9000

• [determinacy] check output

  FissoreD

  committed
  263d0d7

  Copy full SHA for 263d0d7

• [determinacy] inference of parametric types like pr (pred o:int) int in the head of clauses

  FissoreD

  committed
  ca646dc

  Copy full SHA for ca646dc

• [dune] remove ppx_inline_test

  FissoreD

  committed
  ae5ed1d

  Copy full SHA for ae5ed1d

• [spilling] spilling is done immediately after typechecking

  Show description for f98ae62
  FissoreD

  committed
  f98ae62

  Copy full SHA for f98ae62

• [ScopedTerm.pretty] printing for infix symbols

  FissoreD

  committed
  9f55359

  Copy full SHA for 9f55359

• [determinacy] determine type of variable from typeassignment

  Show description for ba98f79
  FissoreD

  committed
  ba98f79

  Copy full SHA for ba98f79

• [determinacy] type assignment to functionality check if Uvar is set

  Show description for e5c7a06
  FissoreD

  committed
  e5c7a06

  Copy full SHA for e5c7a06

• [determinacy] move variable inference from infer to infer_outputs

  FissoreD

  committed
  366e2e6

  Copy full SHA for 366e2e6

• [determinacy] update debug messages

  FissoreD

  committed
  40c3cf3

  Copy full SHA for 40c3cf3

• [error_messages] make menhir-strip-errormsgs

  FissoreD

  committed
  2cf31bd

  Copy full SHA for 2cf31bd

• [spilling] add header to mli

  FissoreD

  committed
  4740151

  Copy full SHA for 4740151

• [determinacy] check symbol names (F.t) are global

  FissoreD

  committed
  3902375

  Copy full SHA for 3902375

• [determinacy] again less print

  FissoreD

  committed
  896c05e

  Copy full SHA for 896c05e

• [determinacy] fold_left_partial and functionality_leq between Any and relational

  Show description for d096870
  FissoreD

  committed
  d096870

  Copy full SHA for d096870

• [determinacy] varidic predicates and modes + all tests pass

  Show description for 426665e
  FissoreD

  committed
  426665e

  Copy full SHA for 426665e

• [determinacy] cmp + <<= + deduce functionality of unkown

  Show description for f3a972b
  FissoreD

  committed
  f3a972b

  Copy full SHA for f3a972b

• [union find] type assignment merge and union-find

  FissoreD

  committed
  4314506

  Copy full SHA for 4314506

• [union-find] version with persistent map instead of "persistent" Hashtbl

  FissoreD

  committed
  03ee23c

  Copy full SHA for 03ee23c

• [type-checker] fix tyass when using cast

  FissoreD

  committed
  c51aaf9

  Copy full SHA for c51aaf9

• [type-assignment] add functional|relation on the prop constructor

  FissoreD

  committed
  64412f2

  Copy full SHA for 64412f2

• [union-find] rename Union_find in IdPosUF

  FissoreD

  committed
  53a0e77

  Copy full SHA for 53a0e77

• [compiler] modes refactor: typeAss's arrow has mode + remove pred from ScopedTypeExpression

  Show description for 089e5f3
  FissoreD

  committed
  089e5f3

  Copy full SHA for 089e5f3

• [type-checker] add test for mode inference of variable

  FissoreD

  committed
  a3bde64

  Copy full SHA for a3bde64

• wip

  FissoreD

  committed
  28f076b

  Copy full SHA for 28f076b

• [compiler] remove unused type

  FissoreD

  committed
  1bc2d25

  Copy full SHA for 1bc2d25

• [compiler] modes in SymbolMap + macro clone

  Show description for 633a19c
  FissoreD

  committed
  633a19c

  Copy full SHA for 633a19c

• [compiler] pp duplicate mode message

  FissoreD

  committed
  5d2ef89

  Copy full SHA for 5d2ef89

• [compiler] clean code

  FissoreD

  committed
  86d017b

  Copy full SHA for 86d017b

• minor fixes

  

  gares

  authored and

  FissoreD

  committed
  21aa782

  Copy full SHA for 21aa782

• [compiler_data] update pretty printer of type_assignment

  Show description for 5e9862e
  FissoreD

  committed
  5e9862e

  Copy full SHA for 5e9862e

• minor

  FissoreD

  committed
  f13e98c

  Copy full SHA for f13e98c

• clean code

  FissoreD

  committed
  edcd2bd

  Copy full SHA for edcd2bd

• improve duplicate mode error message

  gares

  committed
  dfb001b

  Copy full SHA for dfb001b

• we need to type check again

  gares

  committed
  95b5b07

  Copy full SHA for 95b5b07

• [compiler] start mode checking in type_checker

  Show description for 9ffb686
  FissoreD

  committed
  9ffb686

  Copy full SHA for 9ffb686

Commits on Dec 19, 2024

• update mode signatures of tests

  FissoreD

  committed
  cf08313

  Copy full SHA for cf08313

• [type_checker] update test_typechecker.ml

  FissoreD

  committed
  8b54c7d

  Copy full SHA for 8b54c7d

• [compiler] pretty printer for types

  FissoreD

  committed
  4bdb677

  Copy full SHA for 4bdb677

• wip

  FissoreD

  committed
  259241a

  Copy full SHA for 259241a

• detach mode checker from type checker

  FissoreD

  committed
  f9ffc4e

  Copy full SHA for f9ffc4e

• comment

  gares

  committed
  ccb0db7

  Copy full SHA for ccb0db7