BasicSpec.hascasl.output revision 79a3b1a7bf306fdedbeb39f9908d62405f37f385
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann%% Classes ---------------------------------------------------------------
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann%% Type Constructors -----------------------------------------------------
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannData1 : Type %[type __ ::=
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannData2 : Type %[type __ ::=
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann Cons21 : Data1 �
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann Data2 -> __ (%(Data2.Cons21.sel_[1,1])% :? Data1)(%(Data2.Cons21.sel_[2,1])% :? Data2)
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann Cons22 : Data2 �
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann Data1 -> __ (%(Data2.Cons22.sel_[1,1])% :? Data2)(%(Data2.Cons22.sel_[2,1])% :? Data1)]%
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannData3 : Type %[type __ ::=
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann Cons31 : Data1 � Data2 -> __ (sel1 :? Data1)(sel2 :? Data2)
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann Cons32 : Data2 � Data1 -> __ (sel2 :? Data2)(sel1 :? Data1)]%
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannData4 : Type %[type __ ::=
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann Cons41 : Data1 � Data2 ->
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann ? -> __ (sel1 :? Data1)(sel2 :? Data2)(%(Data4.Cons41.sel_[2])% :? ?)
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann Cons42 : Data2 � Data1 ->
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann ? -> __ (sel2 :? Data2)(sel1 :? Data1)(%(Data4.Cons42.sel_[2])% :? ?)]%
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannPred : Type- -> Type
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannPred__ : Type- -> Type
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmanns : (c, Type) < ? s %(var)%
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmannt : Type %(var)%
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann%% Assumptions -----------------------------------------------------------
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann%(Data2.Cons21.sel_[1,1])% : Data2 ->? Data1 %(select from Data2 constructed by Cons21)%
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann%(Data2.Cons21.sel_[2,1])% : Data2 ->? Data2 %(select from Data2 constructed by Cons21)%
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann%(Data2.Cons22.sel_[1,1])% : Data2 ->? Data2 %(select from Data2 constructed by Cons22)%
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann%(Data2.Cons22.sel_[2,1])% : Data2 ->? Data1 %(select from Data2 constructed by Cons22)%
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann%(Data4.Cons41.sel_[2])% : Data4 ->? ? %(select from Data4 constructed by Cons41)%
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann%(Data4.Cons42.sel_[2])% : Data4 ->? ? %(select from Data4 constructed by Cons42)%
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannCons21 : Data1 � Data2 -> Data2 %(construct Data2)%
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannCons22 : Data2 � Data1 -> Data2 %(construct Data2)%
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannCons31 : Data1 � Data2 -> Data3 %(construct Data3)%
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannCons32 : Data2 � Data1 -> Data3 %(construct Data3)%
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannCons41 : Data1 � Data2 -> ? -> Data4 %(construct Data4)%
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannCons42 : Data2 � Data1 -> ? -> Data4 %(construct Data4)%
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmanna : Data1 %(construct Data1)%
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmannb : Data1 %(construct Data1)%
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmannc : Data1 %(construct Data1)%
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmanneq : s � s ->? Unit
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmannsel1 : Data4 ->? Data1 %(select from Data4 constructed by Cons41)%
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann : Data3 ->? Data1 %(select from Data3 constructed by Cons31)%
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmannsel2 : Data4 ->? Data2 %(select from Data4 constructed by Cons41)%
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann : Data3 ->? Data2 %(select from Data3 constructed by Cons31)%
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmanntt : s ->? Unit
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann%% Diagnostics -----------------------------------------------------------
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannError (line 1, column 7) illegal universe class declaration
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannWarning (line 5, column 32) unchecked type 't'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannWarning (line 5, column 20) redeclared class 'TYPE'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannError (line 5, column 20) inconsistent redefinition of 'TYPE'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannWarning (line 11, column 16) implicit declaration of superclass 'd'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannWarning (line 11, column 7) redeclared class 'a'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannWarning (line 11, column 10) redeclared class 'b'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannWarning (line 11, column 13) redeclared class 'c'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannWarning (line 11, column 19) redeclared class 'a'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannError (line 11, column 19) class cannot become an alias class 'a'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannHint (line 16, column 9) not a class 's'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannFatalError (line 18, column 1) no analysis yet for: program tt = \ x : s . ()
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannFatalError (line 20, column 1) no analysis yet for: program __ res __ (x : s; y : t) : s = x;
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann fst (x : s; y : t) : s = x; snd (x : s; y : t) : t = y
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannError (line 27, column 3) unexpected mixfix token 'fst'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannError (line 26, column 15) unexpected mixfix token 'def'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannError (line 34, column 15) unexpected mixfix token 'res'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannError (line 33, column 21) unexpected mixfix token '='
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannFatalError (line 39, column 1) no analysis yet for: program all (p : (? s)) : (? ()) = eq (p, tt)
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannFatalError (line 41, column 1) no analysis yet for: program And (x, y : (? ())) : (? ()) = t1 () res t2 ()
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannFatalError (line 43, column 1) no analysis yet for: program __ impl __ (x, y : (? ())) = eq (x, x And y)
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannFatalError (line 45, column 1) no analysis yet for: program __ or __ (x, y : (? ())) : (? ()) =
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann all (\ r : (? ()) . ((x impl r) res (y impl r)) impl r);
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann ex (p : (? s)) : (? ()) =
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann all (\ r : (? ()) . all (\ x : s . p (x) impl r) impl r);
2450a4210dee64b064499a3a1154129bdfc74981Daniel Hausmann ff () : (? ()) = all (\ r : (? ()) . r ())
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannHint (line 56, column 11) not a class 't'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannError (line 56, column 8) illegal overloading of 'x'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannHint (line 56, column 18) not a class 't'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannError (line 58, column 5) unexpected mixfix token '='
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannWarning (line 68, column 11) redeclared type 's'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannHint (line 69, column 14) type 'Data1' is not unifiable with '? s'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannWarning (line 72, column 73) data subtype ignored
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannError (line 72, column 52) undeclared type 'Data2'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannError (line 72, column 36) undeclared type 'Data2'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannWarning (line 73, column 64) repeated value 'sel2'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannWarning (line 73, column 77) repeated value 'sel1'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannError (line 75, column 90) undeclared type '?'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannError (line 75, column 54) undeclared type '?'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannHint (line 73, column 11) type 'Data4' is not unifiable with 'Data3'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannHint (line 73, column 11) type 'Data4' is not unifiable with 'Data3'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannWarning (line 75, column 65) repeated value 'sel2'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannWarning (line 75, column 78) repeated value 'sel1'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannError (line 77, column 8) unexpected mixfix token 'true'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannHint (line 77, column 23) not a class 's'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannWarning (line 77, column 21) repeated value 'x'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannError (line 77, column 25) unexpected mixfix token 'e'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannHint (line 78, column 10) not a class 's'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannWarning (line 78, column 8) repeated value 'x'
2450a4210dee64b064499a3a1154129bdfc74981Daniel HausmannError (line 78, column 12) unexpected mixfix token 'e'