correct enum cases

encoder/generator.go

@@ -247,16 +247,41 @@ func (g *generator) genEnum(name string, v cue.Value) {
 }
 
 func validateAndGetDefault(v cue.Value) (cue.Value, bool, error) {
+	defs := []cue.Value{}
+	ops, vvals := v.Expr()
+	fmt.Printf("........ the v expr() is: %v and ops is : %v\n", vvals, ops)
+	if ops == cue.OrOp {
+		for _, vval := range vvals {
+			if inst, path := vval.Reference(); len(path) > 0 {
+				fmt.Println(">>>>>>>>>>>>>>>>> I am here >>>>>>>>>>>>>>")
+				if def, ok := inst.Lookup(path...).Default(); ok {
+
+					defs = append(defs, def)
+				}
+			}
+		}
+	}
+
 	def, ok := v.Default()
 	if ok {
-		label, _ := def.Label()
+		defs = append(defs, def)
+		label, _ := v.Label()
 		op, dvals := def.Expr()
 		if len(dvals) > 1 && op == cue.OrOp {
 			return def, true, valError(v, "%s has multiple defaults which is not allowed", label)
 		}
-		return def, true, nil
+	}
+	if len(defs) >= 1 {
+		for _, def := range defs[1:] {
+			if !defs[0].Equals(def) {
+				label, _ := v.Label()
+				return def, true, valError(v, "%s has multiple defaults which is not allowed", label)
+			}
+		}
+		return defs[0], true, nil
 	}
 	return def, false, nil
+
 }
 
 func getDefaultEnumValue(v cue.Value) (string, error) {

encoder/tests/conflictEnumDef.txtar → encoder/tests/conflictEnumDeferror.txtar

@@ -6,6 +6,7 @@ Seems CUE is picking the default before eval it, it seems we can get the referen
 check whether default exist there, if yes if the default also exist for the current cue object error out
 
 Or should we just forbidden the disjunction between Enum and other types??
+Now Enum | Enum is not export at all, should we support Enum | Enum? 
 -- cue --
 package cuetsy
 
@@ -15,15 +16,4 @@ Foo: {
 } @cuetsy(kind="interface")
 
 -- err --
-export enum AOrEnum {
-  Bar = 'bar',
-  Baz = 'baz',
-  Foo = 'foo',
-}
-export const aOrEnumDefault: AOrEnum = AOrEnum.Baz
-export interface Foo {
-  Bar: AOrEnum | 'ohai';
-}
-export const fooDefault: Foo = {
-  Bar: 'ohai',
-}
+Bar has multiple defaults which is not allowed

encoder/tests/conflictInterfaceDeferror.txtar

@@ -1,8 +1,15 @@
 -- cue --
+AType: *4 | int @cuetsy(kind="type")
 Foo: {
-  Bar: string | *"ohai"
-  Baz: int | *4 | *7
+  Baz: AType | *7
 } @cuetsy(kind="interface")
 
 -- err --
-Baz has multiple defaults which is not allowed
+export type AType = number;
+export const aTypeDefault: AType = 4
+export interface Foo {
+  Baz: number;
+}
+export const fooDefault: Foo = {
+  Baz: 7,
+}