All issues

Search results

The srcloc in grift0 is shifted for bingind structures with only one sub-expression in body.

Status: Open.

#116In Gradual-Typing/Grift;

· SuChengHao opened on Aug 30, 2023

Inconsistent gvector-set! Behavior under Type-based-casts vs. Coercions

Status: Open.

#115In Gradual-Typing/Grift;

· Temurson opened on Apr 15, 2021

Investigate why travis fails with undefined reference errors when running the tests for the runtime.

Status: Open.

#100In Gradual-Typing/Grift;

· akuhlens opened on Mar 16, 2020

Adding configuration files

Status: Open.

#95In Gradual-Typing/Grift;

· deyaaeldeen opened on Feb 18, 2020

Travis to test grift without installing it as a package

Status: Open.

#87In Gradual-Typing/Grift;

· deyaaeldeen opened on Nov 11, 2019

Another case where type-based-casts and coercions are not equivalent

Status: Open.

#84In Gradual-Typing/Grift;

· LuKuangChen opened on Oct 9, 2019

Make contracts from these types.

Status: Open.

#83In Gradual-Typing/Grift;

· akuhlens opened on Oct 3, 2019

Explore what the "OBJ" type in "primitives.rkt" is used for and document.

Status: Open.

#82In Gradual-Typing/Grift;

· akuhlens opened on Oct 3, 2019

Type-based-casts and coercions are not equivalent

Status: Open.

#81In Gradual-Typing/Grift;

· LuKuangChen opened on Sep 29, 2019

Possible Bug in Recursive Types Hashconsing

bug

question

Status: Open.

#76In Gradual-Typing/Grift;

· akuhlens opened on Feb 19, 2019

Revisiting our processes

Status: Open.

#74In Gradual-Typing/Grift;

· deyaaeldeen opened on Feb 7, 2019

A bug about casting to supertype

bug

Status: Open.

#72In Gradual-Typing/Grift;

· LuKuangChen opened on Jan 16, 2019