diff options
| author | Zahary Karadjov <zahary@gmail.com> | 2013-12-25 19:25:04 +0200 |
|---|---|---|
| committer | Zahary Karadjov <zahary@gmail.com> | 2013-12-25 19:25:04 +0200 |
| commit | 1d02f2ea531ad14f686a75c30af9228ba84fa194 (patch) | |
| tree | 086123d4040d4de250147ae0faae4bc1c5e4e325 /compiler/semtypinst.nim | |
| parent | 299cefdc984ef756ffb8dabb4e961a8d2505104f (diff) | |
| download | Nim-1d02f2ea531ad14f686a75c30af9228ba84fa194.tar.gz | |
wip type class reforms (the compiler bootstraps fine)
* replace tfAny and tfAll with tyAnd and tyOr * integrate matchTypeClass into typeRel * introduce tyBuiltInTypeClass to handle types such as tuple, object, proc, etc
Diffstat (limited to 'compiler/semtypinst.nim')
| -rw-r--r-- | compiler/semtypinst.nim | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/semtypinst.nim b/compiler/semtypinst.nim index d05d063aa..f23d87763 100644 --- a/compiler/semtypinst.nim +++ b/compiler/semtypinst.nim @@ -19,7 +19,7 @@ proc checkPartialConstructedType(info: TLineInfo, t: PType) = proc checkConstructedType*(info: TLineInfo, typ: PType) = var t = typ.skipTypes({tyDistinct}) - if t.kind in {tyTypeClass}: nil + if t.kind in tyTypeClasses: nil elif tfAcyclic in t.flags and skipTypes(t, abstractInst).kind != tyObject: LocalError(info, errInvalidPragmaX, "acyclic") elif t.kind == tyVar and t.sons[0].kind == tyVar: |