mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-10-25 08:43:17 -06:00
export Thunk, newThunk
This commit is contained in:
1 parent
d5871b120d
commit
9a6fc7fc9e
1 file changed
+1
-1
@@ -1,6 +1,6 @@
|
||||
module GF.Term (renameSourceTerm,
|
||||
Globals(..), ConstValue(..), EvalM, stdPredef,
|
||||
Value(..), showValue, newEvaluatedThunk,
|
||||
Value(..), showValue, Thunk, newThunk, newEvaluatedThunk,
|
||||
evalError, evalWarn,
|
||||
inferLType, checkLType,
|
||||
normalForm, normalStringForm,
|
||||
|
||||
Reference in new issue
Block a user