Add failing test for phantom type fix

Author: MartinSStewart

test/Lamdera/Evergreen/TestMigrationGenerator.hs

@@ -59,7 +59,7 @@ testMigrationGeneration scenario oldVersion newVersion = do
 
   io $ atomicPutStrLn <$> Ext.Common.requireBinary "elm-format"
 
-  let root = "/Users/mario/dev/projects/lamdera-compiler/test/scenario-migration-generate"
+  let root = "/Users/martinstewart/dev/projects/lamdera-compiler/test/scenario-migration-generate"
       typeCompares = zipWith3
         (\label local prod -> (label, T.unpack local, T.unpack prod))
         (Lamdera.Types.core)
@@ -81,7 +81,7 @@ testMigrationGeneration scenario oldVersion newVersion = do
         ]
 
   compilationStdout <- catchOutput $
-    Lamdera.Compile.makeDev "/Users/mario/dev/projects/lamdera-compiler/test/scenario-migration-generate" filenames
+    Lamdera.Compile.makeDev "/Users/martinstewart/dev/projects/lamdera-compiler/test/scenario-migration-generate" filenames
 
   compilationStdout `expectTextContains`
     "This `Unimplemented` value is a:\n\n    UnimplementedMigration"
@@ -105,7 +105,7 @@ testExamples :: Test ()
 testExamples = withTestEnv $ do
   failuresM <- io $ newMVar []
   let
-    project = "/Users/mario/dev/projects/lamdera-compiler/test/scenario-migration-generate"
+    project = "/Users/martinstewart/dev/projects/lamdera-compiler/test/scenario-migration-generate"
     testFiles =
         [
           -- "src/Test/Migrate_Record.elm"

test/Test.hs

@@ -278,8 +278,13 @@ liveReloadLive = do
   --   "src/Bytes/Encode.elm"
   --   "withDebug"
 
-target = EasyTest.run Test.WebGL.suite
-
+target =
+    EasyTest.run
+        (tests
+            [ scope "Lamdera.Evergreen.TestMigrationHarness -> " $ Lamdera.Evergreen.TestMigrationHarness.suite
+            , scope "Lamdera.Evergreen.TestMigrationGenerator -> " $ Lamdera.Evergreen.TestMigrationGenerator.suite
+            ]
+        )
 all =
   EasyTest.run allTests
 

test/scenario-migration-generate/src/Migrate_All/Actual.elm

@@ -181,6 +181,7 @@ migrate_Migrate_All_New_BackendModel old =
     , url = old.url
     , userCache = old.userCache |> migrate_AssocList_Dict identity migrate_IncludedBySpecialCasedParam_Custom
     , apps = (Unimplemented {- Type `Dict (String) (Migrate_All.New.App)` was added in V2. I need you to set a default value. -})
+    , id = old.id |> migrate_Migrate_All_New_Id migrate_Migrate_All_New_UserId
     , depthTests = (Unimplemented {- Field of type `Dict (String) (Migrate_All.Old.Depth)` was removed in V2. I need you to do something with the `old.depthTests` value if you wish to keep the data, then remove this line. -})
     , removed = (Unimplemented {- Field of type `String` was removed in V2. I need you to do something with the `old.removed` value if you wish to keep the data, then remove this line. -})
     , removedRecord = (Unimplemented {- Field of type `Evergreen.V1.External.AllCoreTypes` was removed in V2. I need you to do something with the `old.removedRecord` value if you wish to keep the data, then remove this line. -})
@@ -197,6 +198,20 @@ migrate_Migrate_All_New_CustomType old =
             Migrate_All.New.CustomTwo
 
 
+migrate_Migrate_All_New_Id : (a_old -> a_new) -> Migrate_All.Old.Id a_old -> Migrate_All.New.Id a_new
+migrate_Migrate_All_New_Id migrate_a old =
+    case old of
+        Migrate_All.Old.Id p0 ->
+            Migrate_All.New.Id p0
+
+
+migrate_Migrate_All_New_UserId : Migrate_All.Old.UserId -> Migrate_All.New.UserId
+migrate_Migrate_All_New_UserId old =
+    case old of
+        Migrate_All.Old.UserId ->
+            Migrate_All.New.UserId
+
+
 migrate_Migrate_All_New_UserType : Migrate_All.Old.UserType -> Migrate_All.New.UserType
 migrate_Migrate_All_New_UserType old =
     case old of

test/scenario-migration-generate/src/Migrate_All/Expected.elm

@@ -181,6 +181,7 @@ migrate_Migrate_All_New_BackendModel old =
     , url = old.url
     , userCache = old.userCache |> migrate_AssocList_Dict identity migrate_IncludedBySpecialCasedParam_Custom
     , apps = (Unimplemented {- Type `Dict (String) (Migrate_All.New.App)` was added in V2. I need you to set a default value. -})
+    , id = old.id |> migrate_Migrate_All_New_Id
     , depthTests = (Unimplemented {- Field of type `Dict (String) (Migrate_All.Old.Depth)` was removed in V2. I need you to do something with the `old.depthTests` value if you wish to keep the data, then remove this line. -})
     , removed = (Unimplemented {- Field of type `String` was removed in V2. I need you to do something with the `old.removed` value if you wish to keep the data, then remove this line. -})
     , removedRecord = (Unimplemented {- Field of type `Evergreen.V1.External.AllCoreTypes` was removed in V2. I need you to do something with the `old.removedRecord` value if you wish to keep the data, then remove this line. -})
@@ -197,6 +198,14 @@ migrate_Migrate_All_New_CustomType old =
             Migrate_All.New.CustomTwo
 
 
+migrate_Migrate_All_New_Id : Migrate_All.Old.Id a_old -> Migrate_All.New.Id a_new
+migrate_Migrate_All_New_Id old =
+    case old of
+        Migrate_All.Old.Id p0 ->
+            Migrate_All.New.Id p0
+
+
+
 migrate_Migrate_All_New_UserType : Migrate_All.Old.UserType -> Migrate_All.New.UserType
 migrate_Migrate_All_New_UserType old =
     case old of

test/scenario-migration-generate/src/Migrate_All/New.elm

@@ -56,6 +56,9 @@ type alias BackendModel =
 
     -- WIP
     , apps : Dict String App
+
+    -- Phantom type
+    , id : Id UserId
     }
 
 
@@ -144,3 +147,11 @@ type alias ConfigUses =
 
 type alias ConfigUse =
     ( String, String, List String )
+
+
+type Id a =
+    Id String
+
+
+type UserId =
+    UserId

test/scenario-migration-generate/src/Migrate_All/Old.elm

@@ -57,6 +57,9 @@ type alias BackendModel =
 
     -- WIP
     , depthTests : Dict String Depth
+
+    -- Phantom type
+    , id : Id UserId
     }
 
 
@@ -154,3 +157,11 @@ type UnionThatGetsMoved
 
 type alias AliasThatGetsMoved =
     { someThing : String }
+
+
+type Id a =
+    Id String
+
+
+type UserId =
+    UserId