Skip to content

Fix #269 and rewrite DFAMin #270

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 20 commits into from
Apr 5, 2025
Merged

Fix #269 and rewrite DFAMin #270

Show file tree
Hide file tree
Changes from 19 commits
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
5d1ff9d
add test that demonstrates the issue
nicuveo Apr 3, 2025
ad1dd62
remove incorrect extra-source-files entries
nicuveo Apr 3, 2025
4db93cd
rewrite DFAMin
nicuveo Apr 3, 2025
bfba770
add test for older versions of the code
nicuveo Apr 3, 2025
aabfad2
improve comments
nicuveo Apr 3, 2025
529e2c6
fix call of `restrictKeys` for older GHC versions
nicuveo Apr 3, 2025
e821227
Revert "remove incorrect extra-source-files entries"
nicuveo Apr 3, 2025
d8b594b
rename tests
nicuveo Apr 3, 2025
ce8fb61
add new tests to extra-source-files
nicuveo Apr 3, 2025
60e796e
make use of `fold`
nicuveo Apr 3, 2025
ca3d85e
revert formatter changes
nicuveo Apr 3, 2025
c3877e9
improve comments, fix typos
nicuveo Apr 4, 2025
4e38c0a
fix typos in tests
nicuveo Apr 4, 2025
baf71bd
Optimize 'number' by removing already assigned start states
andreasabel Apr 4, 2025
afe58f5
Optimize the construction of new states from old states
andreasabel Apr 4, 2025
e090a9a
Cosmetics: use OldSNum / NewSNum instead of Int; etc.
andreasabel Apr 4, 2025
e88bd3c
Suggestion: Use a plain filter instead of restrictKeys
andreasabel Apr 4, 2025
e7090e2
remove `restrictKeys` in favour of filter
nicuveo Apr 4, 2025
240397c
use folds to avoid concat
nicuveo Apr 4, 2025
d2b6a9e
add `-XDeriveFunctor` to emulated workflow
nicuveo Apr 5, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions alex.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -91,6 +91,8 @@ extra-source-files:
tests/issue_141.x
tests/issue_197.x
tests/issue_262.x
tests/issue_269_part1.x
tests/issue_269_part2.x
tests/strict_text_typeclass.x
tests/posn_typeclass_strict_text.x
tests/tokens_monadUserState_strict_text.x
Expand All @@ -113,6 +115,7 @@ executable alex
default-language:
Haskell2010
default-extensions:
DeriveFunctor
PatternSynonyms
ScopedTypeVariables
TupleSections
Expand Down
2 changes: 1 addition & 1 deletion src/AbsSyn.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -123,7 +123,7 @@ data RightContext r
= NoRightContext
| RightContextRExp r
| RightContextCode Code
deriving (Eq,Ord)
deriving (Eq, Ord, Functor)

instance Show RECtx where
showsPrec _ (RECtx scs _ r rctx code) =
Expand Down
Loading
Loading