Fixes #9

Author: mauro3

src/SimpleTraits.jl

@@ -114,6 +114,12 @@ Example:
 macro traitimpl(tr)
     # makes
     # trait{X1<:Int,X2<:Float64}(::Type{Tr1{X1,X2}}) = Tr1{X1,X2}
+    if tr.args[1]==:Not || isnegated(tr)
+        tr = tr.args[2]
+        negated = true
+    else
+        negated = false
+    end
     typs = tr.args[2:end]
     trname = esc(tr.args[1])
     curly = Any[]
@@ -125,10 +131,18 @@ macro traitimpl(tr)
     arg = :(::Type{$trname{$(paras...)}})
     fnhead = :($curmod.trait{$(curly...)}($arg))
     isfnhead = :($curmod.istrait{$(curly...)}($arg))
-    quote
-        $fnhead = $trname{$(paras...)}
-        $isfnhead = true # Add the istrait definition as otherwise
-                         # method-caching can be an issue.
+    if !negated
+        return quote
+            $fnhead = $trname{$(paras...)}
+            $isfnhead = true # Add the istrait definition as otherwise
+                             # method-caching can be an issue.
+        end
+    else
+        return quote
+            $fnhead = Not{$trname{$(paras...)}}
+            $isfnhead = false# Add the istrait definition as otherwise
+                             # method-caching can be an issue.
+        end
     end
 end
 

test/runtests.jl

@@ -42,6 +42,18 @@ trait = SimpleTraits.trait
 @test trait(Tr2{Int, Float64})==Tr2{Int, Float64}
 @test trait(Tr2{Int, Float32})==Not{Tr2{Int, Float32}}
 
+# issue 9
+abstract A9
+type B9<:A9 end
+type C9<:A9 end
+@traitdef Tr9{X}
+@traitimpl Tr9{A9}
+@traitimpl Not{Tr9{B9}}
+@traitimpl !Tr9{C9}
+@test istrait(Tr9{A9})==true
+@test istrait(Tr9{B9})==false
+@test istrait(Tr9{C9})==false
+
 #################
 # Trait functions
 #################