diff options
| author | Eduardo Julian | 2018-05-06 00:45:45 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-05-06 00:45:45 -0400 |
| commit | 8787650c4b1641832db9df2c35bc3046e886220e (patch) | |
| tree | 8c14799379226aa8452d39d91e9a56896db9187f /new-luxc/source/luxc/lang/init.lux | |
| parent | 3c93d7a3aabaa49c67f9a498bc0d70f0af7f09d0 (diff) | |
- Updated new-luxc to the latest stdlib changes.
Diffstat (limited to 'new-luxc/source/luxc/lang/init.lux')
| -rw-r--r-- | new-luxc/source/luxc/lang/init.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/new-luxc/source/luxc/lang/init.lux b/new-luxc/source/luxc/lang/init.lux index a34399cc8..73b2baf0a 100644 --- a/new-luxc/source/luxc/lang/init.lux +++ b/new-luxc/source/luxc/lang/init.lux @@ -45,9 +45,9 @@ #.expected #.None #.seed +0 #.scope-type-vars (list) - #.extensions (:! Void + #.extensions (:! Bottom {#extensionL.analysis analysisE.defaults #extensionL.synthesis synthesisE.defaults #extensionL.translation translationE.defaults #extensionL.statement statementE.defaults}) - #.host (:! Void host)}) + #.host (:! Bottom host)}) |