Skip to content

Instantly share code, notes, and snippets.

@AndreSteenveld
Created September 19, 2020 12:00
Show Gist options
  • Save AndreSteenveld/9cff54794f17705d55c04adb651f82d5 to your computer and use it in GitHub Desktop.
Save AndreSteenveld/9cff54794f17705d55c04adb651f82d5 to your computer and use it in GitHub Desktop.
Dhall experiments
let L = {
, Type = List Text
, default = [ "First", "Second" ]
}
in {
, the_default = L.default
, thing = [ "bloop", "bleep" ] : L.Type
-- Error : "You can only override records"
-- , record_notation = L::[ "yoink", "boink" ]
-- Error : "Invalid input"
-- , record_extension = L::{=}[ "Third", "Forth" ]
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment