joerupen

;; Does core.type intersection not work on values?

(ns user-types.demo
  (:require [clojure.core.typed :as t]))

(t/defalias week-days "mon-fri"
  (t/U (t/Val :mon) (t/Val :tue) (t/Val :wed) 
       (t/Val :thu) (t/Val :fri) ))

joerupen

GET http://localhost:3000/ HTTP/1.1
Host: localhost:3000
Connection: keep-alive
Cache-Control: max-age=0
Accept: text/html,application/xhtml+xml,application/xml;q=0.9,image/webp,*/*;q=0.8
User-Agent: Mozilla/5.0 (Windows NT 6.2; WOW64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/38.0.2125.111 Safari/537.36
Accept-Encoding: gzip,deflate,sdch
Accept-Language: de-DE,de;q=0.8,en-US;q=0.6,en;q=0.4,da;q=0.2,fr;q=0.2,it;q=0.2
Cookie: ring-session=560b48d5-92a0-4987-95c3-39fbb20b6402