javaapi源码包-hak-lang-design-types:实现[hak.language.design.types]（h...
需积分: 5 69 浏览量
2021-05-19
18:31:47
上传
评论
收藏 94KB ZIP 举报
hak-lang-design-types-master.zip （67个子文件） 
hak-lang-design-types-master 
.gitignore 278B types ChoicePoint.java 1KB Collection.java 821B TimeStamp.java 2KB DefinedType.java 7KB Tables.java 16KB TypeTermScheme.java 1KB TypeChecker.java 22KB PushExitableGoal.java 1KB PopExitableGoal.java 1KB StaticType.java 626B ShadowUnifyGoal.java 2KB BuiltinEntry.java 1KB NoVoidTypeGoal.java 1KB TypingErrorException.java 664B FunctionType.java 22KB BagType.java 2KB Goal.java 3KB DefinedEntry.java 8KB TypeConstant.java 4KB Bindable.java 1KB CheckExitableGoal.java 1KB TypingGoal.java 2KB Type.java 25KB ObjectInitializationException.java 743B TypeDefinitionException.java 654B TypeDefinition.java 5KB TypingState.java 3KB ConstructedType.java 881B NamedType.java 828B PruningGoal.java 2KB ProtoType.java 6KB NamedTupleType.java 8KB TupleType.java 8KB FieldInfo.java 2KB ResiduatedGoal.java 3KB GoalProver.java 613B ArrayIndexTypeGoal.java 2KB UnifyBaseTypeGoal.java 2KB ClassType.java 14KB BoxingMask.java 3KB CollectionTypeConstant.java 3KB DuplicateCodeEntryException.java 638B CodeEntry.java 4KB TypeClashException.java 1KB GlobalTypingGoal.java 7KB SetType.java 2KB CollectionType.java 5KB ClassInfo.java 8KB EmptyGoal.java 1KB TypeTerm.java 7KB NoSuchTypeComponentException.java 882B ArrayType.java 11KB Valuable.java 732B StaticSemanticsErrorException.java 1KB ClassDeclarationException.java 660B ListType.java 2KB TypeParameter.java 10KB
files.txt 1KB BaseTypeGoal.java 2KB UnifyGoal.java 1KB BoxableTypeConstant.java 4KB CircularTypeException.java 655B FailedUnificationException.java 666B Symbol.java 8KB UndefinedTypeException.java 637B README.md 186B资源评论
