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

Jump to bottom

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 all commits
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
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/
1 change: 1 addition & 0 deletions .travis.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,7 @@ os:
julia:
- 1.0
- 1.1
- 1.4
- nightly
matrix:
allow_failures:
Expand Down
2 changes: 1 addition & 1 deletion Project.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
name = "MLStyle"
uuid = "d8e11817-5142-5d16-987a-aa16d5891078"
authors = ["thautwarm <[email protected]>"]
version = "0.3.1"
version = "0.4.0"

[extras]
DataFrames = "a93c6f00-e57d-5684-b7b6-d8193f3e46c0"
Expand Down
3 changes: 3 additions & 0 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,9 @@ MLStyle.jl
[![Docs](https://img.shields.io/badge/docs-latest-purple.svg)](https://thautwarm.github.io/MLStyle.jl/latest/)
[![Join the chat at https://gitter.im/MLStyle-jl/community](https://badges.gitter.im/MLStyle-jl/community.svg)](https://gitter.im/MLStyle-jl/community?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)


This README and the documentations are so far for v0.3 and not up-to-date yet. We're actively working on this.

## Index
- [What is MLStyle.jl](#what-is-mlstylejl)

Expand Down
11 changes: 3 additions & 8 deletions docs/make.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,18 +7,14 @@ makedocs(
MLStyle.MatchCore,
MLStyle.DataType,
MLStyle.Err,
MLStyle.Extension,
MLStyle.Infras,
MLStyle.Pervasives,
MLStyle.Record,

# standard patterns
MLStyle.TypeVarDecons,
MLStyle.Active,
MLStyle.Uncomprehensions,
MLStyle.LambdaCases,
MLStyle.WhenCases,

MLStyle.Render
MLStyle.WhenCases
],
clean = false,
format = :html,
Expand All @@ -29,11 +25,10 @@ makedocs(
"Home" => "index.md",
"Syntax" => Any[
"syntax/adt.md",
"syntax/switch.md",
"syntax/pattern.md",
"syntax/pattern-function.md",
"syntax/when.md",
"syntax/extension.md",
"syntax/qualifier.md"
],
"Tutorials" => Any[
"tutorials/capture.md",
Expand Down
6 changes: 6 additions & 0 deletions docs/src/index.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,12 @@ MLStyle.jl
[![Docs](https://img.shields.io/badge/docs-latest-purple.svg)](https://thautwarm.github.io/MLStyle.jl/latest/)
[![Join the chat at https://gitter.im/MLStyle-jl/community](https://badges.gitter.im/MLStyle-jl/community.svg)](https://gitter.im/MLStyle-jl/community?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)


***This is the documentation for unreleased v0.4, which has a lot of improvements, i.e. "changes".***

***You may now check docs of v0.3.1.***


## What is MLStyle.jl?

MLStyle.jl is a Julia package that provides multiple productivity tools from ML ([Meta Language](https://en.wikipedia.org/wiki/ML_(programming_language))) like [pattern matching](https://en.wikipedia.org/wiki/Pattern_matching) which is statically generated and extensible, ADTs/GADTs ([Algebraic Data Type](https://en.wikipedia.org/wiki/Algebraic_data_type), [Generalized Algebraic Data Type](https://en.wikipedia.org/wiki/Generalized_algebraic_data_type)) and [Active Patterns](https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/active-patterns).
Expand Down
Loading