Uploaded image for project: 'core.typed'
  1. CTYP-307

Override `eval` to type check code in typed namespaces

    Details

    • Type: Improvement
    • Status: Closed
    • Priority: Minor
    • Resolution: Completed
    • Affects versions: None
    • Fix versions: 0.3.21
    • Components: None
    • Labels:
      None

      Description

      Problem

      Monkey-patching a typed load isn't enough for real usage. By monkey-patching a typed eval, we can type check REPL interactions without the need for a separate REPL.

      Solution

      Add new clojure.core.typed/install var that monkey-patches both load and eval.

      The typed eval looks at the current :lang metadata, instead of touching the file system with tools.namespace.

      New (Leiningen) bootstrap code:

      :injections [(require 'clojure.core.typed)
                   (clojure.core.typed/install)]
      

      Pull request: 96
      Commit: 0e71ef8
      Version: 0.3.21

        Attachments

          Activity

            People

            • Assignee:
              ambrosebs Ambrose BS
              Reporter:
              ambrosebs Ambrose BS
            • Votes:
              0 Vote for this issue
              Watchers:
              0 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved: