Add symantic-document.

[haskell/symantic.git] / symantic-lib / Language / Symantic / Lib / List.hs

diff --git a/symantic-lib/Language/Symantic/Lib/List.hs b/symantic-lib/Language/Symantic/Lib/List.hs
index d967aec464dbb3d827006335942e9c52efa31d7a..db4b515d70e2b522d4f044ee501819108b9ccaa4 100644 (file)
--- a/symantic-lib/Language/Symantic/Lib/List.hs
+++ b/symantic-lib/Language/Symantic/Lib/List.hs
@@ -109,7 +109,7 @@ instance
                between (symbol "[") (symbol "]") listG
         , rule "teList_empty" $
                g_source $
-               (\src -> BinTree0 $ Token_Term $ TermVT_CF teList_empty `setSource` src)
+               (\src -> BinTree0 $ Token_Term $ TermAVT teList_empty `setSource` src)
                 <$ symbol "["
                 <* symbol "]"
         ]
@@ -119,11 +119,11 @@ instance
                        g_source $
                        (\a mb src ->
                                case mb of
-                                Just b  -> BinTree2 (BinTree2 (BinTree0 $ Token_Term $ TermVT_CF $ (`setSource` src) $ teList_cons) a) b
+                                Just b  -> BinTree2 (BinTree2 (BinTree0 $ Token_Term $ TermAVT $ (`setSource` src) $ teList_cons) a) b
                                 Nothing ->
                                        BinTree2
-                                        (BinTree2 (BinTree0 $ Token_Term $ TermVT_CF $ (`setSource` src) $ teList_cons) a)
-                                        (BinTree0 $ Token_Term $ TermVT_CF $ (`setSource` src) $ teList_empty))
+                                        (BinTree2 (BinTree0 $ Token_Term $ TermAVT $ (`setSource` src) $ teList_cons) a)
+                                        (BinTree0 $ Token_Term $ TermAVT $ (`setSource` src) $ teList_empty))
                         <$> g_term
                         <*> option Nothing (Just <$ symbol "," <*> listG)
 instance (Source src, Inj_Sym ss []) => ModuleFor src ss [] where