| .. |
|
Bugs
|
8ca2402d1f
Testsuite: use Text.words consistently when diffing
|
vor 3 Jahren |
|
Common
|
e2eb867be0
[ fix #4384 ] Handled path lambdas in rewrite rules.
|
vor 3 Jahren |
|
Compiler
|
b52a21df38
[ #5731 ] Added --save-metas and --no-save-metas.
|
vor 3 Jahren |
|
Fail
|
dc35906768
[ fix #5763 ] don't include operators with binders when parsing patterns
|
vor 3 Jahren |
|
Interactive
|
d1f688c584
[ fixed #5132 ] interactive: importPrimitives if no file is loaded
|
vor 4 Jahren |
|
Internal
|
edfa0ab24e
[ #5731 ] Added the field metaModule to MetaId.
|
vor 3 Jahren |
|
LaTeXAndHTML
|
edd8334381
[ #5427 ] Removed support for subtyping for erasure and irrelevance.
|
vor 3 Jahren |
|
LibSucceed
|
d281edeac8
Re #854: updated test case to latest std-lib
|
vor 3 Jahren |
|
Succeed
|
a480a5bb0e
[ fix #5787 ] Leave checking of modality of instance candidates to later phase
|
vor 3 Jahren |
|
UserManual
|
767ab569c2
[cleanup] Remove LANGUAGE pragmas also enabled at project-level
|
vor 5 Jahren |
|
api
|
ed6730a171
[ fix #4959 ] rip out TopLevelInteraction (unfix #4647)
|
vor 3 Jahren |
|
features
|
44a8bd68f6
Feature #2331 deactivated due to unsoundness.
|
vor 7 Jahren |
|
interaction
|
edfa0ab24e
[ #5731 ] Added the field metaModule to MetaId.
|
vor 3 Jahren |
|
lib-interaction
|
6591c94fca
make: Set SHELL from mk/common.mk and run with safe flags
|
vor 4 Jahren |
|
Main.hs
|
b44a0bd828
[ fix #5302 ] make 'cabal test' work for part of the test-suite (#5536)
|
vor 3 Jahren |
|
Makefile
|
f220dda262
[ Makefile ] include InternalTests in lines-of-code counting for test [ci skip]
|
vor 6 Jahren |
|
Setup.hs
|
33cc3c7dcb
[ exec-tests ] Move setup code to Haskell runner.
|
vor 9 Jahren |
|
Utils.hs
|
8ca2402d1f
Testsuite: use Text.words consistently when diffing
|
vor 3 Jahren |
Jesper Cockx
a480a5bb0e
[ fix #5787 ] Leave checking of modality of instance candidates to later phase