mirror of
https://github.com/Kindelia/Kind2.git
synced 2024-09-11 07:15:45 +03:00
Lit: TODOs
This commit is contained in:
parent
01eaf4bc6a
commit
2bdfe5d7f3
@ -2,19 +2,15 @@
|
||||
// ==========================================
|
||||
|
||||
// TODO:
|
||||
// - merge type-checking and validation / allow reusing word terms
|
||||
// - cost measure
|
||||
// - check do call.cont
|
||||
// - Lit.Core.Term.get_caller
|
||||
// - tipo "Bits" nativo no bloco genesis
|
||||
// - Lit.Core.Term.get_caller ?
|
||||
// - owned types/constructors ?
|
||||
// - conseguir modificar o dono no Lit.Core.Term.bind
|
||||
// - revisar e usar a função validate
|
||||
// - block difficulty (nakamoto consensus)
|
||||
// - owned types/constructors?
|
||||
// - melhorar mensagens de erro
|
||||
// - Lit.Lang:
|
||||
// - consertar parser para ir ate o final do arquivo?
|
||||
// - do blocks (um "with" anonimo, sem assinatura)
|
||||
// - open?
|
||||
// - consertar parser para ir ate o final do arquivo !
|
||||
//
|
||||
// - paper:
|
||||
// - use railroad diagrams for syntax
|
||||
|
||||
@ -141,7 +137,6 @@ Lit.Core.World: Type
|
||||
Map<Lit.Core.Entry>
|
||||
|
||||
// A paragraph in a Litereum page
|
||||
// TODO: rename to Lit.Core.Command
|
||||
type Lit.Core.Statement {
|
||||
define(entry: Lit.Core.Entry)
|
||||
call(expr: Lit.Core.Term)
|
||||
|
@ -119,12 +119,6 @@ BitsMap.dup(m: BitsMap): Pair.BitsMap
|
||||
}
|
||||
}
|
||||
|
||||
// // TODO this shouldn't run what's happening?
|
||||
// BitsMap.bug(state: BitsMap, from: Bits, to: Bits, sum: Bits): BitsMap
|
||||
// call dup_state = BitsMap.dup(state)
|
||||
// state
|
||||
|
||||
|
||||
BitsMap.transact2(state: BitsMap, from: Bits, to: Bits, sum: Bits): BitsMap
|
||||
call balance = BitsMap.get_p(state, from)
|
||||
case balance : PlsRename {
|
||||
|
Loading…
Reference in New Issue
Block a user