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

Improve performance of variable conflict resolution #2

Open
szynwelski opened this issue Oct 9, 2016 · 0 comments
Open

Improve performance of variable conflict resolution #2

szynwelski opened this issue Oct 9, 2016 · 0 comments
Assignees
@szynwelski

Comments

@szynwelski
Copy link
Owner

Check whether set variables conflict names can be resolved more efficiently on the Haskell compiler level.
@szynwelski szynwelski self-assigned this Jan 2, 2017
szynwelski added a commit that referenced this issue Aug 31, 2018
@szynwelski
Issue #2 - NLambda plugin.
fee9f1e
szynwelski added a commit that referenced this issue Aug 31, 2018
@szynwelski
Issue #2 - Remove names map.
c1974f1
szynwelski added a commit that referenced this issue Aug 31, 2018
@szynwelski
Issue #2 - Data construtor with meta.
8610336
szynwelski added a commit that referenced this issue Aug 31, 2018
@szynwelski
Issue #2 - Fixes mainly in applyExpr.
7e258aa
szynwelski added a commit that referenced this issue Aug 31, 2018
@szynwelski
Issue #2 - New bind vars.
27cc51c
szynwelski added a commit that referenced this issue Aug 31, 2018
@szynwelski
Issue #2 - Var names - nlambda as prefix and exported binds.
d13015c
szynwelski added a commit that referenced this issue Aug 31, 2018
@szynwelski
Issue #2 - Let expression.
262a3d4
szynwelski added a commit that referenced this issue Aug 31, 2018
@szynwelski
Issue #2 - gitignore in meta
8ceb3f0
szynwelski added a commit that referenced this issue Aug 31, 2018
@szynwelski
Issue #2 - Case and others expressions.
861e154
szynwelski added a commit that referenced this issue Aug 31, 2018
@szynwelski
Issue #2 - Fixed create and uniond expression.
2d6dbb5
szynwelski added a commit that referenced this issue Aug 31, 2018
@szynwelski
Issue #2 - Implicit binds, better exports, panic messages.
3bc1fe3
szynwelski added a commit that referenced this issue Aug 31, 2018
@szynwelski
Issue #2 - Classes
9c5d7af
szynwelski added a commit that referenced this issue Aug 31, 2018
@szynwelski
Issue #2 - Fixed lambda with evidence variable.
6be5c3b
szynwelski added a commit that referenced this issue Aug 31, 2018
@szynwelski
Issue #2 - Recursive binds.
0a5ff58
szynwelski added a commit that referenced this issue Aug 31, 2018
@szynwelski
Issue #2 - Meta equivalents.
4a21554
szynwelski added a commit that referenced this issue Aug 31, 2018
@szynwelski
Issue #2 - More examples.
5d4dd79
szynwelski added a commit that referenced this issue Aug 31, 2018
@szynwelski
Issue #2 - Functions type without meta.
5cbe64b
szynwelski added a commit that referenced this issue Aug 31, 2018
@szynwelski
Issue #2 - Numbers operations, show from Prelude (first attempt), onl…
eec915c 
…y show mode
szynwelski added a commit that referenced this issue Aug 31, 2018
@szynwelski
Issue #2 - Run script.
6c1c2f9
szynwelski added a commit that referenced this issue Aug 31, 2018
@szynwelski
Issue #2 - Checking type contains atoms.
73d6551
szynwelski added a commit that referenced this issue Aug 31, 2018
@szynwelski
Issue #2 - Recursive computations of new vars, classes, data cons etc.
b3aac81
szynwelski added a commit that referenced this issue Aug 31, 2018
@szynwelski
Issue #2 - Fix in data constructor: redundant empty expression
e6af672
szynwelski added a commit that referenced this issue Aug 31, 2018
@szynwelski
Issue #2 - Module imports.
d69d604
szynwelski added a commit that referenced this issue Aug 31, 2018
@szynwelski
Issue #2 - Change signature of unionMeta and match dataConExpr
b5a577d
szynwelski added a commit that referenced this issue Aug 31, 2018
@szynwelski
Issue #2 - Annotation WithMeta to for plugin to ignore.
ee435e8
szynwelski added a commit that referenced this issue Aug 31, 2018
@szynwelski
Issue #2 - Module Meta - incomplete implementation.
fa9ab31
szynwelski added a commit that referenced this issue Aug 31, 2018
@szynwelski
Issue #2 - MetaPrelude
2bdf6de
szynwelski added a commit that referenced this issue Aug 31, 2018
@szynwelski
Issue #2 - Meta equivalents, fixed applyExpr, empty -> noMeta.
f2b7423
szynwelski added a commit that referenced this issue Aug 31, 2018
@szynwelski
Issue #2 - Add meta equivalents for infix operators, Show, Eq, Ord, M…
92c4021 
…aybe
szynwelski added a commit that referenced this issue Feb 18, 2019
@szynwelski
Issue #2 - Tests for subset functions.
57ee9d0
szynwelski added a commit that referenced this issue Feb 19, 2019
@szynwelski
Issue #2 - Tests for intersection and difference.
6fa3d92
szynwelski added a commit that referenced this issue Feb 19, 2019
@szynwelski
Issue #2 - Tests for pair of atoms.
31d012b
szynwelski added a commit that referenced this issue Feb 25, 2019
@szynwelski
Issue #2 - Replace mocked instances - better calculating of common pr…
fb9bd51 
…edicates for replaced binds.
szynwelski added a commit that referenced this issue Feb 25, 2019
@szynwelski
Issue #2 - Tests for triples functions.
bb35b96
szynwelski added a commit that referenced this issue Feb 25, 2019
@szynwelski
Issue #2 - Tests for mapList and mapFilterList functions.
8e2f024
szynwelski added a commit that referenced this issue Feb 25, 2019
@szynwelski
Issue #2 - Fixed meta equivalent for filter function.
9d4fb2c
szynwelski added a commit that referenced this issue Feb 25, 2019
@szynwelski
Issue #2 - Test for replicate functions.
0834476
szynwelski added a commit that referenced this issue Feb 25, 2019
@szynwelski
Issue #2 - Tests for size functions.
2a72e84
szynwelski added a commit that referenced this issue Feb 25, 2019
@szynwelski
Issue #2 - Tests of functions that check the properties of atoms.
5426e50
szynwelski added a commit that referenced this issue Mar 1, 2019
@szynwelski
Issue #2 - Meta equivalent for groupAction and tests for main Orbit f…
fa4ed49 
…unctions.
szynwelski added a commit that referenced this issue Mar 5, 2019
@szynwelski
Issue #2 - Preserve dependencies order in meta equivalents for Prelud…
81a1e74 
…e classes.
szynwelski added a commit that referenced this issue Mar 6, 2019
@szynwelski
Issue #2 - Normalize set elements before show.
0841df1
szynwelski added a commit that referenced this issue Mar 6, 2019
@szynwelski
Issue #2 - Nominal set - sumCondition during variables normalization.
9477d00
szynwelski added a commit that referenced this issue Mar 6, 2019
@szynwelski
Issue #2 - Basic graph tests.
b6ef19a
szynwelski added a commit that referenced this issue Mar 7, 2019
@szynwelski
Issue #2 - Time of tests computation.
2293cfe
szynwelski added a commit that referenced this issue Mar 7, 2019
@szynwelski
Issue #2 - More graph tests.
ddcff52
szynwelski added a commit that referenced this issue Mar 8, 2019
@szynwelski
Issue #2 - Base tests for automata.
0237d68
szynwelski added a commit that referenced this issue Mar 8, 2019
@szynwelski
Issue #2 - Result of applyWithMeta limited to free variables.
4d4d330
szynwelski added a commit that referenced this issue May 3, 2019
@szynwelski
Issue #2 - fixed checkEquality in Nominal.Set, fixed nlambda_map in N…
bb729df 
…ominal.Meta.Data.MapMeta.Data.Map and some other fixes
szynwelski added a commit that referenced this issue May 24, 2019
@szynwelski
Issue #2 - fixed lift meta in Set (map, filter) and Data.Map
8276c34
szynwelski added a commit that referenced this issue Jun 6, 2019
@szynwelski
Issue #2 - Nominal.Set - fixed filter and insert
4af840b
szynwelski added a commit that referenced this issue Nov 2, 2019
@szynwelski
Issue #2 - fixed normalization of variables
68c8bd6
szynwelski added a commit that referenced this issue Nov 2, 2019
@szynwelski
Issue #2 - fixed calculating free variables and meta in applyWithMeta…
c4a29c9 
… function
szynwelski added a commit that referenced this issue Nov 2, 2019
@szynwelski
Issue #2 - fixed signature for applyWithMeta function
bab0569
szynwelski added a commit that referenced this issue Nov 5, 2019
@szynwelski
Issue #2 - fixed Map.insertWith meta equivalent function
8f56350
szynwelski added a commit that referenced this issue Nov 14, 2019
@szynwelski
Issue #2 - meta equivalents for often used functions.
251227d
szynwelski added a commit that referenced this issue Nov 21, 2019
@szynwelski
Issue #2 - Nominal.Variants exports meta equivalents
0e3069e
szynwelski added a commit that referenced this issue Nov 21, 2019
@szynwelski
Issue #2 - meta equivalent for constraint function
0f59db4
szynwelski added a commit that referenced this issue Nov 21, 2019
@szynwelski
Issue #2 - meta equivalent for constraint function
def2737
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@szynwelski szynwelski

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@szynwelski