Merge requests · POTTIER Francois / inferno

More consistent handling of errors in Solver, Infer and FTypeChecker, with source locations

!48 · created Feb 12, 2023 by SCHERER Gabriel
- Merged
- 11
updated Feb 22, 2023
Client: monomorphic `let rec`

!49 · created Feb 21, 2023 by SCHERER Gabriel
- Merged
- 1
updated Feb 22, 2023
More efficient typechecking of System F pattern-matching

!46 · created Feb 01, 2023 by MARTINOT Olivier
- Merged
- Approved
- 1
updated Feb 02, 2023
More informative error messages when typechecking System F variants

!47 · created Feb 01, 2023 by MARTINOT Olivier
- Merged
- Approved
- 1
updated Feb 02, 2023
Add a notion of type equality in the client

!44 · created Nov 03, 2022 by MARTINOT Olivier
- Merged
- Approved
- 26
updated Jan 27, 2023
Improve the printing of n-ary abstraction and type abstraction.

!45 · created Nov 18, 2022 by MARTINOT Olivier
- Merged
- Approved
- 3
updated Nov 22, 2022
Fix a bug (incorrect assumption when using [letr1] in the client).

!43 · created May 23, 2022 by MARTINOT Olivier
- Merged
- 2
updated Jun 03, 2022
Rigid variable

!37 · created Jan 26, 2022 by MARTINOT Olivier
- Merged
- 1
updated Apr 01, 2022
Various cleanups in our testing code

!40 · created Feb 07, 2022 by SCHERER Gabriel
- Merged
- 2
updated Feb 07, 2022
Error messages

!39 · created Feb 07, 2022 by MARTINOT Olivier
- Merged
- 6
updated Feb 07, 2022
Fix the test scripts

!38 · created Feb 01, 2022 by SCHERER Gabriel
- Merged
- 6
updated Feb 07, 2022
Ranges

!32 · created Dec 02, 2021 by MARTINOT Olivier
- Merged
- 0
updated Feb 07, 2022
Solver: remove (<$$>), (^&) from implementation and documentation

!34 · created Jan 17, 2022 by SCHERER Gabriel
- Merged
- 11
updated Jan 18, 2022
Cram tests

!33 · created Jan 06, 2022 by MARTINOT Olivier
- Merged
- 0
updated Jan 07, 2022
Use Alcotest for the test suite.

!31 · created Nov 09, 2021 by MARTINOT Olivier
- Merged
- 7
updated Nov 16, 2021
purer constraints

!16 · created Mar 31, 2021 by SCHERER Gabriel
- Merged
- 42
updated Sep 28, 2021
Robust schemes by generalization without a generic rank

!30 · created Jun 12, 2021 by SCHERER Gabriel
- Merged
- 5
updated Sep 27, 2021
Add annotations to System F

!28 · created Jun 11, 2021 by SCHERER Gabriel
- Merged
- Approved
- 1
updated Jun 22, 2021
typed holes (with subterms) for shrinking

!27 · created May 25, 2021 by SCHERER Gabriel
- Merged
- 4
updated Jun 10, 2021
Use QCheck for the random test suite

!25 · created May 12, 2021 by MARTINOT Olivier
- Merged
- 6
updated May 17, 2021