Mark Gritter

Cannot match on negative integer literals

2

There doesn't seem to be a way to match on a negative integer. Here's a small reproduction: ``` module ExampleMatch let sign = (z:int{z = 0 \/ z = (-1)...

reversed Y coordinate interacts badly with translate

3

drawSvg, as mentioned in https://github.com/cduck/drawSvg/issues/11, reverses the direction of the Y coordinate so that increasing values are upwards (like Cartesian coordinates), rather than downwards (like screen position.) Unfortunately, this means...

### Version of Python you are running ### 3.5.2 ### Version of steem-python you are running ### 1.0.1 (from pypi) ### Expected Behavior ### Values in response dictionaries that are...

Made a start at refactoring apidump.Run() into smaller methods. Update akita-libs.

Elaborate solver attempted to unify int with (Tuple int int) when "using" applied to a pair

3

I attempted to use "using" to apply a restriction to the Range type I'd defined, in order to ensure all ranges were valid with start Int start (a,b) = a...

Panic due to malformed specification partially commented out

1

I found this while commenting out part of specification, both leaving things unbalanced *and* transposing the end-of-specification marker: ``` module Bug where {-@ square :: {x:Int | x > 4...

Here's a small example: ``` module Example2 where type Range = (Int,Int) {-@ inline contains @-} contains :: Range -> Range -> Bool contains (a,b) (c,d) = a {VV :...

Robustness checks against malformed input.

1

Handles cases where the input is not long enough to read tag or length fields.

Text description of "null" in Chapter 6 is reversed

1

The "safe head" exercise asks us to write a specification for `null`: ``` Write down a specification for `null` such that `safeHead` is verified. Do *not* force `null` to only...