Ecosyste.ms: OpenCollective

An open API service for software projects hosted on Open Collective.

github.com/lamdu/hypertypes

Hypertypes - generic programming for heterogeneous recursive types
https://github.com/lamdu/hypertypes

Fix bug when unifying unbound variable with itself indirected

(and cleanup for unify)

f2b1a3c3ef5451faefac9255d87d6ca70e7d2da6 authored almost 6 years ago by Yair Chuchem <[email protected]>
Fix generalize getting stuck on infinite types, produces occurs error instead

2dfe61c373311046e037f6118cf6e30dadcff10e authored almost 6 years ago by Yair Chuchem <[email protected]>
fix bugs in handling of skolems from nominal foralls

782a47340c0031cf0a0dc88fe2a49dacd0524d9a authored almost 6 years ago by Yair Chuchem <[email protected]>
add failing tests for nominals with foralls (skolems)

43d2108e070f138e32115c5ae81ac874126aa5c5 authored almost 6 years ago by Yair Chuchem <[email protected]>
Show instances

4dba31311d02592fb9cfd794ec13fae0d1402bc7 authored almost 6 years ago by Yair Chuchem <[email protected]>
fix pPrint parens

56a9f563a23dac29649884c14acc1a9843046cc7 authored almost 6 years ago by Yair Chuchem <[email protected]>
unroll pattern matches in unify

the helper function didn't really help. just obscured what's going on

e7021e2f2fa7cce9617b27a2978d00e4bd11067c authored almost 6 years ago by Yair Chuchem <[email protected]>
extract instantiateForAll

9c64f364f668f5bd1f6e296472cc8ec5935db51c authored almost 6 years ago by Yair Chuchem <[email protected]>
foldMapAChildren

ffa547f4458ca85485a30a448947631d8a5d307b authored almost 6 years ago by Yair Chuchem <[email protected]>
Fix instantiation of skolems

(Bug manifested in wip branch of Lamdu)
TODO: consider adding a test with such skolems

001f4ed412cb1cda4c7fe502d7e4896b8a55bc0e authored almost 6 years ago by Yair Chuchem <[email protected]>
fix copy-pasted error messages

bbd599abd74b2835a37bc86e4e770cb3a5e23eea authored almost 6 years ago by Yair Chuchem <[email protected]>
add missing instances

5a9dd2ce5389ae47e060ccf51fddaa8c89324d6e authored almost 6 years ago by Yair Chuchem <[email protected]>
STVar=>STUVar

42a015d2d8112286b9b28e18bcce6092ed770af7 authored almost 6 years ago by Yair Chuchem <[email protected]>
Binding uses new UVar newtype rather than (Const Int)

fc3ff8837cc87bdf39ff6c907712a157b85bfa72 authored almost 6 years ago by Yair Chuchem <[email protected]>
Unify term constructor UVar renamed to UToVar

Because it "points to" another var

fc760d9ff59acd00c3a69a8c21edd23f2f459a92 authored almost 6 years ago by Yair Chuchem <[email protected]>
Rename UVar type family to UVarOf

856489b0e03fea8c208aef67583248e1aa5363eb authored almost 6 years ago by Yair Chuchem <[email protected]>
Rename AST.Unify.Binding.Pure.PureBinding => AST.Unify.Binding.Binding

PureBinding becomes the "default" bindings and ST is the variant.
(Like Array and STArray)

baec153ad72a6926fd0be5f0f76759e04bd784b5 authored almost 6 years ago by Yair Chuchem <[email protected]>
Rename AST.Unify.Binding.Binding => AST.Class.Unify.BindingDict

See following rename commits for bigger scheme

cd4d6945b84f12b3517c6de8e6f57ab2a1bf7d92 authored almost 6 years ago by Yair Chuchem <[email protected]>
extract repeating deps

7937d4e0f39d39f0c598af289c6d23885daeafca authored almost 6 years ago by Yair Chuchem <[email protected]>
Generalize AST.Unify.Binding.Save

It's not really related to ST

AST.Unify.Binding.ST.Load however actually uses an STArray etc to...

33484b40ac7ef637f668a33235fcf38dd57097d9 authored almost 6 years ago by Yair Chuchem <[email protected]>
saveScheme

f1ca7c1c95f26a76965e39f659e4007dda4a6a39 authored almost 6 years ago by Yair Chuchem <[email protected]>
Use Flip rather than newtype wrapper Generalized

0e4074f6120fae3b9e10938b0ae4a2c14fe741be authored almost 6 years ago by Yair Chuchem <[email protected]>
remove redundant constraint

54387af02cadd3564c89ff93e3eee089dcebae9d authored almost 6 years ago by Yair Chuchem <[email protected]>
Add Eq,Ord,Show instances to UTerm[Body], PureBinding

9a06c4d2e45dad7edb27305ff7209bf5cd106f32 authored almost 6 years ago by Eyal Lotem <[email protected]>
Add Ord instance to ScopeLevel for Map key compliance

fcbb95cfc6056c141eb6815ab2f97720b6bd38ff authored almost 6 years ago by Eyal Lotem <[email protected]>
add iAnnotations traversal

4223de89afad9562c26ae7e9ff204d0ce2c802d7 authored almost 6 years ago by Yair Chuchem <[email protected]>
hlint police

1714ea641640ea61f4273866a744500a9a7d62f6 authored almost 6 years ago by Yair Chuchem <[email protected]>
UnifyError instances

bce4690eb944ee0fa3b4a83335f72a73ecea0bed authored almost 6 years ago by Yair Chuchem <[email protected]>
whitespace

5a3dfeeee43cc507937be65fd22fe066e0e84319 authored almost 6 years ago by Eyal Lotem <[email protected]>
Unify.Generalize: minor cleanup

40ff989fd15aa10c1e101ef5d81ae3007a673d50 authored almost 6 years ago by Eyal Lotem <[email protected]>
Infer.Term: minor cleanup

a350e2fbf226646b1e41180ac6c12fd5080ad12a authored almost 6 years ago by Eyal Lotem <[email protected]>
remove redundant parens

4cfca9b46d1a96cad0cb8a076cefa5fbdee1181c authored almost 6 years ago by Yair Chuchem <[email protected]>
Scheme.AlphaEq

93cfa7077d20f139662272d780747f80bc60ef58 authored almost 6 years ago by Eyal Lotem <[email protected]>
FromChildren class

7a91c71882ab485e10d805c7c47134edd8b823c3 authored almost 6 years ago by Yair Chuchem <[email protected]>
extract flattenRow

d2e31b8599143b493742953be0f79d49ade3c81d authored almost 6 years ago by Yair Chuchem <[email protected]>
typeInNominal

fd06418f586b53ba45dff88d2927b387f9ab5141 authored almost 6 years ago by Yair Chuchem <[email protected]>
recursiveOverChildren

1aea151f28e48d95ddc1c909f809e79fb15ef897 authored almost 6 years ago by Yair Chuchem <[email protected]>
add recursiveChildren combinator

112bebd711b0d441897e9a688049fd9c8d186d04 authored almost 6 years ago by Yair Chuchem <[email protected]>
Remove redundant constraint

0ad638849496bfa0e3ced2b545907cd2017ce720 authored almost 6 years ago by Yair Chuchem <[email protected]>
Row: export unflatten

1427d5e99376d113e8dc006dacc57b33d6f4ea4f authored almost 6 years ago by Yair Chuchem <[email protected]>
ITerm order

53ed408af196efbf348702b3e13d7e4f93439bb6 authored almost 6 years ago by Yair Chuchem <[email protected]>
IResult record more sensible than IPayload

ec9e5c8f25054ef7841202334396db28e0996041 authored almost 6 years ago by Yair Chuchem <[email protected]>
AST.Knot.Flip

d7c1f74c18997267b3b0306189173b109ab01131 authored almost 6 years ago by Yair Chuchem <[email protected]>
minor cleanups

ea8c0555a16e7f51c5006f65b0e87473d40ef120 authored almost 6 years ago by Yair Chuchem <[email protected]>
Add Flat rows - speeds up row unification significantly

ece215481b635547227ac595f0b3497982010748 authored almost 6 years ago by Eyal Lotem <[email protected]>
Add benchmark: large row unification

35dd82732b5bb9d4993223c3dcf717c36d232fb6 authored almost 6 years ago by Eyal Lotem <[email protected]>
Fix pretty precedence issues

4363ce5c5a4cc67d910a5605b7adc79190fc7d54 authored almost 6 years ago by Eyal Lotem <[email protected]>
test: Move exec{Pure,ST}Infer{A,B} to Lang{A,B}

2f4bfa5b95db266091a353a442d69da4a021008e authored almost 6 years ago by Eyal Lotem <[email protected]>
Reintroduce iType, iScope, iAnn

6c4a01cfbc05e6c5cdff75a6136e5f9c71a6c315 authored almost 6 years ago by Eyal Lotem <[email protected]>
Extract iPayload from ITerm

c6fdc5349ea11d210b9d80234d4e5b9bc6d2ebc1 authored almost 6 years ago by Eyal Lotem <[email protected]>
ZipMatch instances

b7e274bdd04b6425d390e8421e8d6b8403644ae0 authored almost 6 years ago by Yair Chuchem <[email protected]>
AST.Ann.strip

fe1e16bde36fa211672ce94430cb2692bdca3f97 authored almost 6 years ago by Yair Chuchem <[email protected]>
Move Inferred term and ScopeLevel to AST.Infer module hierarchy

7d528dbc8b006a7970cdead4618425aa5eea7dd0 authored almost 6 years ago by Yair Chuchem <[email protected]>
happy-path oriented bang patterns (small speedup in benchmark)

35522c457f714840c35a6481cb24d3c6d23d9b82 authored almost 6 years ago by Yair Chuchem <[email protected]>
remove redundant parameter

c608c38017430f2fbf68b2ec75491540d487631e authored almost 6 years ago by Yair Chuchem <[email protected]>
oops fix bug wrt missing updateTermConstraints

91f880a9a39989f4ae9076a1d649b2bb827277f5 authored almost 6 years ago by Yair Chuchem <[email protected]>
move withDict only to branches where used and more INLINEs

c348dc4c483a2ef59ede58369af6a00c1270f6cc authored almost 6 years ago by Yair Chuchem <[email protected]>
more INLINE pragmas

ace31bc9ec4ba7f533a342e68d2be34a54229ecf authored almost 6 years ago by Yair Chuchem <[email protected]>
More inline pragmas

new lamdu-calculus benchmark goes twice as fast with the inlines

03f200841d5338f34261adf579938dfe1bdf2b63 authored almost 6 years ago by Yair Chuchem <[email protected]>
ghc-prof-options

ec58159c4b51efd8b5ae47c0f1f723f655ae4e22 authored almost 6 years ago by Yair Chuchem <[email protected]>
add inline pragmas

b8d7f0ead4ae93096de39ab66684411c619b007b authored almost 6 years ago by Yair Chuchem <[email protected]>
Nominals: support phantom types

f107c4da713793aeb37350881bec5e4503742def authored almost 6 years ago by Yair Chuchem <[email protected]>
Add failing test case for phantom type

58b97fbc9690c6b89e094e498f74f40e6e2ba808 authored almost 6 years ago by Yair Chuchem <[email protected]>
Children.TH: Uses existing instances to figure out ChildrenConstraint

makeChildren now works for example LangB.ScopeTypes

fdd99b6167ca2ab8c5a9e51ba71dbfa64b3cd47e authored almost 6 years ago by Yair Chuchem <[email protected]>
Children.TH: extract unapply

33f0bb7902502156f72825c82a7037b627a4db1d authored almost 6 years ago by Yair Chuchem <[email protected]>
Fix failing test (bug since a26f3be)

ba9900a8226f96babc0c3962f69e6c9c065438b6 authored almost 6 years ago by Eyal Lotem <[email protected]>
Add failing test: ToNom example

e262840e49c24138ef67923fca0fca267f09f5a1 authored almost 6 years ago by Eyal Lotem <[email protected]>
Rename: ForAlls => QVars

* In Nominals, ForAlls was used to enumerate the parameters which are
NOT forall'd

fe5e831d7f3904f0a3cae4b5eaf543c98eedc19c authored almost 6 years ago by Eyal Lotem <[email protected]>
LangB: Add ToNom (unused)

3e793f18de6dae694b938433c10cd1912152b14f authored almost 6 years ago by Eyal Lotem <[email protected]>
LangB: Extract InferScope record

684842d775ad4acc6dcd74a7cb82776976493953 authored almost 6 years ago by Eyal Lotem <[email protected]>
Rename: STInferState => STNameGen

e2ae5816db6a58678b6aa17471d3561416d24d7e authored almost 6 years ago by Eyal Lotem <[email protected]>
Add haddocks

24fc95ced98e1a0d113108701cf0519afd051027 authored almost 6 years ago by Eyal Lotem <[email protected]>
Add haddocks

f55190ef5d58d8b209ba2fc3df8231434c523041 authored almost 6 years ago by Eyal Lotem <[email protected]>
Add temporary UInstantiated state instead of abusing UVar

a26f3be68111ed00504785945323f7851eae6e31 authored almost 6 years ago by Eyal Lotem <[email protected]>
Children.TH: ChildOf instance should not ignore potential embeds of more children

2cb889f1d1553ee1f3bbbdf0e5fb0ebe7d609feb authored almost 6 years ago by Eyal Lotem <[email protected]>
Rename: stBindingState => stBinding

60407515f76805ce4082506eccbcbbb58f71a3d4 authored almost 6 years ago by Eyal Lotem <[email protected]>
Extract newStQuantified from Binding.ST

aa22c66d14716117cf7e052d403c34d863146b08 authored almost 6 years ago by Eyal Lotem <[email protected]>
Use lens for Seq operations

7db9eba9689e7841ebc871ca1f42cfa8361aedea authored almost 6 years ago by Eyal Lotem <[email protected]>
Rename: ScopeLookup -> VarType

94b0bbf2f676c316dd423e63473c32ab038bd867 authored almost 6 years ago by Eyal Lotem <[email protected]>
Move ScopeLookup to AST.Term.Var

8e336e65269cf2692097ccaf830299c6326de827 authored almost 6 years ago by Eyal Lotem <[email protected]>
Remove increase, use Lens.<<+=

859e0cf35179001855ae77bf39589ee06c3a9b95 authored almost 6 years ago by Eyal Lotem <[email protected]>
Rename: applyConstraints => verifyConstraints

bda09455cd8c031212256b6e60c749baa5cf1976 authored almost 6 years ago by Eyal Lotem <[email protected]>
Rename: ConstraintsMismatch => ConstraintsViolation

9b4958958ff02d138d41e29b9ad4d891da1c6714 authored almost 6 years ago by Eyal Lotem <[email protected]>
oops HasNominalInst should be parameterized by nomId

ceb8761bc115d8cc07a0daa02aea0689b3ecd3d5 authored almost 6 years ago by Yair Chuchem <[email protected]>
oops missing export

0bef0e6d25ef1960c9fa33cfa3dc2fa4a85995db authored almost 6 years ago by Yair Chuchem <[email protected]>
imports cleanup

d9293d1826a08be9ae6a7e0bd3a0fd5313deb41f authored almost 6 years ago by Yair Chuchem <[email protected]>
Pretty instance for NominalInst

1e34bd9058086b730aea33c7e0f187314f5dbcaa authored almost 6 years ago by Yair Chuchem <[email protected]>
HasQuantifiedVar doesn't require Ord from qvar

31d40be8a34836596f486b2a896fb85033f5b889 authored almost 6 years ago by Yair Chuchem <[email protected]>
TypeLang: add nominals

024f68db5a6453f022a7960a02a46a47a057d8f2 authored about 6 years ago by Yair Chuchem <[email protected]>
Revert "Use TermMap"

This reverts commit 8a5f339d1d0d7b15de879812e25d39afefaede10.

Can still use TermMap's ZipMatch ...

b9e895fc4fa91c35639fc27a5f8a10f685182c15 authored about 6 years ago by Yair Chuchem <[email protected]>
rename QVarValues=>QVarInstances

45b16d2019525ad1401994fce5bb2078c1269b44 authored about 6 years ago by Yair Chuchem <[email protected]>
add instances

e318c40f54a9da388679aba406336ecc29dc06c9 authored about 6 years ago by Yair Chuchem <[email protected]>
style: deriving instance at end

96649a2b2e9042ef4606faedafd302789c6d398c authored about 6 years ago by Yair Chuchem <[email protected]>
Children.TH: Don't use existing instances

Referring to their ChildrenConstraint may cause infinite recursions.
Instead identify the proble...

923ce1b4ff2f73b5b857e17f74f5e8657b0902e2 authored about 6 years ago by Yair Chuchem <[email protected]>
NominalInst ZipMatch instance

2c79b1b290a121b35f2548fb6262a6fde2ed5005 authored about 6 years ago by Yair Chuchem <[email protected]>
Use TermMap

8a5f339d1d0d7b15de879812e25d39afefaede10 authored about 6 years ago by Yair Chuchem <[email protected]>
TH: build on existing instances

Before this change using NominalInst resulted in failure to reify through TH

49ee5b06eae58a86cd957973978ffdc28c1bb169 authored about 6 years ago by Yair Chuchem <[email protected]>
use record syntax

9d3ddfd3f33b3121017bcdd4e4ce23ea81dd314f authored about 6 years ago by Yair Chuchem <[email protected]>
datatype rather than tuple

55750bb0d7e9e5185aecc5a70f6ceaa78987346f authored about 6 years ago by Yair Chuchem <[email protected]>
ZipMatch.TH: oops don't require instances of monomorphic types

bb27a711aaf7388c1237e3e9a4aff14d72aaad58 authored about 6 years ago by Yair Chuchem <[email protected]>