Age | Commit message (Collapse) | Author | |
---|---|---|---|
2024-01-10 | Fix reporting of parse errors in notebookHEADmain | Dougal | |
2024-01-08 | Unbreak some examples | Dougal | |
2024-01-08 | Trying to fix gh-pages url path issues | Dougal | |
2024-01-08 | Fix discrepancy between dynamic and static versions of notebook. | Dougal | |
2024-01-08 | Fix bug in notebook refresh. | Dougal | |
We have much more state thatn | |||
2024-01-08 | Drop source info from `import` statements. | Dougal | |
The source info from evaluating the module itself doesn't apply to the `import foo` line. | |||
2024-01-05 | Start getting examples working again | Dougal | |
2024-01-05 | Get static HTML pages working with the hover-info goodness | Dougal | |
2024-01-03 | Add a builder for incremental computations. | Dougal | |
Also add binder/occurrence highlighting. | |||
2023-12-15 | Use a type family to provide the `Delta` type for incremental state. | Dougal | |
Saves passing around a bunch of parameters. | |||
2023-12-13 | Tweak binop source ids so that colon, dollar etc are considered atomic | Dougal | |
2023-12-13 | Add hover types for binders | Dougal | |
2023-12-13 | Show types of local vars and subexpressions on hover | Dougal | |
2023-12-13 | Highlight both cell status and minimap status together | Dougal | |
2023-12-13 | Change `data` to `enum` | Dougal | |
Matches Rust. `Data` is already super overloaded and product ADTs, which are more common, are better done with `struct`. | |||
2023-12-13 | Report the module where top-level names are defined | Dougal | |
2023-12-12 | Delete OutReaderT (it's redundant with ReaderT1) | Dougal | |
2023-12-12 | Show definitions of top-level vars on hover | Dougal | |
2023-12-12 | Tweaks to status minimap | Dougal | |
2023-12-12 | Organize source information by pass and do more of the work on the Haskell side. | Dougal | |
This way we keep the serialized data type more stable since that's the only part of the system that isn't type checked. | |||
2023-12-10 | Indicate whether completed cells finished with errors in minimap. | Dougal | |
Also exclude "inert" cells like comments. | |||
2023-12-10 | Remove some unhelpful polymorphism in Eval. Getting concrete. | Dougal | |
2023-12-10 | Add a "minimap" sidebar that shows the status of each cell. | Dougal | |
2023-12-09 | Switch to typescript. Much more civilized. | Dougal | |
2023-12-06 | Update comment syntax in examples | Dougal | |
2023-12-06 | Merge branch 'dev-2023' | Dougal | |
2023-12-05 | More source IDs during inference | Dougal | |
2023-12-05 | Use # instead of -- for comments | Dougal | |
2023-12-05 | Highlight error source locations | Dougal | |
2023-12-05 | Fix bug in applying highlighting updates | Dougal | |
2023-12-04 | Start adding SrcIds to user-facing errors | Dougal | |
2023-12-03 | Make a separate ADT case for each user-facing error message. | Dougal | |
This is preparation for giving better source information in error messages. | |||
2023-12-02 | Move Pretty instances to where the data types are defined. | Dougal | |
This avoids circular import issues and orphan instances. Also move top-level data types out of Types.Core to make the file size more reasonable. | |||
2023-12-02 | Update prelude to use sugarfree versions of RangeX types | Dougal | |
2023-12-01 | Show types on hover! | Dougal | |
2023-12-01 | Add an ExceptT monad transformer | Dougal | |
2023-12-01 | Simplify logging and allow realtime updates from runtime prints | Dougal | |
Regarding simplification: the previous system is really complicated with lots of logging options that could be specified at runtime on a block-by-block basis. It was nice to have but I decided it wasn't worth the implementation complexity. Now we just have two log levels - ordinary logging (outputs, errors) and debug logging (dumps from passes). | |||
2023-12-01 | Add placeholder for types on hover. Need to add the logging logic next. | Dougal | |
2023-11-30 | Make hover-info updates even more incremental | Dougal | |
2023-11-30 | Make hover-info updates incremental so that passes can report as they complete | Dougal | |
2023-11-29 | Freeze highlighting and hover on click. | Dougal | |
2023-11-29 | Plumbing for adding textual information on hover. | Dougal | |
2023-11-28 | Move most of the highlighting logic to Haskell where we can change it more ↵ | Dougal | |
easily. | |||
2023-11-28 | Tweaks to parse highlighting. It's works pretty nicely now! | Dougal | |
2023-11-27 | Use explicit data structures to represent the AST on the browser side. | Dougal | |
Previously we baked the AST into the HTML tree which made it hard to change and add more information. | |||
2023-11-25 | Fix bugs in lexeme tracking | Dougal | |
2023-11-22 | Traverse concrete AST to get information about relationships between bits of ↵ | Dougal | |
source text | |||
2023-11-22 | Replace source spans with IDs. | Dougal | |
These are better because we can hang more information off them. We can give an ID to e.g. the binder of a `Ix n` constraint that doesn't actually have a source span and then choose how to highlight later on depending on the situation. And we can use the IDs to model the graph of relationships between source components. | |||
2023-11-20 | Merge pull request #1341 from axch/work-stealing-4 | Alexey Radul | |
Slightly refactor the work-stealing runtime, hopefully more legible now. | |||
2023-11-20 | Separate out the constructors of the two kinds of Work structs into | Alexey Radul | |
their own functions. |