Skip to content

Stdlib: move `C_..._LITERAL` in

E. Rivas requested to merge er433/constants/literals into dev

type:internal

For LIGO developers

Treatment of "functions" Map.literal, etc. is custom, not in the stdlib. We can define them in the stdlib, these will still be somewhat special (@thunk and other hacks), but it's better than having the hack of built-ins.

This MR removes literal functions from predefined.ml, and treats them directly in the stdlib.

Changelog details:

Edited by E. Rivas

Merge request reports