mirror of
https://github.com/roc-lang/roc.git
synced 2024-09-11 18:58:24 +03:00
update glue platform files to new syntax
This commit is contained in:
parent
bbb54b4cc9
commit
ddccf8ff59
@ -1,5 +1,3 @@
|
|||||||
interface File
|
module [File]
|
||||||
exposes [File]
|
|
||||||
imports []
|
|
||||||
|
|
||||||
File : { name : Str, content : Str }
|
File : { name : Str, content : Str }
|
||||||
|
@ -1,6 +1,6 @@
|
|||||||
interface Shape
|
module [Shape, RocNum, RocTagUnion, RocStructFields, RocFn, RocSingleTagPayload]
|
||||||
exposes [Shape, RocNum, RocTagUnion, RocStructFields, RocFn, RocSingleTagPayload]
|
|
||||||
imports [TypeId.{ TypeId }]
|
import TypeId exposing [TypeId]
|
||||||
|
|
||||||
Shape : [
|
Shape : [
|
||||||
RocStr,
|
RocStr,
|
||||||
|
@ -1,6 +1,4 @@
|
|||||||
interface Target
|
module [Target, Architecture, OperatingSystem]
|
||||||
exposes [Target, Architecture, OperatingSystem]
|
|
||||||
imports []
|
|
||||||
|
|
||||||
Target : {
|
Target : {
|
||||||
architecture : Architecture,
|
architecture : Architecture,
|
||||||
|
@ -1,6 +1,4 @@
|
|||||||
interface TypeId
|
module [TypeId, typeIDfromU64, typeIDtoU64]
|
||||||
exposes [TypeId, typeIDfromU64, typeIDtoU64]
|
|
||||||
imports []
|
|
||||||
|
|
||||||
TypeId := U64 implements [Eq, Hash, Inspect, Encoding]
|
TypeId := U64 implements [Eq, Hash, Inspect, Encoding]
|
||||||
|
|
||||||
|
@ -1,6 +1,8 @@
|
|||||||
interface Types
|
module [Types, shape, size, alignment, target, walkShapes, entryPoints]
|
||||||
exposes [Types, shape, size, alignment, target, walkShapes, entryPoints]
|
|
||||||
imports [Shape.{ Shape }, TypeId.{ TypeId, typeIDfromU64, typeIDtoU64 }, Target.{ Target }]
|
import Shape exposing [Shape]
|
||||||
|
import TypeId exposing [TypeId, typeIDfromU64, typeIDtoU64]
|
||||||
|
import Target exposing [Target]
|
||||||
|
|
||||||
# TODO: switch AssocList uses to Dict once roc_std is updated.
|
# TODO: switch AssocList uses to Dict once roc_std is updated.
|
||||||
Tuple1 : [T Str TypeId]
|
Tuple1 : [T Str TypeId]
|
||||||
@ -23,7 +25,8 @@ Types := {
|
|||||||
## Names and types of the entry points of the program (e.g. mainForHost)
|
## Names and types of the entry points of the program (e.g. mainForHost)
|
||||||
entrypoints : List Tuple1,
|
entrypoints : List Tuple1,
|
||||||
target : Target,
|
target : Target,
|
||||||
} implements [Inspect, Encoding]
|
}
|
||||||
|
implements [Inspect, Encoding]
|
||||||
|
|
||||||
target : Types -> Target
|
target : Types -> Target
|
||||||
target = \@Types types -> types.target
|
target = \@Types types -> types.target
|
||||||
|
Loading…
Reference in New Issue
Block a user