core.typed

Core.typed can't check namespaces without source files on the classpath, e.g. datomic

Details

  • Type: Defect Defect
  • Status: Closed Closed
  • Priority: Major Major
  • Resolution: Completed
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: None
  • Labels:
    None
  • Patch:
    Code

Description

In 0.2.63, core.typed errors out when trying to checking a namespace when the source .clj file isn't present on the classpath:

(ns foo.bar
  (:require [datomic.api :as d]
               [clojure.core.typed :as t]))

=> (t/check-ns 'foo.bar)

Start collecting foo.bar
Type Error (NO_SOURCE_FILE) Internal Error (:<NO LINE>) File for datomic.api not found on classpath: datomic/api.clj
ExceptionInfo Type Checker: Found 1 error  clojure.core/ex-info (core.clj:4403)
  1. ctyp166.patch
    04/Aug/14 3:06 PM
    3 kB
    Allen Rohner
  2. ctyp166-2.diff
    04/Aug/14 3:23 PM
    3 kB
    Allen Rohner

Activity

Hide
Allen Rohner added a comment -

The first patch was created improperly. Retry, this time using `git format-patch`

Show
Allen Rohner added a comment - The first patch was created improperly. Retry, this time using `git format-patch`

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: