react-fontawesome

react-fontawesome copied to clipboard

Stack overflow in typedefs.js when generating JSON schema

3

Example term: ``` ; 'name' allows for let-binding and aliasing (name either (+ (var 0) (var 1))) (name bit (+ 1 1)) (name nibble (* bit bit bit bit)) (name...

epost

Because of the type of `TMu : Vect k (Name, TDef (S n)) -> TDef n`, backends that can only handle closed terms run into issues when recursing into a...

kjekac

Index ASTs in backends by used variable names

3

As per the discussion here: https://github.com/typedefs/typedefs/pull/87#discussion_r243347434 My thinking is that it can allow us to make sure that the generated source code actually uses type variables that are in scope....

kjekac

kjekac

Index free syntax

2

This PR add support for a new index-free syntax which more closely resembles ml-style languages with data constructors: ``` List a := nil : 1 | cons : a *...

andrevidela

Implement partial application

1

Add a new function `ap1` which takes a single TDef as argument and return a TDef which substitutes this TDef and returns a new TDef with the appropriate arity

andrevidela

Add ignoreWeaken (reverse of ignoreShift)

1

We need a way to also drop unused variables that are appended to context, so something like the following: `Ty (l++r) (weakenTDef tdef (length r) prf) -> Ty l tdef`

clayrat

Since RRef and TVars are basically the same, should we remove RRefs? THey serve no additional purpose other than to be able to tell if something is inteded to be...

andrevidela

fix #166

andrevidela

Replace uses of empty type application by references

1

Currently, we use empty type application to represent in-scope references. This poses some problems when resolving specialisation references in the `extendContext` and inside each backend. A solution to this would...

andrevidela