~remexre/sylvan/commits/trunk/nixos-and-websites.yml

#1430463 ~remexre/sylvan/commits/trunk/nixos-and-websites.yml 2 days ago failed

b5cd7cbNathan Ringo

Prevents unification from introducing mroe CastDicts, CastTys, or FamilyApps.

cachix-setup build-websites deploy-websites bootstrap

failed 2 days ago

#1430380 ~remexre/sylvan/commits/trunk/nixos-and-websites.yml 2 days ago failed

8f43d59Nathan Ringo

HasTupleComponent solving.

cachix-setup build-websites deploy-websites bootstrap

failed 2 days ago

#1430370 ~remexre/sylvan/commits/trunk/nixos-and-websites.yml 2 days ago failed

34265a5Nathan Ringo

Ensure constraints that are mentioned in the where clause of an impl are available to its methods.

cachix-setup build-websites deploy-websites bootstrap

failed 2 days ago

#1430358 ~remexre/sylvan/commits/trunk/nixos-and-websites.yml 2 days ago failed

8692716Nathan Ringo

Adds solver for ClassGetBody.

cachix-setup build-websites deploy-websites bootstrap

failed 2 days ago

#1430045 ~remexre/sylvan/commits/trunk/nixos-and-websites.yml 2 days ago failed

bd4824cNathan Ringo

Adds explicit arguments to AxiomImpl and adds the definition of ClassGetBody.

cachix-setup build-websites deploy-websites bootstrap

failed 2 days ago

#1429950 ~remexre/sylvan/commits/trunk/nixos-and-websites.yml 3 days ago failed

5f33124Nathan Ringo

Declares EffectsCompatible builtin.

cachix-setup build-websites deploy-websites bootstrap

failed 3 days ago

#1429943 ~remexre/sylvan/commits/trunk/nixos-and-websites.yml 3 days ago failed

e527c2aNathan Ringo

Adds a notion of effect compatibility, HasField solving, and fixes method elaboration.

cachix-setup build-websites deploy-websites bootstrap

failed 3 days ago

#1429863 ~remexre/sylvan/commits/trunk/nixos-and-websites.yml 3 days ago failed

3295c5dNathan Ringo

Watch the bin and parser directories.

cachix-setup build-websites deploy-websites bootstrap

failed 3 days ago

#1429452 ~remexre/sylvan/commits/trunk/nixos-and-websites.yml 3 days ago failed

bc66bdaNathan Ringo

Adds debug logging for evaluation.

cachix-setup build-websites deploy-websites bootstrap

failed 3 days ago

#1429449 ~remexre/sylvan/commits/trunk/nixos-and-websites.yml 3 days ago failed

35a7052Nathan Ringo

Split type applications and lambdas to their own expr, since they can be erased.

cachix-setup build-websites deploy-websites bootstrap

failed 3 days ago

#1429431 ~remexre/sylvan/commits/trunk/nixos-and-websites.yml 3 days ago failed

e3db2f9Nathan Ringo

Evaluator work.

cachix-setup build-websites deploy-websites bootstrap

failed 3 days ago

#1429060 ~remexre/sylvan/commits/trunk/nixos-and-websites.yml 4 days ago failed

9174814Nathan Ringo

Rename Ast to Builtins, normalize opens.

cachix-setup build-websites deploy-websites bootstrap

failed 4 days ago

#1429055 ~remexre/sylvan/commits/trunk/nixos-and-websites.yml 4 days ago failed

fd05366Nathan Ringo

Add -I as a synonym for --srcdir, document both in --help, slightly tweak their semantics.

cachix-setup build-websites deploy-websites bootstrap

failed 4 days ago

#1429044 ~remexre/sylvan/commits/trunk/nixos-and-websites.yml 4 days ago failed

eb11913Nathan Ringo

More test fixes.

cachix-setup build-websites deploy-websites bootstrap

failed 4 days ago

#1429020 ~remexre/sylvan/commits/trunk/nixos-and-websites.yml 4 days ago failed

a623eaeNathan Ringo

Adds axioms and solver for HasTupleComponent.

cachix-setup build-websites deploy-websites bootstrap

failed 4 days ago

1 / 5