diff options
Diffstat (limited to 'compiler/Values.ml')
| -rw-r--r-- | compiler/Values.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Values.ml b/compiler/Values.ml index 7d6623aa..6245608d 100644 --- a/compiler/Values.ml +++ b/compiler/Values.ml @@ -1,11 +1,11 @@ open Identifiers open Types +module PrimitiveValues = PrimitiveValues (* TODO(SH): I often write "abstract" (value, borrow content, etc.) while I should * write "abstraction" (because those values are not abstract, they simply are * inside abstractions) *) -module VarId = IdGen () module BorrowId = IdGen () module SymbolicValueId = IdGen () module AbstractionId = IdGen () |