github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 22:31:36 +03:00
Code Issues Projects Releases Wiki Activity

🔥 a TODO.

Browse Source
This commit is contained in:
Rob Rix 2018-03-01 16:35:40 -05:00
parent a8d16aa05a
commit e20339bfdd
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/Data/Syntax/Declaration.hs
View File

@ -17,7 +17,6 @@ instance Eq1 Function where liftEq = genericLiftEq
instance Ord1 Function where liftCompare = genericLiftCompare instance Ord1 Function where liftCompare = genericLiftCompare
instance Show1 Function where liftShowsPrec = genericLiftShowsPrec instance Show1 Function where liftShowsPrec = genericLiftShowsPrec
-- TODO: Implement evaluation under the binder for the typechecking evaluator.
-- TODO: Filter the closed-over environment by the free variables in the term. -- TODO: Filter the closed-over environment by the free variables in the term.
-- TODO: How should we represent function types, where applicable? -- TODO: How should we represent function types, where applicable?