diff options
Diffstat (limited to 'hobgoblin/src/sources.hob')
| -rw-r--r-- | hobgoblin/src/sources.hob | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/hobgoblin/src/sources.hob b/hobgoblin/src/sources.hob new file mode 100644 index 00000000..ad089a13 --- /dev/null +++ b/hobgoblin/src/sources.hob @@ -0,0 +1,19 @@ +import {SourceRange} from ./sourcetext; + +sum Source { + variant NullSource; + variant RuntimeSource; + variant FileFragmentSource; +} + +struct NullSource { + singleton; +} + +struct RuntimeSource { + singleton; +} + +struct FileFragmentSource { + field sourceRange: SourceRange; +} |
