Browse Source

minor change in TC and TODO update

master
depsterr 6 months ago
parent
commit
388898b3f7
  1. 4
      TODO
  2. 2
      src/Simple/TC.hs

4
TODO

@ -1,7 +1,7 @@
short term:
non-empty list type
check stuff is not already in scope for top levels
simple parameterised types
long term:
use non-empty list type
floats?
import system?

2
src/Simple/TC.hs

@ -58,7 +58,7 @@ checkExpr expr t = checkType t >> inferExpr expr >>=
-- | Infer the type of an expression
inferExpr :: Expr -> Check Type
inferExpr (ExpExpr t e) = checkExpr1 e t >> pure t
inferExpr (ExpExpr t e) = checkExpr1 e t
inferExpr (ImpExpr e) = inferExpr1 e
-- | Check that expression1 has certain type. Error on fail, return type on success.

Loading…
Cancel
Save