This adds a modern type unification algorithm, which drastically improves performance, particularly for bigger programs. This required a change to the AST to add TypeCheck methods (for Stmt) and Infer/Check methods (for Expr). This also changed how the functions express their invariants, and as a result this was changed as well. This greatly improves the way we express these invariants, and as a result it makes adding new polymorphic functions significantly easier. This also makes error output for the user a lot better in pretty much all scenarios. The one downside of this patch is that a good chunk of it is merged in this giant single commit since it was hard to do it step-wise. That's not the end of the world. This couldn't be done without the guidance of Sam who helped me in explaining, debugging, and writing all the sneaky algorithmic parts and much more. Thanks again Sam! Co-authored-by: Samuel Gélineau <gelisam@gmail.com>
252 lines
7.7 KiB
Go
252 lines
7.7 KiB
Go
// Mgmt
|
|
// Copyright (C) 2013-2024+ James Shubin and the project contributors
|
|
// Written by James Shubin <james@shubin.ca> and the project contributors
|
|
//
|
|
// This program is free software: you can redistribute it and/or modify
|
|
// it under the terms of the GNU General Public License as published by
|
|
// the Free Software Foundation, either version 3 of the License, or
|
|
// (at your option) any later version.
|
|
//
|
|
// This program is distributed in the hope that it will be useful,
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
// GNU General Public License for more details.
|
|
//
|
|
// You should have received a copy of the GNU General Public License
|
|
// along with this program. If not, see <https://www.gnu.org/licenses/>.
|
|
//
|
|
// Additional permission under GNU GPL version 3 section 7
|
|
//
|
|
// If you modify this program, or any covered work, by linking or combining it
|
|
// with embedded mcl code and modules (and that the embedded mcl code and
|
|
// modules which link with this program, contain a copy of their source code in
|
|
// the authoritative form) containing parts covered by the terms of any other
|
|
// license, the licensors of this program grant you additional permission to
|
|
// convey the resulting work. Furthermore, the licensors of this program grant
|
|
// the original author, James Shubin, additional permission to update this
|
|
// additional permission if he deems it necessary to achieve the goals of this
|
|
// additional permission.
|
|
|
|
package coretest
|
|
|
|
import (
|
|
"context"
|
|
"sync"
|
|
|
|
"github.com/purpleidea/mgmt/lang/funcs/facts"
|
|
"github.com/purpleidea/mgmt/lang/funcs/simple"
|
|
"github.com/purpleidea/mgmt/lang/types"
|
|
)
|
|
|
|
const (
|
|
// OneInstanceAFuncName is the name this fact is registered as. It's
|
|
// still a Func Name because this is the name space the fact is actually
|
|
// using.
|
|
OneInstanceAFuncName = "one_instance_a"
|
|
|
|
// OneInstanceBFuncName is the name this fact is registered as. It's
|
|
// still a Func Name because this is the name space the fact is actually
|
|
// using.
|
|
OneInstanceBFuncName = "one_instance_b"
|
|
|
|
// OneInstanceCFuncName is the name this fact is registered as. It's
|
|
// still a Func Name because this is the name space the fact is actually
|
|
// using.
|
|
OneInstanceCFuncName = "one_instance_c"
|
|
|
|
// OneInstanceDFuncName is the name this fact is registered as. It's
|
|
// still a Func Name because this is the name space the fact is actually
|
|
// using.
|
|
OneInstanceDFuncName = "one_instance_d"
|
|
|
|
// OneInstanceEFuncName is the name this fact is registered as. It's
|
|
// still a Func Name because this is the name space the fact is actually
|
|
// using.
|
|
OneInstanceEFuncName = "one_instance_e"
|
|
|
|
// OneInstanceFFuncName is the name this fact is registered as. It's
|
|
// still a Func Name because this is the name space the fact is actually
|
|
// using.
|
|
OneInstanceFFuncName = "one_instance_f"
|
|
|
|
// OneInstanceGFuncName is the name this fact is registered as. It's
|
|
// still a Func Name because this is the name space the fact is actually
|
|
// using.
|
|
OneInstanceGFuncName = "one_instance_g"
|
|
|
|
// OneInstanceHFuncName is the name this fact is registered as. It's
|
|
// still a Func Name because this is the name space the fact is actually
|
|
// using.
|
|
OneInstanceHFuncName = "one_instance_h"
|
|
|
|
msg = "hello"
|
|
)
|
|
|
|
func init() {
|
|
oneInstanceAMutex = &sync.Mutex{}
|
|
oneInstanceBMutex = &sync.Mutex{}
|
|
oneInstanceCMutex = &sync.Mutex{}
|
|
oneInstanceDMutex = &sync.Mutex{}
|
|
oneInstanceEMutex = &sync.Mutex{}
|
|
oneInstanceFMutex = &sync.Mutex{}
|
|
oneInstanceGMutex = &sync.Mutex{}
|
|
oneInstanceHMutex = &sync.Mutex{}
|
|
|
|
facts.ModuleRegister(ModuleName, OneInstanceAFuncName, func() facts.Fact {
|
|
return &OneInstanceFact{
|
|
Name: OneInstanceAFuncName,
|
|
Mutex: oneInstanceAMutex,
|
|
Flag: &oneInstanceAFlag,
|
|
}
|
|
}) // must register the fact and name
|
|
facts.ModuleRegister(ModuleName, OneInstanceCFuncName, func() facts.Fact {
|
|
return &OneInstanceFact{
|
|
Name: OneInstanceCFuncName,
|
|
Mutex: oneInstanceCMutex,
|
|
Flag: &oneInstanceCFlag,
|
|
}
|
|
})
|
|
facts.ModuleRegister(ModuleName, OneInstanceEFuncName, func() facts.Fact {
|
|
return &OneInstanceFact{
|
|
Name: OneInstanceEFuncName,
|
|
Mutex: oneInstanceEMutex,
|
|
Flag: &oneInstanceEFlag,
|
|
}
|
|
})
|
|
facts.ModuleRegister(ModuleName, OneInstanceGFuncName, func() facts.Fact {
|
|
return &OneInstanceFact{
|
|
Name: OneInstanceGFuncName,
|
|
Mutex: oneInstanceGMutex,
|
|
Flag: &oneInstanceGFlag,
|
|
}
|
|
})
|
|
|
|
simple.ModuleRegister(ModuleName, OneInstanceBFuncName, &simple.Scaffold{
|
|
T: types.NewType("func() str"),
|
|
F: func(context.Context, []types.Value) (types.Value, error) {
|
|
oneInstanceBMutex.Lock()
|
|
if oneInstanceBFlag {
|
|
panic("should not get called twice")
|
|
}
|
|
oneInstanceBFlag = true
|
|
oneInstanceBMutex.Unlock()
|
|
return &types.StrValue{V: msg}, nil
|
|
},
|
|
})
|
|
simple.ModuleRegister(ModuleName, OneInstanceDFuncName, &simple.Scaffold{
|
|
T: types.NewType("func() str"),
|
|
F: func(context.Context, []types.Value) (types.Value, error) {
|
|
oneInstanceDMutex.Lock()
|
|
if oneInstanceDFlag {
|
|
panic("should not get called twice")
|
|
}
|
|
oneInstanceDFlag = true
|
|
oneInstanceDMutex.Unlock()
|
|
return &types.StrValue{V: msg}, nil
|
|
},
|
|
})
|
|
simple.ModuleRegister(ModuleName, OneInstanceFFuncName, &simple.Scaffold{
|
|
T: types.NewType("func() str"),
|
|
F: func(context.Context, []types.Value) (types.Value, error) {
|
|
oneInstanceFMutex.Lock()
|
|
if oneInstanceFFlag {
|
|
panic("should not get called twice")
|
|
}
|
|
oneInstanceFFlag = true
|
|
oneInstanceFMutex.Unlock()
|
|
return &types.StrValue{V: msg}, nil
|
|
},
|
|
})
|
|
simple.ModuleRegister(ModuleName, OneInstanceHFuncName, &simple.Scaffold{
|
|
T: types.NewType("func() str"),
|
|
F: func(context.Context, []types.Value) (types.Value, error) {
|
|
oneInstanceHMutex.Lock()
|
|
if oneInstanceHFlag {
|
|
panic("should not get called twice")
|
|
}
|
|
oneInstanceHFlag = true
|
|
oneInstanceHMutex.Unlock()
|
|
return &types.StrValue{V: msg}, nil
|
|
},
|
|
})
|
|
}
|
|
|
|
var (
|
|
oneInstanceAFlag bool
|
|
oneInstanceBFlag bool
|
|
oneInstanceCFlag bool
|
|
oneInstanceDFlag bool
|
|
oneInstanceEFlag bool
|
|
oneInstanceFFlag bool
|
|
oneInstanceGFlag bool
|
|
oneInstanceHFlag bool
|
|
oneInstanceAMutex *sync.Mutex
|
|
oneInstanceBMutex *sync.Mutex
|
|
oneInstanceCMutex *sync.Mutex
|
|
oneInstanceDMutex *sync.Mutex
|
|
oneInstanceEMutex *sync.Mutex
|
|
oneInstanceFMutex *sync.Mutex
|
|
oneInstanceGMutex *sync.Mutex
|
|
oneInstanceHMutex *sync.Mutex
|
|
)
|
|
|
|
// OneInstanceFact is a fact which flips a bool repeatedly. This is an example
|
|
// fact and is not meant for serious computing. This would be better served by a
|
|
// flip function which you could specify an interval for.
|
|
type OneInstanceFact struct {
|
|
init *facts.Init
|
|
|
|
Name string
|
|
Mutex *sync.Mutex
|
|
Flag *bool
|
|
}
|
|
|
|
// String returns a simple name for this fact. This is needed so this struct can
|
|
// satisfy the pgraph.Vertex interface.
|
|
func (obj *OneInstanceFact) String() string {
|
|
return obj.Name
|
|
}
|
|
|
|
// Validate makes sure we've built our struct properly. It is usually unused for
|
|
// normal facts that users can use directly.
|
|
//func (obj *OneInstanceFact) Validate() error {
|
|
// return nil
|
|
//}
|
|
|
|
// Info returns some static info about itself.
|
|
func (obj *OneInstanceFact) Info() *facts.Info {
|
|
return &facts.Info{
|
|
Output: types.NewType("str"),
|
|
}
|
|
}
|
|
|
|
// Init runs some startup code for this fact.
|
|
func (obj *OneInstanceFact) Init(init *facts.Init) error {
|
|
obj.init = init
|
|
obj.init.Logf("Init of `%s` @ %p", obj.Name, obj)
|
|
|
|
obj.Mutex.Lock()
|
|
if *obj.Flag {
|
|
panic("should not get called twice")
|
|
}
|
|
b := true
|
|
obj.Flag = &b
|
|
obj.Mutex.Unlock()
|
|
return nil
|
|
}
|
|
|
|
// Stream returns the changing values that this fact has over time.
|
|
func (obj *OneInstanceFact) Stream(ctx context.Context) error {
|
|
obj.init.Logf("Stream of `%s` @ %p", obj.Name, obj)
|
|
defer close(obj.init.Output) // always signal when we're done
|
|
select {
|
|
case obj.init.Output <- &types.StrValue{
|
|
V: msg,
|
|
}:
|
|
case <-ctx.Done():
|
|
return nil
|
|
}
|
|
|
|
return nil
|
|
}
|