Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add compile step that bundles and compresses JS files (#684) | Tim Baumann | 2017-09-23 | 1 | -17/+2 |
| | | | | | | | | | | | | | | | | | | * Add compile step that bundles and compresses JS files Also, manage dependencies on third-party JS libraries using NPM. * Compile JS from TypeScript * Enable 'noImplicitAny' in TypeScript * QuickJump: use JSX syntax * Generate source maps from TypeScript for easier debugging * TypeScript: more accurate type * Separate quick jump css file from ocean theme | ||||
* | Fix test fallout (again) | alexbiehl | 2017-08-29 | 1 | -0/+5 |
| | |||||
* | Accept tests | alexbiehl | 2017-08-28 | 1 | -6/+6 |
| | |||||
* | Fix tests for content search | alexbiehl | 2017-08-28 | 1 | -0/+6 |
| | |||||
* | Fix: Generate pattern signatures for constructors exported as patterns (#663) | Tim Baumann | 2017-08-06 | 1 | -0/+124 |
* Fix pretty-printing of pattern signatures Pattern synonyms can have up to two contexts, both having a different semantic meaning: The first holds the constraints required to perform the matching, the second contains the constraints provided by a successful pattern match. When the first context is empty but the second is not it is necessary to render the first, empty context. * Generate pattern synonym signatures for ctors exported as patterns This fixes #653. * Simplify extractPatternSyn It is not necessary to generate the simplest type signature since it will be simplified when pretty-printed. * Add changelog entries for PR #663 * Fix extractPatternSyn error message |