GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-26 11:18:55 -06:00
Code Issues Packages Projects Releases Wiki Activity

Remove old commented code

Browse Source
This commit is contained in:
John J. Camilleri
2021-03-05 16:51:59 +01:00
parent dbf369aae5
commit 0f4b349b0b
1 changed files with 0 additions and 50 deletions
Download Patch File Download Diff File Expand all files Collapse all files

50
src/compiler/GF/Compile/GrammarToLPGF.hs
View File

@@ -234,56 +234,6 @@ mkCanon2lpgf opts gr am = do
_ -> Nothing _ -> Nothing
return (L.Tuple (map fst ts), typ) return (L.Tuple (map fst ts), typ)
{-
C.TableValue lt trvs | isRecordType lt -> go trvs
where
go :: [C.TableRowValue] -> Either String (L.LinFun, Maybe C.LinType)
go [C.TableRow _ lv] = val2lin lv
go trvs = do
let grps = flip L.groupBy trvs $ \tr1 tr2 ->
let
C.TableRow (C.RecordPattern (C.RecordRow lid1 (C.ParamPattern (C.Param pid1 _)):_)) _ = tr1
C.TableRow (C.RecordPattern (C.RecordRow lid2 (C.ParamPattern (C.Param pid2 _)):_)) _ = tr2
in lid1 == lid2 && pid1 == pid2
ts <- forM grps $ \grp ->
go =<< forM grp (\row ->
case row of
C.TableRow (C.RecordPattern []) lv -> return row
C.TableRow (C.RecordPattern (C.RecordRow _ (C.ParamPattern (C.Param _ [])):rrs)) lv -> return $ C.TableRow (C.RecordPattern rrs) lv
C.TableRow (C.RecordPattern rrs) lv -> return $ C.TableRow (C.RecordPattern rrs') lv
where
C.RecordRow lid (C.ParamPattern (C.Param pid patts)) = head rrs
C.ParamPattern (C.Param pid2 patts2) = head patts
rrs' = C.RecordRow lid (C.ParamPattern (C.Param pid2 (patts2 ++ tail patts))) : tail rrs
_ -> Left $ printf "Unhandled table row: %s" (show row)
)
let typ = case ts of
(_, Just tst):_ -> Just $ C.TableType lt tst
_ -> Nothing
return (L.Tuple (map fst ts), typ)
C.TableValue lt trvs | isParamType lt -> go trvs
where
go :: [C.TableRowValue] -> Either String (L.LinFun, Maybe C.LinType)
go [C.TableRow _ lv] = val2lin lv
go trvs = do
let grps = L.groupBy (\(C.TableRow (C.ParamPattern (C.Param pid1 _)) _) (C.TableRow (C.ParamPattern (C.Param pid2 _)) _) -> pid1 == pid2) trvs
ts <- forM grps $ \grp ->
go =<< forM grp (\row ->
case row of
C.TableRow (C.ParamPattern (C.Param _ [])) lv -> return row
C.TableRow (C.ParamPattern (C.Param _ patts)) lv -> return $ C.TableRow (C.ParamPattern (C.Param pid' patts')) lv
where
C.ParamPattern (C.Param pid1 patts1) = head patts
pid' = pid1
patts' = patts1 ++ tail patts
_ -> Left $ printf "Unhandled table row: %s" (show row)
)
let typ = case ts of
(_, Just tst):_ -> Just $ C.TableType lt tst
_ -> Nothing
return (L.Tuple (map fst ts), typ)
-}
-- TODO TuplePattern, WildPattern? -- TODO TuplePattern, WildPattern?
C.TupleValue lvs -> do C.TupleValue lvs -> do