stack: bump to lts-12.25
[comptalang.git] / lcc / Hcompta / LCC / Sym / FileSystem.hs
index fec647942e5897e3579b6762d527f722e0cd8b1f..2c32e2cd24554fe61d0e86bb2fc54966df6fa50e 100644 (file)
@@ -36,9 +36,9 @@ instance (Sym_PathFile r1, Sym_PathFile r2) => Sym_PathFile (Dup r1 r2) where
 instance (Sym_PathFile term, Sym_Lambda term) => Sym_PathFile (BetaT term)
 
 instance NameTyOf PathFile where
-       nameTyOf _c = ["LCC"] `Mod` "PathFile"
+       nameTyOf _c = ["FS"] `Mod` "PathFile"
 instance ClassInstancesFor PathFile where
-       proveConstraintFor _ (TyApp _ (TyConst _ _ q) c)
+       proveConstraintFor _ (TyConst _ _ q :$ c)
         | Just HRefl <- proj_ConstKiTy @(K PathFile) @PathFile c
         = case () of
                 _ | Just Refl <- proj_Const @Eq q   -> Just Dict
@@ -70,7 +70,7 @@ instance -- Gram_Term_AtomsFor
                g_pathfile_section :: CF g FilePath
                g_pathfile_section = some (choice $ char '.' : (unicat <$> [Unicat_Letter, Unicat_Number]))
 instance (Source src, SymInj ss PathFile) => ModuleFor src ss PathFile where
-       moduleFor = ["LCC", "PathFile"] `moduleWhere`
+       moduleFor = ["FS", "PathFile"] `moduleWhere`
         [
         ]