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

UPW[WIP]: faster, lightweight, more flexible and concisely implemented pattern matching #83

Merged
merged 17 commits into from
May 4, 2020
Merged

UPW[WIP]: faster, lightweight, more flexible and concisely implemented pattern matching #83

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
17 commits
Select commit Hold shift + click to select a range
56ce973
wip: the ultimate pattern compilation
thautwarm May 1, 2020
43834c0
core
thautwarm May 2, 2020
d9bf45c
WIP: implementation of core match and switch
thautwarm May 2, 2020
e9ae5a6
made progress: record finsihed
thautwarm May 2, 2020
75bb1a6
lift and integrate errors
thautwarm May 2, 2020
fbaa6a9
WIP: datatype reimpl & close scope for match, open scope for switch
thautwarm May 3, 2020
a79812f
datatype, view patterns
thautwarm May 3, 2020
2cc9ea5
consistent code gen api(the last 2 params are module and linenumberno…
thautwarm May 3, 2020
ce21e24
uncomprehensions
thautwarm May 3, 2020
ab30ad0
WIP: all refactor done, working on tests
thautwarm May 3, 2020
0a5e3fe
quote patterns for matching `a.?` and so on & working on tests
thautwarm May 3, 2020
1158d7a
WIP: tests
thautwarm May 3, 2020
4cefcc8
compatibility & test passing:
thautwarm May 4, 2020
061b199
fix tests for 1.0 and 1.1
thautwarm May 4, 2020
d28643f
documentations
thautwarm May 4, 2020
a5651ac
documentations for switch
thautwarm May 4, 2020
808804b
docs for 0.4 hints
thautwarm May 4, 2020
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
Next Next commit
wip: the ultimate pattern compilation
  • Loading branch information
@thautwarm
thautwarm committed May 1, 2020
commit 56ce973eba3ce9fb8bd4ab85fa288bbc7877a3e8
4 changes: 4 additions & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -26,3 +26,7 @@ tags

# temp files
temp/

# editors
MLStyle.jl.iml
.vscode/
4 changes: 4 additions & 0 deletions Project.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,10 @@ uuid = "d8e11817-5142-5d16-987a-aa16d5891078"
authors = ["thautwarm <twshere@outlook.com>"]
version = "0.3.1"


[deps]
AbstractPattern = "01f4d636-c494-49cd-be72-24f3977c0639"

[extras]
DataFrames = "a93c6f00-e57d-5684-b7b6-d8193f3e46c0"
DataStructures = "864edb3b-99cc-5e75-8d2d-829cb0a9cfe8"
Expand Down
61 changes: 32 additions & 29 deletions src/MLStyle.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -19,52 +19,55 @@ export PatternUnsolvedException, InternalException, SyntaxError, UnknownExtensio
export @as_record
export @λ, gen_lambda
export @when, @otherwise, gen_when
export MatchCore

# convenient modules
export Modules
include("MatchCore.jl")

# # convenient modules
# export Modules

include("Err.jl")
using MLStyle.Err

include("Extension.jl")
using MLStyle.Extension
# include("Err.jl")
# using MLStyle.Err

include("Internal/Toolz.jl")
# include("Extension.jl")
# using MLStyle.Extension

include("Render.jl")
# include("Internal/Toolz.jl")

include("MatchCore.jl")
using MLStyle.MatchCore
# include("Render.jl")

# include("MatchCore.jl")
# using MLStyle.MatchCore

include("Infras.jl")
using MLStyle.Infras
# include("Infras.jl")
# using MLStyle.Infras

include("Pervasives.jl")
using MLStyle.Pervasives
# include("Pervasives.jl")
# using MLStyle.Pervasives

include("Qualification.jl")
# include("Qualification.jl")

include("TypeVarExtraction.jl")
# include("TypeVarExtraction.jl")

include("StandardPatterns/TypeVarDecons.jl")
include("StandardPatterns/Active.jl")
using MLStyle.Active
# include("StandardPatterns/TypeVarDecons.jl")
# include("StandardPatterns/Active.jl")
# using MLStyle.Active

include("Record.jl")
using MLStyle.Record
# include("Record.jl")
# using MLStyle.Record

include("DataType.jl")
using MLStyle.DataType
# include("DataType.jl")
# using MLStyle.DataType

include("StandardPatterns/Uncomprehensions.jl")
# include("StandardPatterns/Uncomprehensions.jl")

include("StandardPatterns/LambdaCases.jl")
using MLStyle.LambdaCases
# include("StandardPatterns/LambdaCases.jl")
# using MLStyle.LambdaCases

include("StandardPatterns/WhenCases.jl")
using MLStyle.WhenCases
# include("StandardPatterns/WhenCases.jl")
# using MLStyle.WhenCases

include("Modules/Modules.jl")
# include("Modules/Modules.jl")

end # module
283 changes: 0 additions & 283 deletions src/MatchCore-Deprecated.jl
View file
Open in desktop

This file was deleted.

Loading