balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

move solver_types to typesystem/ (because of dependencies. It should be merged with the AST really)

Browse Source
This commit is contained in:
Suzanne Dupéron 2020-06-02 15:04:03 +01:00
parent 13eae4be18
commit 861ab57a43
6 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/passes/8-typer-new/heuristic_break_ctor.ml
View File

@ -3,7 +3,7 @@
open Ast_typed.Misc open Ast_typed.Misc
open Ast_typed.Types open Ast_typed.Types
open Solver_types open Typesystem.Solver_types
let selector : (type_constraint_simpl, output_break_ctor) selector = let selector : (type_constraint_simpl, output_break_ctor) selector =
(* find two rules with the shape x = k(var …) and x = k'(var' …) *) (* find two rules with the shape x = k(var …) and x = k'(var' …) *)

2
src/passes/8-typer-new/heuristic_specialize1.ml
View File

@ -6,7 +6,7 @@
module Core = Typesystem.Core module Core = Typesystem.Core
open Ast_typed.Misc open Ast_typed.Misc
open Ast_typed.Types open Ast_typed.Types
open Solver_types open Typesystem.Solver_types
let selector : (type_constraint_simpl, output_specialize1) selector = let selector : (type_constraint_simpl, output_specialize1) selector =
(* find two rules with the shape (x = forall b, d) and x = k'(var' …) or vice versa *) (* find two rules with the shape (x = forall b, d) and x = k'(var' …) or vice versa *)

2
src/passes/8-typer-new/normalizer.ml
View File

@ -2,7 +2,7 @@ module Core = Typesystem.Core
module Map = RedBlackTrees.PolyMap module Map = RedBlackTrees.PolyMap
open Ast_typed.Misc open Ast_typed.Misc
open Ast_typed.Types open Ast_typed.Types
open Solver_types open Typesystem.Solver_types
(* sub-sub component: constraint normalizer: remove dupes and give structure (* sub-sub component: constraint normalizer: remove dupes and give structure
* right now: union-find of unification vars * right now: union-find of unification vars

2
src/passes/8-typer-new/solver.ml
View File

@ -4,7 +4,7 @@ module Map = RedBlackTrees.PolyMap
module Set = RedBlackTrees.PolySet module Set = RedBlackTrees.PolySet
module UF = UnionFind.Poly2 module UF = UnionFind.Poly2
open Ast_typed.Types open Ast_typed.Types
open Solver_types open Typesystem.Solver_types
(* sub-sub component: lazy selector (don't re-try all selectors every time) (* sub-sub component: lazy selector (don't re-try all selectors every time)
* For now: just re-try everytime *) * For now: just re-try everytime *)

0
src/passes/8-typer-new/solver_types.ml → src/stages/typesystem/solver_types.ml
View File

1
src/stages/typesystem/typesystem.ml
View File

@ -1,3 +1,4 @@
module Core = Core module Core = Core
module Shorthands = Shorthands module Shorthands = Shorthands
module Misc = Misc module Misc = Misc
module Solver_types = Solver_types