summaryrefslogtreecommitdiff
path: root/src/dex.hs
AgeCommit message (Expand)Author
2024-01-05Get static HTML pages working with the hover-info goodnessDougal
2023-12-12Organize source information by pass and do more of the work on the Haskell side.Dougal
2023-12-10Indicate whether completed cells finished with errors in minimap.Dougal
2023-12-09Switch to typescript. Much more civilized.Dougal
2023-12-03Make a separate ADT case for each user-facing error message.Dougal
2023-12-02Move Pretty instances to where the data types are defined.Dougal
2023-12-01Simplify logging and allow realtime updates from runtime printsDougal
2023-11-30Make hover-info updates even more incrementalDougal
2023-11-25Fix bugs in lexeme trackingDougal
2023-11-15Rewrite the live view system to be explicitly incremental by dealing in diffs.Dougal
2023-03-03Use concrete/grouped syntax in SourceBlock instead of abstract syntax.Dougal
2023-01-06Use codegen printer in python path and remove `Serialize.prettyVal`.Dougal
2023-01-05Add a flag to switch printing behavior.Dougal
2022-12-19Remove "import Syntax" from all live Haskell source files in the main build.Alexey Radul
2022-12-13Also decode Dex code files as UTF-8 regardless of the ambient locale.Alexey Radul
2022-08-22Reorganize the parser.Alexey Radul
2022-07-28Implement dead code eliminationAdam Paszke
2022-07-08Map BUILTIN_LIBRARIES in --lib-path to the standard library pathAdam Paszke
2022-07-06Add support for multiple library pathsAdam Paszke
2022-05-17Open the log file exactly once, if it exists.Alexey Radul
2022-04-28Use Text instead of Strings for source textAdam Paszke
2022-04-22Perform incremental outputs in all but HTML modeAdam Paszke
2022-04-06Use Cabal data files instead of embedFileAdam Paszke
2022-03-24Clean up extensions for the main executable as well.Alexey Radul
2022-03-21Migrate the Live-related code to a submodule.Alexey Radul
2022-03-21Factor the terminal output into its own module as well.Alexey Radul
2022-03-21Factor the web server into its own little module, separate from general live ...Alexey Radul
2022-02-13Rework the way we handle source name imports.Dougal
2022-02-10Avoid printing empty lines in repl.Dougal
2022-02-08Handle source names, instances, and object files from imported modules.Dougal
2022-02-07Remove the `MonadPasses`/`MonadInterblock` distinction.Dougal
2022-02-05Add prelude-importing code in parser.Dougal
2022-02-05Add `dex clean` command to clear the cache.Dougal
2022-02-05Add a persistent cache for modules.Dougal
2022-02-03Treat the prelude like other modules, except that it's imported by default.Dougal
2022-02-03Add module structure to the top level environment.Dougal
2022-01-31Merge branch 'safe-names-dev' into load-bearing-monads-2Dougal
2022-01-31Update to llvm-12.Dougal
2022-01-27Remove the distinctness-carrying `DistinctAbs` in favor or `Abs`.Dougal
2021-12-04Remove `SaferNames` module name qualification since it's now the only pathDougal
2021-12-03Fix GHC warningsDougal
2021-11-24Fill out more implementations for pieces of safe-name simp/imp/topDougal
2021-11-17Clean up after moving inference to use safer namesAdam Paszke
2021-11-10Standardize on using Fallible everywhere instead of MonadFail in some places.Dougal
2021-11-10Add warning about slow prelude compilationDougal
2021-10-27Make safe-names the default path and remove the flag.Dougal
2021-10-13Make integer literals polymorphicAdam Paszke
2021-09-21Make `Except` a distinct type instead of an alias for `Either Errs`.Dougal Maclaurin
2021-09-20Make `Fallible`, a class for throwing errors but not catching them.Dougal Maclaurin
2021-08-18Derive Generic via GenericEDougal Maclaurin