Implement inherits for Schema.sql

CONTRIBUTING.md

@@ -82,7 +82,7 @@ use `make console` to load your application together with the framework located
 
 ```
 ghci
-:l IHP/exe/IHP/IDE/DevServer.hs
+:l IHP/ihp-ide/exe/IHP/IDE/DevServer.hs
 main
 ```
 

Test/IDE/SchemaDesigner/CompilerSpec.hs

@@ -628,7 +628,7 @@ tests = do
                     , indexType = Nothing
                     }
             compileSql [statement] `shouldBe` sql
-        
+
         it "should escape an index name inside a 'CREATE INDEX' statement" do
             let sql = cs [plain|CREATE INDEX "Some Index" ON "Some Table" ("Some Col");\n|]
             let statement = CreateIndex
@@ -841,7 +841,7 @@ tests = do
                         )
                     }
             compileSql [policy] `shouldBe` sql
-        
+
         it "should compile 'CREATE POLICY' statements with a 'ihp_user_id() IS NOT NULL' expression" do
             -- https://github.com/digitallyinduced/ihp/issues/1412
             let sql = "CREATE POLICY \"Users can manage tasks if logged in\" ON tasks USING (ihp_user_id() IS NOT NULL) WITH CHECK (ihp_user_id() IS NOT NULL);\n"
@@ -1040,7 +1040,7 @@ tests = do
         it "should compile 'CREATE UNLOGGED TABLE' statements" do
             let sql = [trimming|
                 CREATE UNLOGGED TABLE pg_large_notifications (
-                
+
                 );
             |] <> "\n"
             let statements = [
@@ -1067,4 +1067,23 @@ tests = do
                             , check = Just (VarExpression "false")
                             }
                         ]
-            compileSql statements `shouldBe` sql
+            compileSql statements `shouldBe` sql
+
+        it "should compile a CREATE TABLE statement with INHERITS" do
+            let sql = "CREATE TABLE child_table (\n    id UUID PRIMARY KEY\n) INHERITS (parent_table);\n"
+            let statement = StatementCreateTable CreateTable
+                    { name = "child_table"
+                    , columns = [Column
+                        { name = "id"
+                        , columnType = PUUID
+                        , defaultValue = Nothing
+                        , notNull = False
+                        , isUnique = False
+                        , generator = Nothing
+                        }]
+                    , primaryKeyConstraint = PrimaryKeyConstraint ["id"]
+                    , constraints = []
+                    , unlogged = False
+                    , inherits = Just "parent_table"
+                    }
+            compileSql [statement] `shouldBe` sql

ihp-ide/IHP/IDE/SchemaDesigner/Compiler.hs

@@ -22,7 +22,7 @@ compileSql statements = statements
     |> unlines
 
 compileStatement :: Statement -> Text
-compileStatement (StatementCreateTable CreateTable { name, columns, primaryKeyConstraint, constraints, unlogged }) = "CREATE" <> (if unlogged then " UNLOGGED" else "") <> " TABLE " <> compileIdentifier name <> " (\n" <> intercalate ",\n" (map (\col -> "    " <> compileColumn primaryKeyConstraint col) columns <> maybe [] ((:[]) . indent) (compilePrimaryKeyConstraint primaryKeyConstraint) <> map (indent . compileConstraint) constraints) <> "\n);"
+compileStatement (StatementCreateTable CreateTable { name, columns, primaryKeyConstraint, constraints, unlogged, inherits }) = "CREATE" <> (if unlogged then " UNLOGGED" else "") <> " TABLE " <> compileIdentifier name <> " (\n" <> intercalate ",\n" (map (\col -> "    " <> compileColumn primaryKeyConstraint col) columns <> maybe [] ((:[]) . indent) (compilePrimaryKeyConstraint primaryKeyConstraint) <> map (indent . compileConstraint) constraints) <> "\n)" <> maybe "" (\parentTable -> " INHERITS (" <> compileIdentifier parentTable <> ")") inherits <> ";"
 compileStatement CreateEnumType { name, values } = "CREATE TYPE " <> compileIdentifier name <> " AS ENUM (" <> intercalate ", " (values |> map TextExpression |> map compileExpression) <> ");"
 compileStatement CreateExtension { name, ifNotExists } = "CREATE EXTENSION " <> (if ifNotExists then "IF NOT EXISTS " else "") <> compileIdentifier name <> ";"
 compileStatement AddConstraint { tableName, constraint = UniqueConstraint { name = Nothing, columnNames } } = "ALTER TABLE " <> compileIdentifier tableName <> " ADD UNIQUE (" <> intercalate ", " columnNames <> ")" <> ";"

ihp-ide/IHP/IDE/SchemaDesigner/Parser.hs

@@ -98,6 +98,8 @@ createTable = do
         columnsAndConstraints <- ((Right <$> parseTableConstraint) <|> (Left <$> parseColumn)) `sepBy` (char ',' >> space)
         pure (lefts columnsAndConstraints, rights columnsAndConstraints)
 
+    inherits <- optional parseInheritsClause
+
     char ';'
 
     -- Check that either there is a single column with a PRIMARY KEY constraint,
@@ -116,7 +118,7 @@ createTable = do
             _ -> Prelude.fail ("Primary key defined in both column and table constraints on table " <> cs name)
         _ -> Prelude.fail "Multiple columns with PRIMARY KEY constraint"
 
-    pure CreateTable { name, columns, primaryKeyConstraint, constraints, unlogged }
+    pure CreateTable { name, columns, primaryKeyConstraint, constraints, unlogged, inherits }
 
 createEnumType = do
     lexeme "CREATE"
@@ -222,6 +224,12 @@ parseOnDelete = choice
         , (lexeme "CASCADE" >> pure Cascade)
         ]
 
+parseInheritsClause :: Parser Text
+parseInheritsClause = do
+    lexeme "INHERITS"
+    parentTable <- between (char '(' >> space) (char ')' >> space) qualifiedIdentifier
+    pure parentTable
+
 parseColumn :: Parser (Bool, Column)
 parseColumn = do
     name <- identifier

ihp-ide/IHP/IDE/SchemaDesigner/Types.hs

@@ -85,6 +85,7 @@ data CreateTable
       , primaryKeyConstraint :: PrimaryKeyConstraint
       , constraints :: [Constraint]
       , unlogged :: !Bool
+      , inherits :: Maybe Text
       }
   deriving (Eq, Show)