Examples of org.openquark.cal.compiler.SourceModel.TypeConstructorDefn

                    Name.TypeClass.make(CAL_Prelude.TypeClasses.Bounded),
                    Name.TypeClass.make(CAL_Prelude.TypeClasses.Enum)
                };
            }
            
            TypeConstructorDefn typeConstructorDefn = TypeConstructorDefn.AlgebraicType.make(
                name.getUnqualifiedName(), scope, null, dcDefns, derivingClauseTypeClassNames);
            
            return typeConstructorDefn;
        }

                    } else if (element instanceof TypeConstructorDefn) {
                        ////
                        /// Process a type constructor definition
                        //
                        
                        final TypeConstructorDefn typeCons = (TypeConstructorDefn)element;


                        final IdentifierInfo.TopLevel.TypeCons typeConsIdentifier = new IdentifierInfo.TopLevel.TypeCons(
                            QualifiedName.make(currentModuleName, typeCons.getTypeConsName()));
                        
                        typeConsBindings.put(
                            typeCons.getTypeConsName(),
                            Binding.Definition.make(typeConsIdentifier, typeCons, typeCons.getSourceRangeOfName()));


                        if (typeCons instanceof TypeConstructorDefn.ForeignType) {
                            // for a foreign type, we record the foreign descriptor
                            if (shouldRecordScope) {
                                handleForeignTypeDescriptor(

Related Classes of org.openquark.cal.compiler.SourceModel.TypeConstructorDefn

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.