Create Travis continuous build

[tg-x]

I'd create a Nix package and let Travis build with Nix.

The alternative would be building with stack: https://docs.haskellstack.org/en/stable/travis_ci/

[epost]

Yeah that'd be great!

[tg-x]

Got styx working, but then ran into some build issues, any idea what's wrong/missing?

Configuring aql-0.1.0.0...                                                                                                                                                                                                                                                                                                     
Preprocessing library for aql-0.1.0.0..                                                                                                                                                                                                                                                                                        
Building library for aql-0.1.0.0..                                                                                                                                                                                                                                                                                             
[1 of 3] Compiling Language.AQL     ( src/Language/AQL.hs, dist/dist-sandbox-31d5d605/build/Language/AQL.o )                                                                                                                                                                                                                   

src/Language/AQL.hs:246:20: error:                                                                                                                                                                                                                                                                                             
    * Ambiguous type variable `var0' arising from a use of `typeOfCol'                                                                                                                                                                                                                                                         
      prevents the constraint `(Show var0)' from being solved.                                                                                                                                                                                                                                                                 
      Relevant bindings include                                                                                                                                                                                                                                                                                                
        validateTypeside :: Typeside var0 ty0 sym0 -> Err ()                                                                                                                                                                                                                                                                   
          (bound at src/Language/AQL.hs:246:1)                                                                                                                                                                                                                                                                                 
      Probable fix: use a type annotation to specify what `var0' should be.                                                                                                                                                                                                                                                    
      These potential instances exist:                                                                                                                                                                                                                                                                                         
        instance (Show var, Show ty, Show sym, Show en, Show fk, Show att,                                                                                                                                                                                                                                                     
                  Show gen, Show sk, Show x, Show y) =>                                                                                                                                                                                                                                                                        
                 Show (Algebra var ty sym en fk att gen sk x y)                                                                                                                                                                                                                                                                
          -- Defined at src/Language/AQL.hs:489:10                                                                                                                                                                                                                                                                             
        instance (Show sk, Show gen, Show att, Show fk, Show sym, Show ty,                                                                                                                                                                                                                                                     
                  Show en, Show var) =>                                                                                                                                                                                                                                                                                        
                 Show (Collage var ty sym en fk att gen sk)                                                                                                                                                                                                                                                                    
          -- Defined at src/Language/AQL.hs:101:19                                                                                                                                                                                                                                                                             
        instance (Show var, Show ty, Show sym, Show en, Show fk, Show att,                                                                                                                                                                                                                                                     
                  Show gen, Show sk) =>                                                                                                                                                                                                                                                                                        
                 Show (EQ var ty sym en fk att gen sk)                                                                                                                                                                                                                                                                         
          -- Defined at src/Language/AQL.hs:88:10                                                                                                                                                                                                                                                                              
        ...plus 44 others                                                                                                                                                                                                                                                                                                      
        ...plus five instances involving out-of-scope types                                                                                                                                                                                                                                                                    
        (use -fprint-potential-instances to see them all)                                                                                                                                                                                                                                                                      
    * In the first argument of `(.)', namely `typeOfCol'                                                                                                                                                                                                                                                                       
      In the expression: typeOfCol . tsToCol                                                                                                                                                                                                                                                                                   
      In an equation for `validateTypeside':                                                                                                                                                                                                                                                                                   
          validateTypeside = typeOfCol . tsToCol                                                                                                                                                                                                                                                                               
    |                                                                                                                                                                                                                                                                                                                          
246 | validateTypeside = typeOfCol . tsToCol                                                                                                                                                                                                                                                                                   
    |                    ^^^^^^^^^                                                                                                                                                                                                                                                                                             

src/Language/AQL.hs:314:1: error:                                                                                                                                                                                                                                                                                              
    * Could not deduce (Eq var4) arising from a use of `=='                                                                                                                                                                                                                                                                    
      from the context: (Eq var, Eq sym, Eq ty)                                                                                                                                                                                                                                                                                
        bound by the instance declaration at src/Language/AQL.hs:314:1-59                                                                                                                                                                                                                                                      
      The type variable `var4' is ambiguous                                                                                                                                                                                                                                                                                    
      These potential instances exist:                                                                                                                                                                                                                                                                                         
        instance (Eq sk, Eq gen, Eq att, Eq fk, Eq sym, Eq ty, Eq en,                                                                                                                                                                                                                                                          
                  Eq var) =>                                                                                                                                                                                                                                                                                                   
                 Eq (Collage var ty sym en fk att gen sk)                                                                                                                                                                                                                                                                      
          -- Defined at src/Language/AQL.hs:101:15                                                                                                                                                                                                                                                                             
        instance (Eq sk, Eq gen, Eq att, Eq fk, Eq sym, Eq var) =>                                                                                                                                                                                                                                                             
                 Eq (EQ var ty sym en fk att gen sk)                                                                                                                                                                                                                                                                           
          -- Defined at src/Language/AQL.hs:86:91                                                                                                                                                                                                                                                                              
        instance Eq InstExpRaw' -- Defined at src/Language/AQL.hs:737:13                                                                                                                                                                                                                                                       
        ...plus 43 others                                                                                                                                                                                                                                                                                                      
        ...plus five instances involving out-of-scope types                                                                                                                                                                                                                                                                    
        (use -fprint-potential-instances to see them all)                                                                                                                                                                                                                                                                      
    * In the first argument of `not', namely `((==) a b)'                                                                                                                                                                                                                                                                      
      In the expression: not ((==) a b)                                                                                                                                                                                                                                                                                        
      In an equation for `/=': (/=) a b = not ((==) a b)                                                                                                                                                                                                                                                                       
      When typechecking the code for `/='                                                                                                                                                                                                                                                                                      
        in a derived instance for `Eq TypesideExp':                                                                                                                                                                                                                                                                            
        To see the code I am typechecking, use -ddump-deriv                                                                                                                                                                                                                                                                    
    |                                                                                                                                                                                                                                                                                                                          
314 | deriving instance (Eq var, Eq sym, Eq ty) => Eq TypesideExp
src/Language/AQL.hs:315:1: error:
    * Could not deduce (Show var2)
        arising from a use of `GHC.Show.$dmshow'
      from the context: (Show var, Show sym, Show ty)
        bound by the instance declaration at src/Language/AQL.hs:315:1-67
      The type variable `var2' is ambiguous
      These potential instances exist:
        instance (Show var, Show ty, Show sym, Show en, Show fk, Show att,
                  Show gen, Show sk, Show x, Show y) =>
                 Show (Algebra var ty sym en fk att gen sk x y)
          -- Defined at src/Language/AQL.hs:489:10
        instance (Show sk, Show gen, Show att, Show fk, Show sym, Show ty,
                  Show en, Show var) =>
                 Show (Collage var ty sym en fk att gen sk)
          -- Defined at src/Language/AQL.hs:101:19
        instance (Show var, Show ty, Show sym, Show en, Show fk, Show att,
                  Show gen, Show sk) =>
                 Show (EQ var ty sym en fk att gen sk)
          -- Defined at src/Language/AQL.hs:88:10
        ...plus 44 others
        ...plus five instances involving out-of-scope types
        (use -fprint-potential-instances to see them all)
    * In the expression: GHC.Show.$dmshow @TypesideExp
      In an equation for `show': show = GHC.Show.$dmshow @TypesideExp
      When typechecking the code for `show'
        in a derived instance for `Show TypesideExp':
        To see the code I am typechecking, use -ddump-deriv
      In the instance declaration for `Show TypesideExp'
    |
315 | deriving instance (Show var, Show sym, Show ty) => Show TypesideExp
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Language/AQL.hs:315:1: error:
    * Could not deduce (Show var3) arising from a use of `showsPrec'
      from the context: (Show var, Show sym, Show ty)
        bound by the instance declaration at src/Language/AQL.hs:315:1-67
      The type variable `var3' is ambiguous
      These potential instances exist:
        instance (Show var, Show ty, Show sym, Show en, Show fk, Show att,
                  Show gen, Show sk, Show x, Show y) =>
                 Show (Algebra var ty sym en fk att gen sk x y)
          -- Defined at src/Language/AQL.hs:489:10
        instance (Show sk, Show gen, Show att, Show fk, Show sym, Show ty,
                  Show en, Show var) =>
                 Show (Collage var ty sym en fk att gen sk)
          -- Defined at src/Language/AQL.hs:101:19
        instance (Show var, Show ty, Show sym, Show en, Show fk, Show att,
                  Show gen, Show sk) =>
                 Show (EQ var ty sym en fk att gen sk)
          -- Defined at src/Language/AQL.hs:88:10
        ...plus 44 others
        ...plus five instances involving out-of-scope types
        (use -fprint-potential-instances to see them all)
    * In the first argument of `GHC.Show.showList__', namely
        `(showsPrec 0)'
      In the expression: GHC.Show.showList__ (showsPrec 0)
      In an equation for `showList':
          showList = GHC.Show.showList__ (showsPrec 0)
      When typechecking the code for `showList'
        in a derived instance for `Show TypesideExp':
        To see the code I am typechecking, use -ddump-deriv
    |
315 | deriving instance (Show var, Show sym, Show ty) => Show TypesideExp
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Language/AQL.hs:370:18: error:
    * Ambiguous type variable `var1' arising from a use of `typeOfCol'
      prevents the constraint `(Show var1)' from being solved.
      Relevant bindings include
        validateSchema :: Schema var1 ty1 sym1 en0 fk0 att0 -> Err ()
          (bound at src/Language/AQL.hs:370:1)
      Probable fix: use a type annotation to specify what `var1' should be.
      These potential instances exist:
        instance (Show var, Show ty, Show sym, Show en, Show fk, Show att,
                  Show gen, Show sk, Show x, Show y) =>
                 Show (Algebra var ty sym en fk att gen sk x y)
          -- Defined at src/Language/AQL.hs:489:10
        instance (Show sk, Show gen, Show att, Show fk, Show sym, Show ty,
                  Show en, Show var) =>
                 Show (Collage var ty sym en fk att gen sk)
          -- Defined at src/Language/AQL.hs:101:19
        instance (Show var, Show ty, Show sym, Show en, Show fk, Show att,
                  Show gen, Show sk) =>
                 Show (EQ var ty sym en fk att gen sk)
          -- Defined at src/Language/AQL.hs:88:10
        ...plus 44 others
        ...plus five instances involving out-of-scope types
        (use -fprint-potential-instances to see them all)
    * In the first argument of `(.)', namely `typeOfCol'
      In the expression: typeOfCol . schToCol
      In an equation for `validateSchema':
          validateSchema = typeOfCol . schToCol
    |
370 | validateSchema = typeOfCol . schToCol
    |                  ^^^^^^^^^
cabal: Leaving directory '.'
cabal: Error: some packages failed to install:
aql-0.1.0.0-InKZO3mITIm7URSLbTp2t4 failed during the building phase. The
exception was:
ExitFailure 1

[wisnesky]

Hm, ‘stack build’ works ok. Are you using the most recent version of AQL that I chopped up into about a dozen smaller files?

On Sep 17, 2018, at 3:45 PM, TG ⊗ Θ notifications@github.com wrote:

ran into some build issues, any idea what's wrong/missing?

Configuring aql-0.1.0.0...
Preprocessing library for aql-0.1.0.0..
Building library for aql-0.1.0.0..
[1 of 3] Compiling Language.AQL ( src/Language/AQL.hs, dist/dist-sandbox-31d5d605/build/Language/AQL.o )

src/Language/AQL.hs:246:20: error:

• Ambiguous type variable var0' arising from a use oftypeOfCol'
  prevents the constraint (Show var0)' from being solved. Relevant bindings include validateTypeside :: Typeside var0 ty0 sym0 -> Err () (bound at src/Language/AQL.hs:246:1) Probable fix: use a type annotation to specify whatvar0' should be.
  These potential instances exist:
  instance (Show var, Show ty, Show sym, Show en, Show fk, Show att,
  Show gen, Show sk, Show x, Show y) =>
  Show (Algebra var ty sym en fk att gen sk x y)
  -- Defined at src/Language/AQL.hs:489:10
  instance (Show sk, Show gen, Show att, Show fk, Show sym, Show ty,
  Show en, Show var) =>
  Show (Collage var ty sym en fk att gen sk)
  -- Defined at src/Language/AQL.hs:101:19
  instance (Show var, Show ty, Show sym, Show en, Show fk, Show att,
  Show gen, Show sk) =>
  Show (EQ var ty sym en fk att gen sk)
  -- Defined at src/Language/AQL.hs:88:10
  ...plus 44 others
  ...plus five instances involving out-of-scope types
  (use -fprint-potential-instances to see them all)
• In the first argument of (.)', namelytypeOfCol'
  In the expression: typeOfCol . tsToCol
  In an equation for `validateTypeside':
  validateTypeside = typeOfCol . tsToCol
  |
  246 | validateTypeside = typeOfCol . tsToCol
  | ^^^^^^^^^

src/Language/AQL.hs:314:1: error:

• Could not deduce (Eq var4) arising from a use of ==' from the context: (Eq var, Eq sym, Eq ty) bound by the instance declaration at src/Language/AQL.hs:314:1-59 The type variablevar4' is ambiguous
  These potential instances exist:
  instance (Eq sk, Eq gen, Eq att, Eq fk, Eq sym, Eq ty, Eq en,
  Eq var) =>
  Eq (Collage var ty sym en fk att gen sk)
  -- Defined at src/Language/AQL.hs:101:15
  instance (Eq sk, Eq gen, Eq att, Eq fk, Eq sym, Eq var) =>
  Eq (EQ var ty sym en fk att gen sk)
  -- Defined at src/Language/AQL.hs:86:91
  instance Eq InstExpRaw' -- Defined at src/Language/AQL.hs:737:13
  ...plus 43 others
  ...plus five instances involving out-of-scope types
  (use -fprint-potential-instances to see them all)
• In the first argument of not', namely((==) a b)'
  In the expression: not ((==) a b)
  In an equation for /=': (/=) a b = not ((==) a b) When typechecking the code for/='
  in a derived instance for `Eq TypesideExp':
  To see the code I am typechecking, use -ddump-deriv
  |
  314 | deriving instance (Eq var, Eq sym, Eq ty) => Eq TypesideExp src/Language/AQL.hs:315:1: error:
• Could not deduce (Show var2) arising from a use of GHC.Show.$dmshow' from the context: (Show var, Show sym, Show ty) bound by the instance declaration at src/Language/AQL.hs:315:1-67 The type variablevar2' is ambiguous These potential instances exist: instance (Show var, Show ty, Show sym, Show en, Show fk, Show att, Show gen, Show sk, Show x, Show y) => Show (Algebra var ty sym en fk att gen sk x y) -- Defined at src/Language/AQL.hs:489:10 instance (Show sk, Show gen, Show att, Show fk, Show sym, Show ty, Show en, Show var) => Show (Collage var ty sym en fk att gen sk) -- Defined at src/Language/AQL.hs:101:19 instance (Show var, Show ty, Show sym, Show en, Show fk, Show att, Show gen, Show sk) => Show (EQ var ty sym en fk att gen sk) -- Defined at src/Language/AQL.hs:88:10 ...plus 44 others ...plus five instances involving out-of-scope types (use -fprint-potential-instances to see them all)
• In the expression: GHC.Show.$dmshow @TypesideExp In an equation for show': show = GHC.Show.$dmshow @TypesideExp When typechecking the code forshow' in a derived instance for Show TypesideExp': To see the code I am typechecking, use -ddump-deriv In the instance declaration forShow TypesideExp' | 315 | deriving instance (Show var, Show sym, Show ty) => Show TypesideExp | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Language/AQL.hs:315:1: error:

• Could not deduce (Show var3) arising from a use of showsPrec' from the context: (Show var, Show sym, Show ty) bound by the instance declaration at src/Language/AQL.hs:315:1-67 The type variablevar3' is ambiguous These potential instances exist: instance (Show var, Show ty, Show sym, Show en, Show fk, Show att, Show gen, Show sk, Show x, Show y) => Show (Algebra var ty sym en fk att gen sk x y) -- Defined at src/Language/AQL.hs:489:10 instance (Show sk, Show gen, Show att, Show fk, Show sym, Show ty, Show en, Show var) => Show (Collage var ty sym en fk att gen sk) -- Defined at src/Language/AQL.hs:101:19 instance (Show var, Show ty, Show sym, Show en, Show fk, Show att, Show gen, Show sk) => Show (EQ var ty sym en fk att gen sk) -- Defined at src/Language/AQL.hs:88:10 ...plus 44 others ...plus five instances involving out-of-scope types (use -fprint-potential-instances to see them all)
• In the first argument of GHC.Show.showList__', namely (showsPrec 0)' In the expression: GHC.Show.showList (showsPrec 0) In an equation for `showList': showList = GHC.Show.showList (showsPrec 0) When typechecking the code for showList' in a derived instance forShow TypesideExp': To see the code I am typechecking, use -ddump-deriv | 315 | deriving instance (Show var, Show sym, Show ty) => Show TypesideExp | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Language/AQL.hs:370:18: error:

• Ambiguous type variable var1' arising from a use oftypeOfCol' prevents the constraint (Show var1)' from being solved. Relevant bindings include validateSchema :: Schema var1 ty1 sym1 en0 fk0 att0 -> Err () (bound at src/Language/AQL.hs:370:1) Probable fix: use a type annotation to specify whatvar1' should be. These potential instances exist: instance (Show var, Show ty, Show sym, Show en, Show fk, Show att, Show gen, Show sk, Show x, Show y) => Show (Algebra var ty sym en fk att gen sk x y) -- Defined at src/Language/AQL.hs:489:10 instance (Show sk, Show gen, Show att, Show fk, Show sym, Show ty, Show en, Show var) => Show (Collage var ty sym en fk att gen sk) -- Defined at src/Language/AQL.hs:101:19 instance (Show var, Show ty, Show sym, Show en, Show fk, Show att, Show gen, Show sk) => Show (EQ var ty sym en fk att gen sk) -- Defined at src/Language/AQL.hs:88:10 ...plus 44 others ...plus five instances involving out-of-scope types (use -fprint-potential-instances to see them all)
• In the first argument of (.)', namelytypeOfCol' In the expression: typeOfCol . schToCol In an equation for `validateSchema': validateSchema = typeOfCol . schToCol | 370 | validateSchema = typeOfCol . schToCol | ^^^^^^^^^ cabal: Leaving directory '.' cabal: Error: some packages failed to install: aql-0.1.0.0-InKZO3mITIm7URSLbTp2t4 failed during the building phase. The exception was: ExitFailure 1

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or mute the thread.

[tg-x]

@wisnesky using the master branch here, is that what you mean?

don't see the dozen small files there, though.

[wisnesky]

I clicked ‘push origin’ again to be sure right now. The AQL.hs file in this branch only has 150 lines.

On Sep 17, 2018, at 4:14 PM, TG ⊗ Θ notifications@github.com wrote:

@wisnesky using the master branch here, is that what you mean?

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub, or mute the thread.

[tg-x]

@wisnesky ok, now I see the changes, and could also build it, some tests are failing, though:

Resolving dependencies...                                                                                                                                                                                                                                                                                                     
Configuring aql-0.1.0.0...                                                                                                                                                                                                                                                                                                    
Preprocessing library for aql-0.1.0.0..                                                                                                                                                                                                                                                                                       
Building library for aql-0.1.0.0..                                                                                                                                                                                                                                                                                            
ignoring (possibly broken) abi-depends field for packages                                                                                                                                                                                                                                                                     
Preprocessing test suite 'aql-test' for aql-0.1.0.0..                                                                                                                                                                                                                                                                         
Building test suite 'aql-test' for aql-0.1.0.0..                                                                                                                                                                                                                                                                              
[3 of 4] Compiling AQLSpec          ( test/AQLSpec.hs, dist/build/aql-test/aql-test-tmp/AQLSpec.o )                                                                                                                                                                                                                           

test/AQLSpec.hs:23:33: error:                                                                                                                                                                                                                                                                                                 
    Not in scope: type constructor or class `Schema'                                                                                                                                                                                                                                                                          
   |                                                                                                                                                                                                                                                                                                                          
23 | schemaOne :: (Eq var, Eq fk) => Schema var String String String fk String                                                                                                                                                                                                                                                
   |                                 ^^^^^^                                                                                                                                                                                                                                                                                   

test/AQLSpec.hs:25:84: error:                                                                                                                                                                                                                                                                                                 
    Not in scope: data constructor `EQ'                                                                                                                                                                                                                                                                                       
    Perhaps you want to remove `EQ' from the explicit hiding list                                                                                                                                                                                                                                                             
    in the import of `Prelude' (test/AQLSpec.hs:5:1-44).                                                                                                                                                                                                                                                                      
   |                                                                                                                                                                                                                                                                                                                          
25 |   Schema typesideDom (Set.singleton "A") Map.empty atts' Set.empty Set.empty (\en (EQ (lhs, rhs)) -> lhs == rhs)                                                                                                                                                                                                         
   |                                                                                    ^^                                                                                                                                                                                                                                    

test/AQLSpec.hs:29:24: error:                                                                                                                                                                                                                                                                                                 
    Not in scope: type constructor or class `Schema'                                                                                                                                                                                                                                                                          
   |                                                                                                                                                                                                                                                                                                                          
29 | schemaTwo :: Eq var => Schema var String String String String String                                                                                                                                                                                                                                                     
   |                        ^^^^^^                                                                                                                                                                                                                                                                                            

test/AQLSpec.hs:31:85: error:                                                                                                                                                                                                                                                                                                 
    Not in scope: data constructor `EQ'                                                                                                                                                                                                                                                                                       
    Perhaps you want to remove `EQ' from the explicit hiding list                                                                                                                                                                                                                                                             
    in the import of `Prelude' (test/AQLSpec.hs:5:1-44).                                                                                                                                                                                                                                                                      
   |                                                                                                                                                                                                                                                                                                                          
31 |   Schema typesideDom (Set.fromList ["A", "B"]) atts atts' Set.empty Set.empty (\en (EQ (lhs, rhs)) -> lhs == rhs)                                                                                                                                                                                                        
   |                                                                                     ^^                                                                                                                                                                                                                                   

test/AQLSpec.hs:39:26: error:                                                                                                                                                                                                                                                                                                 
    Not in scope: type constructor or class `Typeside'                                                                                                                                                                                                                                                                        
   |                                                                                                                                                                                                                                                                                                                          
39 | typesideDom :: Eq var => Typeside var String String                                                                                                                                                                                                                                                                      
   |                          ^^^^^^^^                                                                                                                                                                                                                                                                                        

test/AQLSpec.hs:40:67: error:                                                                                                                                                                                                                                                                                                 
    Not in scope: data constructor `EQ'                                                                                                                                                                                                                                                                                       
    Perhaps you want to remove `EQ' from the explicit hiding list                                                                                                                                                                                                                                                             
    in the import of `Prelude' (test/AQLSpec.hs:5:1-44).                                                                                                                                                                                                                                                                      
   |                                                                                                                                                                                                                                                                                                                          
40 | typesideDom = Typeside (Set.singleton "Dom") sym Set.empty (\ctx (EQ (lhs,rhs)) -> lhs == rhs)                                                                                                                                                                                                                           
   |                                                                   ^^                                                                                                                                                                                                                                                     

[wisnesky]

Hm, I don’t think ‘stack build’ actually builds AQLSpec.hs. Is there a different Stack command to use to compile that file?

On Sep 17, 2018, at 4:37 PM, TG ⊗ Θ notifications@github.com wrote:

@wisnesky ok, now I see the changes, and could also build it, some tests are failing, though:

Resolving dependencies...
Configuring aql-0.1.0.0...
Preprocessing library for aql-0.1.0.0..
Building library for aql-0.1.0.0..
ignoring (possibly broken) abi-depends field for packages
Preprocessing test suite 'aql-test' for aql-0.1.0.0..
Building test suite 'aql-test' for aql-0.1.0.0..
[3 of 4] Compiling AQLSpec ( test/AQLSpec.hs, dist/build/aql-test/aql-test-tmp/AQLSpec.o )

test/AQLSpec.hs:23:33: error:
Not in scope: type constructor or class `Schema'
|
23 | schemaOne :: (Eq var, Eq fk) => Schema var String String String fk String
| ^^^^^^

test/AQLSpec.hs:25:84: error:
Not in scope: data constructor EQ' Perhaps you want to removeEQ' from the explicit hiding list
in the import of `Prelude' (test/AQLSpec.hs:5:1-44).
|
25 | Schema typesideDom (Set.singleton "A") Map.empty atts' Set.empty Set.empty (\en (EQ (lhs, rhs)) -> lhs == rhs)
| ^^

test/AQLSpec.hs:29:24: error:
Not in scope: type constructor or class `Schema'
|
29 | schemaTwo :: Eq var => Schema var String String String String String
| ^^^^^^

test/AQLSpec.hs:31:85: error:
Not in scope: data constructor EQ' Perhaps you want to removeEQ' from the explicit hiding list
in the import of `Prelude' (test/AQLSpec.hs:5:1-44).
|
31 | Schema typesideDom (Set.fromList ["A", "B"]) atts atts' Set.empty Set.empty (\en (EQ (lhs, rhs)) -> lhs == rhs)
| ^^

test/AQLSpec.hs:39:26: error:
Not in scope: type constructor or class `Typeside'
|
39 | typesideDom :: Eq var => Typeside var String String
| ^^^^^^^^

test/AQLSpec.hs:40:67: error:
Not in scope: data constructor EQ' Perhaps you want to removeEQ' from the explicit hiding list
in the import of `Prelude' (test/AQLSpec.hs:5:1-44).
|
40 | typesideDom = Typeside (Set.singleton "Dom") sym Set.empty (\ctx (EQ (lhs,rhs)) -> lhs == rhs)
| ^^

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub, or mute the thread.

[tg-x]

I'm using hpack to create a cabal file, then cabal build then cabal test (since styx uses cabal)

[tg-x]

@epost @wisnesky one of you also needs to enable travis at https://travis-ci.com/statebox/aql

[wisnesky]

Ok, ‘stack test’ seems to build that file. I added some imports and it seems to compile ok now.

On Sep 17, 2018, at 4:45 PM, TG ⊗ Θ notifications@github.com wrote:

I'm using hpack to create a cabal file, then cabal build then cabal test (since styx uses cabal)

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub, or mute the thread.

[tg-x]

yup, that worked:

Building test suite 'aql-test' for aql-0.1.0.0..
[3 of 4] Compiling AQLSpec          ( test/AQLSpec.hs, dist/build/aql-test/aql-test-tmp/AQLSpec.o )
[4 of 4] Compiling Main             ( test/Spec.hs, dist/build/aql-test/aql-test-tmp/Main.o )                                                                 
Linking dist/build/aql-test/aql-test ...                                                                                                                      
Running 1 test suites...                                                                                                                                      
Test suite aql-test: RUNNING...                                                                                                                               
Test suite aql-test: PASS                                                                                                                                     
Test suite logged to: dist/test/aql-0.1.0.0-aql-test.log                                                                                                      
1 of 1 test suites (1 of 1 test cases) passed.                                                                                                                

[tg-x]

nix pkgs & travis is config is in place, see 6e9673f9e41acc2e39e53a8bc1301bd0d7976316, now only need to enable travis for this repo

[epost]

Done! @tg-x, you rock!! 🤘

[tg-x]

@epost seems something is still missing..

here it says build is queued but it does not start building it: https://github.com/statebox/aql/pull/36/checks

[epost]

@tg-x I'm getting the following, which from this Travis issue seems to have to do with our account having run out of builds.

link: https://travis-ci.com/statebox/aql/requests?requestId=140688031

[epost]

@wires It seems like we've run out of builds on Travis; see above. Could you check, and preferably make it go away magically?

[tg-x]

@epost @wires this is due to this repository being private, which travis charges for. see travis for private repos.

so the options are:

1. pay travis (see plans)
2. make this repo public (see instructions)