package lustre-v6

You can search for identifiers within the package.

in-package search v0.2.0

lustre-v6
- Action
- ActionsDeps
- Ast2lic
- AstCore
- AstInstanciateModel
- AstPredef
- AstRecognizePredef
- AstTab
- AstTabSymbol
- AstV6
- AstV6Dump
- Dbg
- EvalClock
- EvalConst
- EvalType
- FilenameExtras
- FreshName
- IdSolver
- L2lCheckCKeyWord
- L2lCheckKcgKeyWord
- L2lCheckLoops
- L2lCheckMemSafe
- L2lCheckOutputs
- L2lExpandArrays
- L2lExpandEnum
- L2lExpandMetaOp
- L2lExpandNodes
- L2lNoWhenNot
- L2lOptimIte
- L2lRemoveAlias
- L2lRmPoly
- L2lSplit
- L2lWhenOnId
- Lic
  - TopoSortVarInfo
- Lic2soc
- LicDump
- LicEvalClock
- LicEvalConst
- LicEvalType
- LicMetaOp
- LicPrg
- LicTab
- Lv6Compile
- Lv6Id
- Lv6MainArgs
- Lv6Misc
- Lv6Run
- Lv6Verbose
- Lv6errors
- Lv6lexer
- Lv6parser
- Lv6parserUtils
- Lv6util
- Lv6version
- Lxm
- Soc
  - SocMap
- Soc2c
- Soc2cDep
- Soc2cExtern
- Soc2cGenAssign
- Soc2cHeap
- Soc2cIdent
- Soc2cInstances
- Soc2cPredef
- Soc2cStack
- Soc2cUtil
- Soc2yaml
- SocExec
- SocExecDbg
- SocExecEvalPredef
- SocExecValue
- SocNameC
- SocPredef
- SocPredef2cHeap
- SocPredef2cStack
- SocUtils
- SocVar
- SortActions
- SortActionsExpe
- TopoSort
  - Make
    
    PO
  - PartialOrder
  - S
- UnifyClock
- UnifyType

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t

This module (used to be called lazyCompiler) define an data structure made of tables storing lic entities (types, const, node). At the beginning (on creation), it only contains empty tables. But then, one when ask for a type, a const, or a node, the tables are filled in.

val create : AstTab.t -> t

Create a lazy compiler.

exception Recursion_error of Lv6Id.long * string list

val compile_node : t -> Lv6Id.idref -> t

Compiles one node (and update internal tables)

val compile_all : t -> t

compile all items (and update internal tables)

val to_lic_prg : t -> LicPrg.t

Just a simple change of data structure (from imperative tables to functional maps)