Skip to content
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

Require types to start with an uppercase letter #1583

Merged
merged 28 commits into from
May 21, 2024
Merged

Require types to start with an uppercase letter #1583

Changes from 1 commit
Commits
Show all changes
28 commits
Select commit Hold shift + click to select a range
cd4495c
WIP: start work on requiring uppercase type names
byorgey Oct 11, 2023
44929e9
WIP: convert some scenarios, tests, etc. to use new uppercase type sy…
byorgey Oct 14, 2023
60693cd
WIP: get parsing for uppercase types working
byorgey Oct 14, 2023
bac4d99
update to stack LTS-21.15
byorgey Oct 14, 2023
6cb80a5
WIP: bit more conversion work
byorgey Oct 14, 2023
bd0df8e
more conversion
byorgey Oct 17, 2023
872e030
yet more conversion
byorgey Oct 17, 2023
b656d07
allow uppercase versions of lowercase reserved words
byorgey Oct 17, 2023
3d9623e
pretty-print `Cmd` type as uppercase
byorgey Oct 17, 2023
dcb2b46
finish conversion
byorgey Oct 17, 2023
0e4fdcd
tag type
byorgey Oct 17, 2023
44ee4f6
fix markdown syntax
byorgey Oct 17, 2023
aecc2c7
require variable names to start with lowercase letters
byorgey Oct 18, 2023
ad89e24
test that uppercase type vars are not allowed
byorgey Oct 18, 2023
509c097
allow uppercase term variables, but not uppercase type variables
byorgey Oct 19, 2023
9733e73
Merge branch 'main' into feature/uppercase-types
byorgey Oct 24, 2023
e31d220
Merge branch 'main' into feature/uppercase-types
byorgey May 14, 2024
3ba4464
uppercase types in remaining `.sw` files
byorgey May 15, 2024
64d6d41
fix type of `path`
byorgey May 15, 2024
1b3116e
improve error message for types that are not uppercase
byorgey May 15, 2024
6a74a96
reorganize
byorgey May 15, 2024
85f35df
refactor
byorgey May 15, 2024
11efc18
fix comment
byorgey May 15, 2024
49a6d59
use custom data type as argument to `locIdentifier` instead of `Bool`
byorgey May 15, 2024
271c19c
other part of change to custom data type to replace `Bool`
byorgey May 15, 2024
eab417d
Use Set for reservedWords instead of list
byorgey May 21, 2024
e987fad
Restyled by fourmolu (#1859)
restyled-io[bot] May 21, 2024
3769411
Merge branch 'main' into feature/uppercase-types
mergify[bot] May 21, 2024
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
Prev Previous commit
Merge branch 'main' into feature/uppercase-types
  • Loading branch information
@mergify
mergify[bot] authored May 21, 2024
commit 3769411bda103f18c6b6e5eaec03cbbee34aeccd

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.