hazel

hazel copied to clipboard

ListLit of different Construtor type does not raise type error

1

The following code should have a static error `Elements have inconsistent types: ... `in 5th line, but is mistakenly accepted in Hazel:  ```haskell type A = +A in let...

GuoDCZ

Adds theorem and proof construct

3

Replaces https://github.com/hazelgrove/hazel/pull/1263. In-progress PR to add a theorem keyword in the style of let-equals-in to Hazel. Based on [stepper-rewrites](https://github.com/hazelgrove/hazel/tree/stepper-rewrites) this time.

nskh

ADTs with hole type consistency have casting bug

1

I expect both examples to work alright but one gives exceptions and the other is stucked.

gensofubi

Constructors that require arguments shouldn't be in patterns without arguments

4

 This example should ideally have a static error on the X because it doesn't have an argument. ``` type T = +X(Int) in let X = fun x ->...

Negabinary

Make undo return you to previous stepper state

1

cyrus-

cyrus-

cyrus-

Negabinary

cyrus-