We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9c484e0 commit 7c5d6e4Copy full SHA for 7c5d6e4
src/stdlib/ocaml/mcore.mc
@@ -1,6 +1,5 @@
1
-- Defines functions for compiling (and running) an MCore program.
2
3
-include "mexpr/deadcode.mc"
4
include "mexpr/remove-ascription.mc"
5
include "mexpr/type-annot.mc"
6
include "mexpr/type-lift.mc"
@@ -24,7 +23,7 @@ let mkEmptyHooks : all a. ([String] -> [String] -> String -> a) -> Hooks a =
24
23
}
25
26
lang MCoreCompileLang =
27
- MExprRemoveTypeAscription + MExprDeadcodeElimination + MExprTypeLift +
+ MExprRemoveTypeAscription + MExprTypeLift +
28
OCamlTypeDeclGenerate + OCamlGenerate + OCamlGenerateExternalNaive
29
30
sem collectLibraries : Map Name [ExternalImpl] -> Set String -> ([String], [String])
0 commit comments